Hilbert's Proof Theory and its modern Development

Seminar paper from the year 2021 in the subject Mathematics - Miscellaneous, grade: 1,0, University of Hagen, course: Philosophy of Mathematics, language: English, abstract: Imagine a world where the very bedrock of mathematical truth crumbles beneath your feet-this was the reality facing mathematicians in the early 20th century, a period of intense scrutiny and doubt known as the foundational crisis. This book delves into the fascinating story of how David Hilbert, a towering figure in mathematics, sought to rebuild this foundation through his ambitious program of proof theory. Explore the contrasting philosophies of classical versus intuitionistic mathematics, the revolutionary impact of Cantor's set theory, and the ensuing objections that threatened to unravel the entire mathematical edifice. Witness the rise of mathematical formalism, as signs are elevated to objects of study, and the birth of metamathematics, a new discipline dedicated to proving the consistency of mathematical systems. Unravel the intricacies of Hilbert's program, his attempt to secure mathematical certainty through finite means, and the devastating blow dealt by Godel's incompleteness theorems, which revealed the inherent limitations of formal systems. Discover how Gentzen's groundbreaking work on natural deduction and transfinite induction offered a new path forward, transforming proofs into objects of mathematical inquiry in their own right. Finally, journey into the realm of modern proof theory, where category theory and lambda calculus provide powerful new frameworks for understanding the essence of mathematical truth and developing novel identity criteria for proofs. This book offers a comprehensive exploration of Hilbert's program, its challenges, and its enduring legacy, making it an essential read for anyone interested in the foundations of mathematics, mathematical logic, and the quest for absolute certainty. Keywords: Hilbert's program, proof theory, foundational crisis, classical mathematics, intuitionistic mathematics, Cantor's set theory, Godel's incompleteness theorems, Gentzen's consistency proof, transfinite induction, category theory, lambda calculus, formal systems, metamathematics, consistency, actual infinity, mathematical formalism.