-
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi,
January 25, 1926 – May 10, 2017) was a ****anese mathematician,
known for his work in
proof theory.
After graduating...
- in
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...
- Theory.
Dover reprint. Takeuti,
Gaisi; Zaring, W M (1971).
Introduction to
Axiomatic Set Theory. Springer-Verlag. Takeuti,
Gaisi; Zaring, W M (1982). Introduction...
-
Iwasawa Kunihiko Kodaira Michio Kuga Na****oshi
Iwahori Takashi Ono
Mikio Sato
Michio Suzuki Gaisi Takeuti Tsuneo Tamagawa Hidehiko Yamabe Nobuo Yoneda...
- 1340–1354)
Richard Sylvan, born
Richard Routley (New Zealand, 1935–1996)
Gaisi Takeuti (****an, 1926–2017)
Alfred Tarski (Poland, 1902–1983) Theophrastus...
-
function and Feferman's
theta function. It was
named by
David Madore,
after Gaisi Takeuti,
Solomon Feferman and
Wilfried Buchholz. It is
written as ψ 0 (...
-
Paradoxes and Proofs.
Dover Publications. ISBN 978-0-486-49705-1. Takeuti,
Gaisi (2013).
Proof theory (Second ed.). Mineola, New York. ISBN 978-0-486-49073-1...
-
refer to:
Takeuti conjecture, a
conjecture by
Gaisi Takeuti The ****anese
family name Takeuchi, including:
Gaisi Takeuti (1926–2017), ****anese mathematician...
-
subsets of second-order
arithmetic have been
given consistency proofs by
Gaisi Takeuti and others, and one can
again debate about exactly how finitary...
- Jean E. (1967), Set
theory for the mathematician, Holden-Day Takeuti,
Gaisi; Zaring,
Wilson M. (1971),
Introduction to
axiomatic set theory, Graduate...
