Josepha R. Shoenfielda

Józefa Roberta Shoenfielda
Urodzić się	Detroit, Michigan, USA
Zmarł	15 listopada 2000 ( w wieku 73) ( 15.11.2000 ) Durham , Karolina Północna, Stany Zjednoczone
Alma Mater	Uniwersytet Michigan
Znany z	Twierdzenie o absolutności Shoenfielda
Nagrody	Wykład Gödla (1992)
Kariera naukowa
Pola	Logika matematyczna
Instytucje	Uniwersytet Duke’a
Praca dyplomowa	Modele systemów formalnych (1953)
Doradca doktorski	Raymonda Louisa Wildera

Joseph Robert Shoenfield (1927, Detroit - 15 listopada 2000, Durham, Karolina Północna ) był amerykańskim logikiem matematycznym.

Edukacja

Shoenfield uzyskał doktorat w 1953 roku u Raymonda Louisa Wildera na Uniwersytecie Michigan ( modele systemów formalnych ).

Kariera

Od 1952 wykładał na Duke University , gdzie pozostał aż do przejścia na emeryturę w 1992. Od 1970 do 1973 był rektorem Wydziału Matematyki. W latach 1956/57 przebywał w Institute for Advanced Study . Shoenfield zajmował się teorią rekurencji , teorią modeli i aksjomatyczną teorią mnogości . Jego podręcznik logiki matematycznej stał się klasykiem.

Korona

Od 1972 do 1976 był prezesem Stowarzyszenia Logiki Symbolicznej . Wygłosił wykład Gödla na spotkaniu ASL w 1992 roku.

Zainteresowania

Już w czasach studenckich był zapalonym i silnym brydżystą kontraktowym . Był wczesnym członkiem numer 694 American Go Association , a Memorial Tournament w Karolinie Północnej został założony ku jego pamięci. (Link zawiera jego zdjęcie.)

Wybrane publikacje

• Logika matematyczna, Addison Wesley 1967, wydanie drugie, Association for Symbolic Logic, 2001
• Stopnie nierozwiązywalności, North Holland Mathematical Studies 1971
• Teoria rekurencji, Springer 1993

Notatki

• Jockusch, Carl G. (2001). „In Memoriam: Joseph R. Shoenfield 1927–2000” . Biuletyn logiki symbolicznej . 7 (3): 393–396.
•   Shoenfield, Joseph R. (2001) [1967]. Logika matematyczna (wyd. 2). AK Peters . ISBN 978-1-56881-135-2 .
•   Shoenfield, Joseph R. (2000). Teoria rekurencji . AK Peters Ltd. ISBN 1-56881-149-7 .