Adventures in Gödel Incompleteness
Bibliographic Data
| ID | 21451217 |
|---|---|
| Authors | Harvey M Friedman (0000-0002-0765-9460, The Ohio State University, corresponding author) |
| Year | 2025 |
| Volume | 46 |
| Issue | 4 |
| Pages | 474-487 |
| Publication date | 2025-10-02 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | History and Philosophy of Logic (JOURNAL) |
| Journal identifiers | ISSN: 0144-5340 • E-ISSN: 1464-5149 |
| Publisher | Informa UK Limited (PUBLISHER • GB) |
| DOI | 10.1080/01445340.2025.2464484 |
| OpenAlex | W4410442177 |
| Language | EN |
| References cited | 9 |
Begin discussing various forms of G1 put into the form: If a first order theory satisfies one or more adequacy conditions then it has one or more wildness properties. We continue with the new ‘no interpretation’ forms of G2, which are fundamentally model theoretic formulations. We also give corresponding model theoretic characterizations of the consistency statement Con(T) for finitely axiomatized T. We present the known proof of the 1-Con form by G2 by transparent diagonalization and discuss attempts to do so for G2
Epistemology · Computability, Logic, AI Algorithms · Philosophy
| Highly cited | No |
|---|