Pages that link to "Item:Q581402"
From MaRDI portal
The following pages link to A direct proof of Gödel's incompleteness theorems (Q581402):
Displaying 7 items.
- An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion (Q662344) (← links)
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- Self-reference and incompleteness in a non-monotonic setting (Q1332147) (← links)
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- (Q4274292) (← links)
- A Note on Boolos' Proof of the Incompleteness Theorem (Q4315327) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)