LEADER 03158nam 2200565 450 001 9910815390903321 005 20230803041340.0 010 $a0-19-970715-4 035 $a(CKB)3710000000623033 035 $a(EBL)4704597 035 $a(SSID)ssj0001630480 035 $a(PQKBManifestationID)16377430 035 $a(PQKBTitleCode)TC0001630480 035 $a(PQKBWorkID)12111982 035 $a(PQKB)11776296 035 $a(MiAaPQ)EBC4704597 035 $a(Au-PeEL)EBL4704597 035 $a(CaPaEBR)ebr11274033 035 $a(OCoLC)953436326 035 $a(MiAaPQ)EBC5746261 035 $a(EXLCZ)993710000000623033 100 $a20161012h20132013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHilbert's programs and beyond /$fWilfried Sieg 210 1$aOxford, [England] ;$aNew York, New York :$cOxford University Press,$d2013. 210 4$dİ2013 215 $a1 online resource (452 p.) 225 1 $aLogic and computation in philosophy 300 $aDescription based upon print version of record. 311 $a0-19-537222-0 320 $aIncludes bibliographical references and index. 327 $aCover; 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 Ko?nigsberg; II.3 In the shadow of incompleteness: Hilbert and Gentzen; II.4 Go?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 327 $aII.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 330 $aDavid 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 an open philosophical horizon for reflection on the nature of mathematics in the 21st century. 410 0$aLogic and computation in philosophy. 606 $aMathematics$xPhilosophy 615 0$aMathematics$xPhilosophy. 676 $a510.1 700 $aSieg$b Wilfried$f1945-$056703 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910815390903321 996 $aHilbert's programs and beyond$93989503 997 $aUNINA