Motoo Takahashi

from Wikipedia, the free encyclopedia

Motoo Takahashi , also Moto-o, ( Japanese 高橋 元 男 , Takahashi Motoo ; * 1941 in Yokohama ) is a Japanese mathematician who studies mathematical logic and geometric topology .

Takahashi received his PhD from Rikkyō University in 1971 . He was a professor at Tsukuba University .

In 1967 he proved (independently of William W. Tait and Jean-Yves Girard ) a conjecture by Takeuti Gaisi (validity of the rule of intersection in the logic calculus of finite degrees).

In 1972/73 he was at the Institute for Advanced Study .

In 1975 he received the Iyanagi Prize of the Japanese Mathematical Society .

Fonts

  • A proof of cut-elimination theorem in simple type theory, J. Math. Soc. Japan, Vol. 19, 1967, pp. 399-410
  • A foundation of finite mathematics, Publ. RIMS, Kyoto University, Volume 12, 1977, pp. 577-708

Individual evidence

  1. ↑ Dates of birth in the IAS 1980 membership book
personal data
SURNAME Takahashi, motoo
ALTERNATIVE NAMES Takahashi, Moto-o; 高橋 元 男 (Japanese)
BRIEF DESCRIPTION Japanese mathematician
DATE OF BIRTH 1941
PLACE OF BIRTH Yokohama