𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on a proof of Shepherdson

✍ Scribed by Flannagan, T. B.

Publisher
Springer-Verlag
Year
1983
Weight
261 KB
Volume
23
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on religious proofs
A note on religious proofs
✍ James E. Tomberlin πŸ“‚ Article πŸ“… 1970 πŸ› Springer Netherlands 🌐 English βš– 111 KB
A note on proofs of falsehood
A note on proofs of falsehood
✍ Krajíček, Jan πŸ“‚ Article πŸ“… 1987 πŸ› Springer-Verlag βš– 309 KB
A note on proofs with graphs
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
A Note on Boolos' Proof of the Incompleteness Theorem
✍ 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.