Definition:Proof Theory/Historical Note
Jump to navigation
Jump to search
Historical Note on Proof Theory
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.
Sources
- 1987: Gaisi Takeuti: Proof Theory (2nd ed.) ... (previous) ... (next): Introduction