(0) items

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
Hilbert's Programs and Beyond,9780195372229
This item qualifies for

Your order must be $59 or more, you must select US Postal Service Shipping as your shipping preference, and the "Group my items into as few shipments as possible" option when you place your order.

Bulk sales, PO's, Marketplace Items, eBooks, Apparel, and DVDs not included.

Hilbert's Programs and Beyond



Pub. Date:
Oxford University Press
List Price: $101.33

Buy New Textbook

Usually Ships in 3-5 Business Days

Rent Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out


We're Sorry
Not Available

More New and Used
from Private Sellers
Starting at $68.20

Questions About This Book?

What version or edition is this?

This is the edition with a publication date of 2/21/2013.

What is included with this book?

  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.


Hilbert's Programs & Beyondpresents 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 ofreductive structuralismand explores mathematical capacities via computational models.

Author Biography

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.

Table of Contents

In.1. A perspective on Hilbert's Programs
In.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
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
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

Please wait while the item is added to your cart...