Joseph R. Shoenfield - Joseph R. Shoenfield
Joseph Robert Shoenfield | |
|---|---|
| narozený | Detroit, Michigan, USA |
| Zemřel | 15. listopadu 2000 (ve věku 73) Durham, Severní Karolína, USA |
| Alma mater | Michiganská univerzita |
| Známý jako | Věta o absolutnosti Shoenfielda |
| Ocenění | Gödel Lecturer (1992) |
| Vědecká kariéra | |
| Pole | Matematická logika |
| Instituce | Duke University |
| Teze | Modely formálních systémů (1953) |
| Doktorský poradce | Raymond Louis Wilder[1] |
Joseph Robert Shoenfield (1927, Detroit - 15. listopadu 2000, Durham, Severní Karolína ) byl americký matematický logik.
Vzdělávání
Shoenfield získal doktorát v roce 1953 u Raymond Louis Wilder na Michiganská univerzita (Modely formálních systémů).
Kariéra
Od roku 1952 přednášel na Duke University, kde zůstal až do doby, kdy se stal emeritním v roce 1992. V letech 1970–1973 byl prezidentem matematické fakulty. V letech 1956/57 byl u Institut pro pokročilé studium. Shoenfield pracoval teorie rekurze, teorie modelů a axiomatická teorie množin. Jeho učebnice matematické logiky se stala klasikou.[2]
Vyznamenání
V letech 1972 až 1976 byl prezidentem Sdružení pro symbolickou logiku. Na zasedání ASL v roce 1992 přednesl přednášku Gödel.[3]
Koníčky
Již ve svých studentských dobách byl vášnivý a silný smluvní most hráč. Byl jedním z prvních členů Číslo 694 z American Go Association a Pamětní turnaj v Severní Karolíně byl založen na jeho památku. (Odkaz obsahuje jeho fotografii.)
Vybrané publikace
- Mathematical Logic, Addison Wesley 1967, 2. vydání, Association for Symbolic Logic, 2001[4]
- Stupně neřešitelnosti, North Holland Mathematical Studies 1971
- Teorie rekurze, Springer 1993[5]
Poznámky
- ^ Joseph R. Shoenfield na Matematický genealogický projekt
- ^ Jockusch 2001, str. 393.
- ^ „Gödel Lectures, Association for Symbolic Logic“. Archivovány od originál 23. září 2015. Citováno 26. prosince 2015.
- ^ Shoenfield 2001.
- ^ Shoenfield 2000.
Reference
- Jockusch, Carl G. (2001). „In Memoriam: Joseph R. Shoenfield 1927–2000“. Bulletin symbolické logiky. 7 (3): 393–396.CS1 maint: ref = harv (odkaz)
- Shoenfield, Joseph R. (2001) [1967]. Matematická logika (2. vyd.). K Peters. ISBN 978-1-56881-135-2.CS1 maint: ref = harv (odkaz)
- Shoenfield, Joseph R. (2000). Teorie rekurze. A K Peters Ltd. ISBN 1-56881-149-7.CS1 maint: ref = harv (odkaz)
