Oxford University Press is a department of the University of Oxford. It furthers the University's objective of excellence in research, scholarship, and education by publishing worldwide.

Click to enlarge

Print Price: $181.50

Format:
Hardback
448 pp.
9 illustrations, 6.125" x 9.25"

ISBN-13:
9780195372229

Publication date:
March 2013

Imprint: OUP US

Hilbert's Programs and Beyond

Wilfried Sieg

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.

Readership : Suitable for philosophers of mathematics; historians of modern mathematics and logic; researchers in philosophical and mathematical logic, but also in computer science and artificial intelligence.

Introduction
1. A perspective on Hilbert's Programs
2. Milestones
I. Mathematical roots
I.3 Dedekind's analysis of number
I.4 Methods for real arithmetic
I.5 Hilbert's programs: 1917-1922
II. Analyses
Historical
II.1 Finitist proof theory: 1922-1934
II.2 After Königsberg
II.3 In the shadow of incompleteness
II.4 Gödel at Zilsel's
II.5 Hilbert and Bernays: 1939
Systematical
II.6 Foundations for analysis and proof theory
II.7 Reductions of theories for analysis
II.8 Hilbert's program sixty years later
II.9 On reverse mathematics
II.10 Relative consistency and accessible domains
III. Philosophical horizons
III.1 Aspects of mathematical experience
III.2 Beyond Hilbert's reach?
III.3 Searching for proofs

There are no Instructor/Student Resources available at this time.

Wilfried Sieg is the Patrick Suppes Professor of Philosophy at Carnegie Mellon University. He received his Ph.D. from Stanford University in 1977. From 1977 to 1985, he was Assistant and Associate Professor at Columbia University. In 1985, he joined the Carnegie Mellon faculty as a founding member of the University's Philosophy Department and served as its Head from 1994 to 2005. He is internationally known for mathematical work in proof theory, historical work on modern logic and mathematics, and philosophical essays on the nature of mathematics. Sieg is a Fellow of the American Academy of Arts and Sciences.

Making Sense - Margot Northey and Joan McKibbin
The Hilbert Challenge - Jeremy Gray
The Adventure of Reason - Paolo Mancosu

Special Features

Hilbert's foundational work is seen as deeply rooted in the radical transformation of mathematics during the 19th century; his methodological attitude can be refined and extended to bridge the chasm between a Platonist and Constructivist philosophy of mathematics.
This novel perspective on Hilbert's foundational work is informed by detailed examination of archival sources, original mathematical contributions, and broad philosophical reflection.