On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos (Q2910986): Difference between revisions

@@ Property / cites work @@
+Q4339021
@@ Property / cites work: Q4339021 / rank @@
+Normal rank
@@ Property / cites work @@
+Information-theoretic computation complexity
@@ Property / cites work: Information-theoretic computation complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The Berry paradox
@@ Property / cites work: The Berry paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+On Models Constructed by Means of the Arithmetized Completeness Theorem
+Normal rank
@@ Property / cites work @@
+On formalization of model-theoretic proofs of Gödel's theorems
+Normal rank
@@ Property / cites work @@
+A Note on Boolos' Proof of the Incompleteness Theorem
+Normal rank
@@ Property / cites work @@
+Kolmogorov complexity and the second incompleteness theorem
+Normal rank
@@ Property / cites work @@
+On the incompleteness theorems
@@ Property / cites work: On the incompleteness theorems / rank @@
+Normal rank
@@ Property / cites work @@
+The incompleteness theorems after 70 years
@@ Property / cites work: The incompleteness theorems after 70 years / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of proof theory
@@ Property / cites work: A survey of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Surprise Examination Paradox and the Second Incompleteness Theorem
+Normal rank
@@ Property / cites work @@
+Q4337021
@@ Property / cites work: Q4337021 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+The shortest definition of a number in Peano arithmetic
+Normal rank