Definition:Proof Theory

From ProofWiki
Jump to navigation Jump to search


Proof theory is the subfield of mathematical logic which studies proofs as mathematical objects, thus allowing them to be analysed mathematically.

Also see

  • Results about proof theory can be found here.

Historical Note

The mathematical branch known as Proof theory was initiated by David Hilbert in his attempt to prove the consistency of mathematics.

His approach was later developed by Gerhard Karl Erich Gentzen, who developed a complete system for the treatment of the subject.