Pages that link to "Proof Theory"
The following pages link to Proof Theory:
Displaying 23 items.
- Hilbert Program (← links)
- Model Theory (← links)
- Logicism (← links)
- Theory of Types (← links)
- Godel's Incompleteness Theorems (← links)
- Arithmetization (← links)
- David Hilbert (← links)
- Formalism (philosophy of mathematics) (← links)
- Iterated Reflection (← links)
- Ordinal Analysis (← links)
- Formalism (← links)
- Mathematical Intuitionism (← links)
- Finitism (← links)
- Predicativity (← links)
- Proof-Theoretic Ordinals (← links)
- Reflection Principle (← links)
- Alexander Esenin-Volpin (← links)
- Curry-Howard correspondence (← links)
- Peano Arithmetic (← links)
- Large Cardinals (← links)
- Structural Proof Theory (← links)
- Talk:Penrose-Lucas Argument (← links)
- Talk:Metamathematics (← links)