Japanese mathematician specialising in logic and set theory.
- Born: January 25, 1926
- Died: May 10, 2017
Theorems and Definitions
- 1953: On a generalized logic calculus (Japanese Journal of Mathematics Vol. 23: 39 – 96)
- 1971: Introduction to Axiomatic Set Theory (with Wilson M. Zaring)
- 1975: Proof Theory (2nd edition: 1987)
Also known as
Gaisi Takeuti (竹内 外史) is also seen rendered as Takeuchi Gaishi.