𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on proofs of falsehood

✍ Scribed by Krajíček, Jan


Publisher
Springer-Verlag
Year
1987
Weight
309 KB
Volume
26
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A note on religious proofs
✍ James E. Tomberlin 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 111 KB
A note on proofs with graphs
✍ Renata de Freitas; Petrucio Viana 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 312 KB
A Note on Boolos' Proof of the Incomplet
✍ Makoto Kikuchi 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 265 KB 👁 1 views

## Abstract We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model‐theoretically. Mathematics Subject Classification: 03F30.