000			03265nam a22004453i 4500
001			EBC4704597
003			MiAaPQ
005			20240729130838.0
006			m o d |
007			cr cnu||||||||
008			240724s2013 xx o ||||0 eng d
020			_a9780199707157 _q(electronic bk.)
020			_z9780195372229
035			_a(MiAaPQ)EBC4704597
035			_a(Au-PeEL)EBL4704597
035			_a(CaPaEBR)ebr11274033
035			_a(OCoLC)953436326
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA8.4.S545 2013
082	0		_a510.1
100	1		_aSieg, Wilfried.
245	1	0	_aHilbert's Programs and Beyond.
250			_a1st ed.
264		1	_aOxford : _bOxford University Press, Incorporated, _c2013.
264		4	_c©2013.
300			_a1 online resource (452 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
505	0		_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 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 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 (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.
520			_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.
588			_aDescription based on publisher supplied metadata and other sources.
590			_aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650		0	_aHilbert, David, 1862-1943.
650		0	_aMathematics--Philosophy.
655		4	_aElectronic books.
776	0	8	_iPrint version: _aSieg, Wilfried _tHilbert's Programs and Beyond _dOxford : Oxford University Press, Incorporated,c2013 _z9780195372229
797	2		_aProQuest (Firm)
856	4	0	_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=4704597 _zClick to View
999			_c118015 _d118015