scientific article; zbMATH DE number 1943800

MaRDI QIDQ4409845zbMATH OpenFDO

Authors Gaisi Takeuti

Publication date 1 July 2003

zbMATH Keywords

advances in set theoryHilbert's programmeincompletenessproof theoryTakeuti's fundamental conjectureundecidability

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 5081354
• scientific article; zbMATH DE number 107689
• Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter
• scientific article; zbMATH DE number 3291106
• scientific article; zbMATH DE number 1093813
• scientific article; zbMATH DE number 1532738
• scientific article; zbMATH DE number 1865682
• scientific article; zbMATH DE number 1748963
• Incompleteness. The proof and paradox of Kurt Gödel. Transl. from the American by Thorsten Schmidt
• scientific article; zbMATH DE number 4006207

Cited in

(6)

• Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18--20, 2018
• On Takeuti's early view of the concept of set
• ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
• scientific article; zbMATH DE number 1344940 (Why is no real title available?)
• Introduction: W. W. Tait's career and contributions
• Dual axiomatics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4409845)