Joseph R. Shoenfield

Joseph R. Shoenfield

Joseph Robert Shoenfield (* 1927 in Detroit; † 15. November 2000 in Durham (North Carolina)) war ein US-amerikanischer mathematischer Logiker.

Shoenfield promovierte 1953 bei Raymond Louis Wilder an der University of Michigan (Models of formal systems). Seit 1952 lehrte er an der Duke University, wo er bis zu seiner Emeritierung 1992 blieb. 1970 bis 1973 war er Vorsitzender der Mathematik-Fakultät. 1956/57 war er am Institute for Advanced Study

Shoenfield beschäftigte sich mit Rekursionstheorie, Modelltheorie und axiomatischer Mengenlehre. Sein Lehrbuch der mathematischen Logik gilt als Klassiker.[1]

1972 bis 1976 war er Präsident der Association for Symbolic Logic. 1992 war er Gödel-Lecturer.

Er war schon seit Studententagen ein passionierter und starker Bridge-Spieler.

Schriften

  • Mathematical Logic, Addison Wesley 1967, 2. Auflage, Association for Symbolic Logic, 2000
  • Degrees of unsolvability, North Holland Mathematical Studies 1971
  • Recursion theory, Springer 1993

Weblinks

Einzelnachweise

  1. ↑ Jockusch, Nachruf im Bulletin of Symbolic Logic 2000
PND: kein individualisierter Datensatz vorhanden (Stand: 31. Januar 2011) | Nicht individualisierter Eintrag zum Namen Joseph R. Shoenfield im Katalog der DNB

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Craig-Interpolation — Die Craig Interpolation ist ein Ausdruck der Logik. Der zugrunde liegende Satz (Craig’s Lemma, Interpolationstheorem) lautet folgendermaßen: Es seien T1 und T2 zwei Theorien und der Satz sei ein in ableitbarer Satz. Dann gilt: Es gibt ein B mit… …   Deutsch Wikipedia

  • Craigs Lemma — Die Craig Interpolation ist ein Ausdruck der Logik. Der zugrunde liegende Satz (Craig’s Lemma, Interpolationstheorem) lautet folgendermaßen: Es seien T1 und T2 zwei Theorien und der Satz sei ein in ableitbarer Satz. Dann gilt: Es gibt ein B mit… …   Deutsch Wikipedia

  • Interpolationssatz — Die Craig Interpolation ist ein Ausdruck der Logik. Der zugrunde liegende Satz (Craig’s Lemma, Interpolationstheorem) lautet folgendermaßen: Es seien T1 und T2 zwei Theorien und der Satz sei ein in ableitbarer Satz. Dann gilt: Es gibt ein B mit… …   Deutsch Wikipedia

  • Gödel-Lecturer — ist eine Ehrung in mathematischer Logik der Association for Symbolic Logic. Mit dem Preis ist eine Vorlesung verbunden. Der Preis ist nach Kurt Gödel benannt. Preisträger Jeweils mit dem Titel der Vorlesung: 1990 Ronald Jensen, Inner Models and… …   Deutsch Wikipedia

  • Raymond Louis Wilder — (* 3. November 1896 in Palmer, Massachusetts; † 7. Juli 1982 in Santa Barbara) war ein US amerikanischer Mathematiker und Mathematikphilosoph. Leben Wilder, in seiner Jugend musikalisch interessiert (er spielte Kornett bei Tanzveranstaltungen und …   Deutsch Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

  • Unsolved problems in computer science — This article is a list of open problems in computer science.A solution to the problems in this list will have a major impact on the field of study to which they belong. =P = NP?= ;Field : Theory of computation;Source : S. A. Cook and Leonid Levin …   Wikipedia

  • Classe (Mathématiques) — Pour les articles homonymes, voir Classe. En mathématiques, la notion de classe généralise celle d ensemble. Les deux termes sont parfois employés comme synonymes, mais la théorie des ensembles distingue ces deux notions. Un ensemble peut être vu …   Wikipédia en Français

  • Classe (mathématiques) — Pour les articles homonymes, voir Classe. En mathématiques, la notion de classe généralise celle d ensemble. Les deux termes sont parfois employés comme synonymes, mais la théorie des ensembles distingue ces deux notions. Un ensemble peut être vu …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”