The following pages link to (Q5466245):
Displaying 15 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Revisiting Chaitin's incompleteness theorem (Q1982000) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Gödel's second theorem and the provability of God's existence (Q2297968) (← links)
- Democracy, the theory of voting, and mathematics: a review of Andrank Tangian's `Mathematical theory of democracy' (Q2340273) (← links)
- On explicating the concept `the power of an arithmetical theory' (Q2481252) (← links)
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- (Q4518170) (← links)
- (Q5093387) (← links)
- Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth (Q5891339) (← links)
- Finitely axiomatized theories lack self‐comprehension (Q6051417) (← links)
- John von Neumann’s Discovery of the 2<sup>nd</sup>Incompleteness Theorem (Q6650610) (← links)
