List of Mathematical Logic Topics - Proof Theory

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
  • 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 thing with Catholicism, the same as all religions, is that it teaches what should be, which seems rather incorrect. This is “what should be.” Now, if you’re taught to live up to a “what should be” that never existed—only an occult superstition, no proof of this “should be”Mthen you can sit on a jury and indict easily, you can cast the first stone, you can burn Adolf Eichmann, like that!”
    —Lenny Bruce (1925–1966)

    “Don’t confuse hypothesis and theory. The former is a possible explanation; the latter, the correct one. The establishment of theory is the very purpose of science.”
    —Martin H. Fischer (1879–1962)