Chapter Second incompleteness theorem: research developments and consequences
Overview & Synopsis
We discuss the Second incompleteness theorem, some research developments and consequences. We introduce Turing’s progressions as attempt to attempt to overcome the problem of incompleteness. The we introduce the basics of classical and intuitionistic Provability Logic and some recent developments. Lastly we provide a guide to consistency proofs of arithmetic developed by Gentzen and Schütte.
Indexed from repository: OAPEN Library
(
www.oapen.org)
Document Information
| Document Title | Chapter Second incompleteness theorem: research developments and consequences |
|---|---|
| Author / Organization | Duccio, Pianigiani |
| Subject & Discipline | Derivability conditions |
| Categories | Humanities & Social Sciences |
| Publication Year | 2026 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
OAPEN Library
(www.oapen.org)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-29242 |
| Original Source Link | Visit Source Page on www.oapen.org » |