scientific article; zbMATH DE number 193204

MaRDI QIDQ4040058zbMATH OpenFDO

Authors Verena Huber-Dyson

Publication date 5 June 1993

zbMATH Keywords

Gödel's theorems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30)

Recommendations

• There's something about Gödel. The complete guide to the incompleteness theorem. Transl. from the Italian
• An Introduction to Gödel's Theorems
• An introduction to Gödel's theorems
• scientific article; zbMATH DE number 1472780
• scientific article; zbMATH DE number 53543

Cited in

(8)

• Are the traditional philosophies of mathematics really incompatible?
• Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter
• scientific article; zbMATH DE number 5081354 (Why is no real title available?)
• There's something about Gödel. The complete guide to the incompleteness theorem. Transl. from the Italian
• A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra
• scientific article; zbMATH DE number 1532738 (Why is no real title available?)
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

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 Q4040058)