A direct proof of Gödel's incompleteness theorems
From MaRDI portal
(Redirected from Publication:581402)
Recommendations
Cited in
(11)- scientific article; zbMATH DE number 2182417 (Why is no real title available?)
- Gödel's incompleteness theorems from a paraconsistent perspective
- scientific article; zbMATH DE number 481375 (Why is no real title available?)
- scientific article; zbMATH DE number 823604 (Why is no real title available?)
- scientific article; zbMATH DE number 3920465 (Why is no real title available?)
- A machine-assisted proof of Gödel's incompleteness theorems for the theory of hereditarily finite sets
- An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
- scientific article; zbMATH DE number 4010472 (Why is no real title available?)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
- Rebuttal to the review of my paper ``An implication of Gödel's incompleteness theorem appeared in Zentralblatt für Mathematik
- A Note on Boolos' Proof of the Incompleteness Theorem
This page was built for publication: A direct proof of Gödel's incompleteness theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q581402)