Motoo Takahashi

Motoo Takahashi, auch Moto-o, (jap. 高橋 元男, Takahashi Motoo; * 1941 in Yokohama)[1] ist ein japanischer Mathematiker, der sich mit mathematischer Logik und geometrischer Topologie befasst.

Takahashi wurde 1971 an der Rikkyō-Universität promoviert. Er war Professor an der Universität Tsukuba.

1967 bewies er (unabhängig von William W. Tait und Jean-Yves Girard) eine Vermutung von Takeuti Gaisi (Gültigkeit der Schnittregel im Logikkalkül endlicher Stufe).

1972/73 war er am Institute for Advanced Study.

1975 erhielt er den Iyanagi-Preis der Japanischen Mathematischen Gesellschaft.

Schriften
  • A proof of cut-eliminiation theorem in simple type theory, J. Math. Soc. Japan, Band 19, 1967, S. 399–410
  • A foundation of finite mathematics, Publ. RIMS, Kyoto University, Band 12, 1977, S. 577–708

Einzelnachweise
  1. Geburtsdaten Mitgliedsbuch IAS 1980
Normdaten (Person): GND: 172423511 | LCCN: n80140614 | VIAF: 62854311 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.