Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi, January 25, 1926 – May 10, 2017) was a Japanese mathematician, known for his work in proof theory. After graduating...

Takeuti may refer to: Takeuti conjecture, a conjecture by Gaisi Takeuti The Japanese family name Takeuchi, including: Gaisi Takeuti (1926–2017), Japanese...

Logic Vol. 67, 2nd Edition, revised, 1973, ISBN 0-7204-2270-1, p. 33 Gaisi Takeuti, W. M. Zaring, Introduction to Axiomatic Set Theory, Springer GTM 1...

mathematics, Takeuti's conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second-order logic has cut-elimination (Takeuti 1953)....

Feferman, Gerhard Jäger, Isles, Pfeiffer, Wolfram Pohlers, Kurt Schütte, Gaisi Takeuti (called ordinal diagrams), Oswald Veblen. Stephen Cole Kleene has a...

subsets of second order arithmetic have been given consistency proofs by Gaisi Takeuti and others, and one can again debate about exactly how finitary or constructive...

and Feferman's theta function. It was named by David Madore, after Gaisi Takeuti, Solomon Feferman and Wilfried Buchholz. It is written as ψ 0 ( ε Ω...

covered and difficulty level. Introduction to Axiomatic Set Theory, Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ISBN 978-1-4613-8170-9) Measure and...

(Physicist) Miyake Setsurei (Philosopher) D. T. Suzuki (Zen Buddhism scholar) Gaisi Takeuti (Mathematician) Yoshirō Taniguchi (Architect) Kyōka Izumi (1873 ~ 1939;...

Following completion of a Ph.D. at Illinois under the supervision of Gaisi Takeuti, he took up, in 1966, a position in the mathematics department of the...