Pages that link to "Proof Theory"
The following pages link to Proof Theory:
Displaying 30 items.
- Type Theory (← links)
- 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)
- 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)
- Combinatory Logic (← links)
- Compactness Theorem (← links)
- Ramsey Theory (← links)
- Paris-Harrington Theorem (← links)
- Formal System (← links)
- Satisfiability (← links)
- Clause Learning (← links)
- Talk:Penrose-Lucas Argument (← links)
- Talk:Metamathematics (← links)