Simon B. Kochen
Bernhard Kochen ( / och ˈk oʊ ʃ ən / ; född 14 augusti 1934, Antwerpen ) är en kanadensisk matematiker som arbetar inom modellteori , talteori kvantmekanik .
Biografi
Kochen fick sin Ph.D. ( Ultrafiltered Products and Arithmetical Extensions ) från Princeton University 1958 under ledning av Alonzo Church . Sedan 1967 har han varit medlem av Princetons institution för matematik. Han var ordförande för institutionen från 1989 till 1992 och blev Henry Burchard Fine Professor i matematik 1994. Under 1966–1967 och 1978–1979 var Kochen vid Institutet för avancerade studier .
År 1967 tilldelades han, tillsammans med James Axe , det sjunde Frank Nelson Cole-priset i talteori för en serie av tre gemensamma artiklar om diofantiska problem som involverar p-adiska tekniker . Kochen och Axe var också medförfattare till Ax-Kochen-satsen , en tillämpning av modellteori på algebra .
1967 bevisade Kochen och Ernst Specker Kochen-Specker-satsen i kvantmekanik och kvantkontextualitet . 2004 bevisade Kochen och John Horton Conway den fria viljans teorem . Satsen säger att om vi har en viss mängd fri vilja , så måste vissa elementarpartiklar, med förbehåll för vissa antaganden, också göra det .
Se även
externa länkar
| Internationell | |
|---|---|
| Nationell | |
| Akademiker | |
| människor | |
