Hilbert's Programs and Beyond
0
0
As an Amazon Associate and affiliate partner, Menrva Books earns from qualifying purchases. Learn more
Author Description
Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position of reductive structuralism and explores mathematical capacities via computational models.
Menrva's Summary
THE THESIS
This work investigates the historical evolution and philosophical implications of David Hilbert's foundational programs for mathematics. Wilfried Sieg, a prominent scholar in mathematical logic, utilizes a series of thematic essays to bridge the gap between 19th-century mathematical transformations and contemporary computational models. The text argues for a framework of reductive structuralism, positioning Hilbert's original proof-theoretic goals as a vital precursor to modern mathematical inquiry.
THE SCOPE MAP
What You Will Find
- Historical analysis of 19th-century mathematical shifts
- Technical examination of classical and modern proof theory
- Development of the reductive structuralism framework
- Exploration of mathematical capacities through computational models
Scope Limits
- Does not provide an exhaustive biography of David Hilbert
- Does not serve as an introductory textbook for undergraduate logic
THE AUTHORITY PERSPECTIVE
Experts recognize this collection as a significant contribution to the philosophy of mathematics, particularly for its synthesis of historical context and modern technical theory. Readers frequently note the academic density of the prose, which requires a solid background in mathematical logic to fully appreciate the author's arguments.
Page Count:
456
Publication Date:
2019-08-01
Publisher:
Oxford University Press
ISBN-10:
0190948191
ISBN-13:
9780190948191
Mathematics
Proof Theory
Philosophy of
Logic
Science History
Community Tags
Similar Books
