Fwd: Gaisi Takeuti (1926-2017)

[Joao Marcos]

---------- Forwarded message ----------
From: "[LOGIC] Mailing List" <lo...@math.uni-bonn.de>
Date: May 12, 2017 10:13
Subject: [LOGIC] Gaisi Takeuti (1926-2017)
To:
Cc:

From Wikipedia (en & de):

Gaisi Takeuti (January 25, 1926 -- May 10, 2017) was a Japanese mathematician, known for his work in proof theory.

Takeuti wurde 1956 an der Universität Tokio in mathematischer Logik promoviert. Er war ab 1950 zuerst Assistenzprofessor, später Professor an der Pädagogischen Universität Tokio und ab 1966 Professor an der University of Illinois at Urbana-Champaign. 1996 wurde er emeritiert.

Takeutis Ziel in den 1950er Jahren war es, Widerspruchsfreiheitsbeweise für formale Systeme zu gewinnen, die die Analysis umfassen. Hierzu entwickelte er Methoden von Gerhard Gentzen weiter (unter anderem führte er ordinal diagrams ein).

Takeuti gelang 1967 der Widerspruchsfreiheitsbeweis der Pi^1_1 Analysis (der Teil der Analysis, in der die Komprehension auf beliebige Formeln mit höchstens einem Mengenquantor eingeschränkt ist). Das war nach Kurt Schütte der erste Widerspruchsfreiheitsbeweis eines wesentlich imprädikativen Teils der Mathematik und Analysis.

Takeutis Vermutung von 1953 besagt, dass im Logikkalkül endlicher Stufe (im Rahmen des Sequenzenkalküls der Beweistheorie) die Schnittregel gilt (siehe Gentzenscher Hauptsatz). Sie wurde für das Kalkül 2. Stufe von William W. Tait (1966) bewiesen und unabhängig von Takahashi Motoo (1967) und Jean-Yves Girard bewiesen.

Von Takeuti stammen zwei Lehrbücher und Standardwerke, eines zur Beweistheorie und eines zur axiomatischen Mengenlehre.

1959/60, 1966 bis 1968 und 1971 bis 1972 war er am Institute for Advanced Study bei Kurt Gödel.

2003 bis 2009 war er Präsident der Kurt Gödel Society. 1998 erhielt er die tschechische Bolzano-Medaille und er erhielt den Okawa Preis für Veröffentlichungen. 1982 erhielt er den Asahi-Preis.

Personal obituary of Norbert Preining:

https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/

[Hermógenes Oliveira]

Recollections of Prof. Takeuti by Norbert Preining:

https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/

--
Hermógenes Oliveira