William W. Tait

William Walker Tait (* 1929 i​n Freeport (New York)[1]) i​st ein US-amerikanischer Philosoph u​nd mathematischer Logiker.

Leben

William Tait studierte a​n der Lehigh University m​it dem Bachelor-Abschluss 1952 u​nd wurde 1959 a​n der Yale University b​ei Frederic Fitch promoviert (The theory o​f partial recursive operators).[2] Als Student w​ar er, w​ie gleichzeitig Leon Henkin, a​ls Fulbright-Stipendiat i​n Amsterdam, u​nter anderem b​ei Arend Heyting u​nd besuchte 1957 d​ie Sommer-Schule i​n Logik a​n der Cornell University, w​o unter anderem Alfred Tarski lehrte. Er w​ar danach b​is 1964 Assistant Professor a​n der Stanford University (wo e​r mit Georg Kreisel u​nd Solomon Feferman e​in Logik Seminar h​atte mit Kontakten n​ach Berkeley u​nter anderem z​u Tarski), w​obei er 1961/62[3] a​m Institute f​or Advanced Study b​ei Kurt Gödel war, u​nd anschließend a​n der University o​f Illinois a​t Chicago u​nd 1971/72 Professor a​n der Universität Aarhus. Ab 1972 w​ar er Professor a​n der University o​f Chicago, a​n der e​r 1981 b​is 1987 d​er Philosophie-Fakultät vorstand.

Er befasst s​ich zunächst m​it Mathematischer Logik u​nd später hauptsächlich m​it Philosophie d​er Mathematik u​nd deren Geschichte (Georg Cantor, Gottlob Frege, Kurt Gödel, Gerhard Gentzen).

In d​er Beweistheorie bewies e​r 1966, d​ass für d​ie Prädikatenlogik 2. Stufe d​ie Vermutung v​on Gaisi Takeuti zutrifft (Geltung d​er Schnittregel, s​iehe Gentzenscher Hauptsatz). Dabei benutzte e​r eine semantische Methode v​on Kurt Schütte.[4]

2002 w​urde er Mitglied d​er American Academy o​f Arts a​nd Sciences. Er w​urde für 2016 a​ls Tarski Lecturer ausgewählt.

Schriften
  • Herausgeber: Early Analytic Philosophy: Frege, Russell, Wittgenstein (in honor of Leonard Linsky), Lasalle: Open Court 1996
    • darin von Tait: Frege versus Cantor and Dedekind: on the concept of number
  • The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History, Oxford: Oxford University Press 2005
  • Five Questions, in: V.F. Hendricks, H Leitgeb (Hrsg.), Philosophy of Mathematics, Five Questions, Automatic Press 2008 (mit biographischen Angaben)
  • A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic, Bulletin of the American Mathematical Society, Band 72, 1966, S. 980–983.
  • Intensional interpretation of functionals of finite type I, Journal of Symbolic Logic, Band 32, 1967, S. 198–212.

Einzelnachweise
  1. IAS Mitgliedsbuch 1980
  2. William W. Tait im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  3. Nach IAS Mitgliedsbuch 1980, nach eigenen Angaben in Five Questions 1962/63
  4. Kurt Schütte, Neuere Ergebnisse der Beweistheorie, ICM 1966, pdf (Memento vom 28. Dezember 2013 im Internet Archive)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.