The following pages link to (Q3720554):
Displayed 10 items.
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- On mind \& Turing's machines (Q885688) (← links)
- A new method for undecidability proofs of first order theories (Q1209623) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- Skolem redux (Q1860974) (← links)
- Computational universes (Q2483574) (← links)
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics (Q2908777) (← links)
- ON ADOPTING KRIPKE SEMANTICS IN SET THEORY (Q3580661) (← links)
- Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle (Q4915583) (← links)