图书简介

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 Konigsberg; II.3 In the shadow of incompleteness; II.4 Godel 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

Trade Policy 买家须知