Proof Theory
- Metamathematics
- Cut-elimination
- Tarski's indefinability theorem
- Diagonal lemma
- Provability logic
- Interpretability logic
- Sequent
- Sequent calculus
- Analytic proof
- Structural proof theory
- Self-verifying theories
- Substructural logics
- Structural rule
- Weakening
- Contraction
- Linear logic
- Intuitionistic linear logic
- Proof net
- Affine logic
- Strict logic
- Relevant logic
- Structural rule
- Proof-theoretic semantics
- Ludics
- System F
- Gerhard Gentzen
- Gentzen's consistency proof
- Reverse mathematics
- Nonfirstorderizability
- Interpretability
- Weak interpretability
- Cointerpretability
- Tolerant sequence
- Cotolerant sequence
- Deduction theorem
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the words proof and/or theory:
“The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.”
—Walt Whitman (1819–1892)
“The struggle for existence holds as much in the intellectual as in the physical world. A theory is a species of thinking, and its right to exist is coextensive with its power of resisting extinction by its rivals.”
—Thomas Henry Huxley (1825–95)