Chapter Abstract views of incompleteness
Overview & Synopsis
The aim of this section is to account for Gödel’s original intuition with the means of modern computability theory, showing the different complexity of the theorems of a theory of formal arithmetic with certain properties, and of the set of true propositions of the language of this theory. For this purpose, we refine the notion of computably enumerable set through the concept of creative set, introduced by Emil Post.
Indexed from repository: OAPEN Library
(
www.oapen.org)
Document Information
| Document Title | Chapter Abstract views of incompleteness |
|---|---|
| Author / Organization | Duccio, Pianigiani |
| Subject & Discipline | Recutsive functions |
| 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-85924 |
| Original Source Link | Visit Source Page on www.oapen.org » |