scientific article; zbMATH DE number 15306
From MaRDI portal
Publication:3977628
algorithmic information theoryGödel's incompleteness theoremsproof lengthprovability interpretation of modal logic
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Modal logic (including the logic of norms) (03B45) Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30)
Recommendations
- scientific article; zbMATH DE number 1062120
- scientific article; zbMATH DE number 2014521
- scientific article; zbMATH DE number 1339027
- In search of the sources of incompleteness
- Reflecting on incompleteness
- Incompleteness and paradox
- Reflections on concrete incompleteness
- Incompleteness in a General Setting
- The importance of incompleteness
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
Cited in
(14)- Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications
- Undecidability and incompleteness results in automata theory
- Finite mimicry of Gödel's incompleteness theorem
- Incompleteness in a General Setting
- Effectiveness and provability
- scientific article; zbMATH DE number 1062120 (Why is no real title available?)
- Gödel's incompleteness theorems: a revolutionary view of the nature of mathematical pursuits
- scientific article; zbMATH DE number 1909828 (Why is no real title available?)
- Hierarchies of ineffabilities
- Current research on Gödel's incompleteness theorems
- On the depth of Gödel's incompleteness theorems
- Incompleteness and jump hierarchies
- Incompleteness Ex Machina
- Gödel's incompleteness theorems from a paraconsistent perspective
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3977628)
