-
Takeuti may
refer to:
Takeuti conjecture, a
conjecture by
Gaisi Takeuti The ****anese
family name Takeuchi, including:
Gaisi Takeuti (1926–2017), ****anese...
-
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi,
January 25, 1926 – May 10, 2017) was a ****anese mathematician,
known for his work in
proof theory.
After graduating...
- mathematics,
Takeuti's conjecture is the
conjecture of
Gaisi Takeuti that a
sequent formalisation of second-order
logic has cut-elimination (
Takeuti 1953)....
-
Naoko Takeuchi (****anese: 武内 直子, Hepburn:
Takeuchi Naoko, born
March 15, 1967) is a ****anese
manga artist. She is best
known as the
author of
Sailor Moon...
- Jun
Takeuchi (竹内 潤,
Takeuchi Jun) (born
August 11, 1970) is a ****anese
video game director, designer, and producer. He
graduated from the
Division of Graphics...
-
Gerhard Jäger, Isles, Pfeiffer,
Wolfram Pohlers, Kurt Schütte,
Gaisi Takeuti (called
ordinal diagrams),
Oswald Veblen.
Stephen Cole
Kleene has a system...
-
Yoshie Takeuchi may
refer to:
Yoshie Takeuchi (announcer) (born 1986), ****anese TV
announcer Yoshie Takeuchi (fencer) (born 1932), ****anese
Olympic fencer...
- In the
mathematical fields of set
theory and
proof theory, the
Takeuti–Feferman–Buchholz
ordinal (TFBO) is a
large countable ordinal,
which acts as the...
- Set Theory.
Dover reprint.
Takeuti, Gaisi; Zaring, W M (1971).
Introduction to
Axiomatic Set Theory. Springer-Verlag.
Takeuti, Gaisi; Zaring, W M (1982)...
-
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, 1971...
