Simon B. Kochen - Simon B. Kochen
Simon Bernhard Kochen ( / k oʊ ʃ ən / , nascido 14 de agosto de 1934, Antuérpia ) é um canadense matemático , trabalhando nos campos da teoria dos modelos , teoria dos números e mecânica quântica .
Biografia
Kochen recebeu seu Ph.D. ( Ultrafiltered Products and Arithmetical Extensions ) da Princeton University em 1958 sob a direção de Alonzo Church . Desde 1967 ele é membro do Departamento de Matemática de Princeton. Ele presidiu o departamento de 1989 a 1992 e se tornou o Henry Burchard Fine Professor em matemática em 1994. Durante 1966-1967 e 1978-1979, Kochen estava no Institute for Advanced Study .
Em 1967, ele recebeu, junto com James Axe , o sétimo Prêmio Frank Nelson Cole em Teoria dos Números por uma série de três trabalhos conjuntos sobre problemas diofantinos envolvendo técnicas p-ádicas . Kochen e Axe também são co-autores do teorema Ax-Kochen , uma aplicação da teoria do modelo à álgebra .
Em 1967, Kochen e Ernst Specker provaram o teorema de Kochen-Specker em mecânica quântica e contextualidade quântica . Em 2004, Kochen e John Horton Conway provaram o teorema do livre arbítrio . O teorema afirma que, se temos uma certa quantidade de livre arbítrio , então, sujeito a certas suposições, o mesmo ocorre com algumas partículas elementares .