You are here

Hilbert's Programs and Beyond

Wilfried Sieg
Publisher: 
Oxford University Press
Publication Date: 
2014
Number of Pages: 
440
Format: 
Hardcover
Price: 
85.00
ISBN: 
9780195372229
Category: 
Monograph
There is no review yet. Please check back later.

Introduction
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
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

Dummy View - NOT TO BE DELETED