• Home
  • Random
  • Recent changes
  • Special pages
  • Community portal
  • Preferences
  • About Wikipedia
  • Disclaimers
Incubator escapee wiki
  • Talk
  • Dark mode
  • Contributions
  • Create account
  • Log in

Category:Proof theory

Category Discussion
  • Language
  • Watch
  • History
  • Edit
    • Page information
    • Permanent link
    • What links here

Template:Sister project Template:Cat main Template:Contrast Template:Portal

In mathematics, Proof theory is the study of formalized arguments.

Template:AnchorPages in category "Proof theory"

The following 36 pages are in this category, out of 36 total.

 

  • Proof theory

A

  • Analytic proof

C

  • Consistency
  • Curry–Howard correspondence
  • Cut-elimination theorem

D

  • Decidability (logic)
  • Deduction theorem
  • Deep inference
  • Disjunction and existence properties

F

  • Formal proof

G

  • Original proof of Gödel's completeness theorem
  • Gödel's completeness theorem
  • Gödel's incompleteness theorems

H

  • Hilbert's program

I

  • Independence (mathematical logic)
  • Interpretability

M

  • Mathematical fallacy
  • Mathematical proof
  • Metalanguage

N

  • Natural deduction

P

  • Paraconsistent mathematics
  • Presburger arithmetic
  • Proof calculus
  • Proof net
  • Proof-theoretic semantics
  • Provability logic

R

  • Reverse mathematics

S

  • Self-verifying theories
  • Sequent
  • Sequent calculus
  • Setoid
  • Soundness
  • Structural proof theory
  • Structural rule

T

  • Tolerant sequence

W

  • Weak interpretability
Retrieved from "https://zalansite.site/mediawiki/index.php?title=Category:Proof_theory&oldid=412058"
Last edited on 25 April 2020, at 19:13
Incubator escapee wiki
  • This page was last edited on 25 April 2020, at 19:13.
  • Privacy policy
  • About Wikipedia
  • Disclaimers