Hilbert's programs and beyond

Type Book

Rate 0.0 /5

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations. Ten essays are devoted to the analysis of classical as well as modern proof theory; three papers on the mathematical roots of Hilbert's work precede the analytical core, and three final essays exploit …

Details

Files

Reviews

Download

Title Statements

Full title :Hilbert's programs and beyond / Wilfried Sieg.

Summary

Edition Statements

Publication Date:©2013.

Publication Statements

Publisher(s):Oxford University Press
Place of Publication:New York
Language:eng
Publication Date:©2013.

The Physical Object

Description:1 online resource (xii, 439 pages) : : illustrations

Edition Identifiers

ISBN:9780195372229, 0195372220, 9780199707157, 0199707154
oclc:on1129369506
LC Classification:QA8.4
Dewey Decimal:510.1

Cover; Contents; Introduction; In. 1 A Perspective on Hilbert's Programs; In. 2 Milestones; I: Mathematical roots; I.1 Dedekind's analysis of number: systems and axioms; I.2 Methods for real arithmetic; I.3 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: Hilbert and Gentzen; 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 mathematicsII. 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 (and uncovering capacities of the mathematical mind); Bibliography; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; R; S; T; V; W; Z.