Mathematician:Gaisi Takeuti

Mathematician

Japanese mathematician specialising in logic and set theory.

Nationality

Japanese

History

• Born: January 25, 1926
• Died: May 10, 2017

Theorems and Definitions

• Takeuti's Conjecture

Publications

• 1953: On a generalized logic calculus (Japanese Journal of Mathematics Vol. 23: pp. 39 – 96)
• 1971: Introduction to Axiomatic Set Theory (with Wilson M. Zaring)

• 1975: Proof Theory
  • 1987: Proof Theory, 2nd ed.

Also known as

Gaisi Takeuti (竹内 外史) is also seen rendered as Takeuchi Gaishi.