Gödel

zbMATH Open1388.03008MaRDI QIDQ4604262FDOQ4604262

Authors:

Publication date: 23 February 2018

Recommendations

• scientific article; zbMATH DE number 1749189
• Incompleteness, Mechanism, and Optimism
• Interpreting Gödel. Critical essays
• Use and Misuse of G^|^ouml;del's Theorem
• scientific article; zbMATH DE number 2101960

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Biographies, obituaries, personalia, bibliographies (01A70) Automata and formal grammars in connection with logical questions (03D05) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cited In (15)

• Kurt Gödel philosopher -- scientist
• Gödel and physics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Completeness and the ends of axiomatization
• Title not available (Why is that?)
• Shoenfield is Gödel after Krivine
• Title not available (Why is that?)
• Core Gödel
• Some transfinite generalisations of Gödel's incompleteness theorem
• On formalism freeness: implementing Gödel's 1946 Princeton bicentennial lecture
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Gödel

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