- Takeuti
Takeuti may refer to:
*
Gaisi Takeuti , a mathematician
*Takeuti conjecture , a conjecture by him
*Naoko Takeuchi , a manga artist
Wikimedia Foundation. 2010.
Takeuti
Look at other dictionaries:
Takeuti conjecture — Takeuti s conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second order logic has cut elimination (Takeuti 1953). It was settled positively: * By Tait, using a semantic technique for proving cut elimination, based on… … Wikipedia
Gaisi Takeuti — is a Japanese mathematician, known for his work in proof theory.After graduating from Tokyo University, he went to Princeton to study under Kurt Gödel. He later became a professor at the University of Illinois at Urbana Champaign. Takeuti is the… … Wikipedia
DÉMONSTRATION (THÉORIE DE LA) — La théorie de la démonstration est la logique de la logique. En contraste avec d’autres sous domaines tels que la théorie des modèles, les grandes questions qui ont tant passionné nos pères ont laissé une trace vivace dans cette discipline, qui… … Encyclopédie Universelle
Ordinal notation — In mathematical logic and set theory, an ordinal notation is a finite sequence of symbols from a finite alphabet which names an ordinal number according to some scheme which gives meaning to the language. There are many such schemes of ordinal… … Wikipedia
Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger … Wikipedia
Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… … Wikipedia
Sakyo Komatsu — (born January 28, 1931 in Osaka) is a Japanese science fiction writer and screenwriter. He is a graduate of Kyoto University where he studied Italian literature [http://www.centerforbookculture.org/review/02 2 inter/interview masaki.html] . His… … Wikipedia
Graduate Texts in Mathematics — (GTM) is a series of graduate level textbooks in mathematics published by Springer Verlag. The books in this series, like the other Springer Verlag mathematics series, are small yellow books of a standard size. This particular series is easily… … Wikipedia
Ordinal analysis — In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that… … Wikipedia
Jean-Yves Girard — Pour les articles homonymes, voir Girard. Jean Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS au département de logique de la programmation de l institut de mathématiques de Luminy.… … Wikipédia en Français
