Pages that link to "Item:Q1125201"
From MaRDI portal
The following pages link to Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems (Q1125201):
Displaying 4 items.
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos (Q2910986) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- Kalmár's Argument Against the Plausibility of Church's Thesis (Q5207922) (← links)
