Cargando…
Hilbert's programs and beyond /
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 investigation...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York :
Oxford University Press,
©2013.
|
| Colección: | Logic and computation in philosophy.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBSCO_on1129369506 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 120629s2013 nyua ob 001 0 eng d | ||
| 010 | |a 2012022356 | ||
| 040 | |a VT2 |b eng |e pn |c VT2 |d OCLCO |d YDXCP |d N$T |d EBLCP |d OCLCF |d EZ9 |d K6U |d OCLCQ |d AGLDB |d OCLCQ |d UKAHL |d OCLCO |d OCLCQ | ||
| 019 | |a 953436326 |a 1135830874 |a 1152980717 |a 1156376018 |a 1228610351 | ||
| 020 | |a 9780195372229 |q (hardback ; |q alk. paper) | ||
| 020 | |a 0195372220 | ||
| 020 | |a 9780199707157 |q (e-book) | ||
| 020 | |a 0199707154 | ||
| 029 | 1 | |a AU@ |b 000065555087 | |
| 029 | 1 | |a CHNEW |b 000901560 | |
| 029 | 1 | |a AU@ |b 000066978375 | |
| 035 | |a (OCoLC)1129369506 |z (OCoLC)953436326 |z (OCoLC)1135830874 |z (OCoLC)1152980717 |z (OCoLC)1156376018 |z (OCoLC)1228610351 | ||
| 050 | 4 | |a QA8.4 |b .S545 2013 | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 082 | 0 | 4 | |a 510.1 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Sieg, Wilfried, |d 1945- | |
| 245 | 1 | 0 | |a Hilbert's programs and beyond / |c Wilfried Sieg. |
| 260 | |a New York : |b Oxford University Press, |c ©2013. | ||
| 300 | |a 1 online resource (xii, 439 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 490 | 1 | |a Logic and computation in philosophy | |
| 504 | |a Includes bibliographical references (pages 403-434) and index. | ||
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 520 | |a 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 an open philosophical horizon for reflection on the nature of mathematics in the 21st century. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 600 | 1 | 0 | |a Hilbert, David, |d 1862-1943. |
| 600 | 1 | 7 | |a Hilbert, David, |d 1862-1943. |2 fast |0 (OCoLC)fst00011803 |
| 650 | 0 | |a Mathematics |x Philosophy. | |
| 650 | 6 | |a Mathématiques |x Philosophie. | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Mathematics |x Philosophy. |2 fast |0 (OCoLC)fst01012213 | |
| 776 | 0 | 8 | |i Print version: |z 9780195372229 |z 0195372220 |w (DLC) 2012022356 |w (OCoLC)800445002 |
| 830 | 0 | |a Logic and computation in philosophy. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1201398 |z Texto completo |
| 887 | |a QA8.4.S545 2013 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH38693856 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL4704597 | ||
| 938 | |a EBSCOhost |b EBSC |n 1201398 | ||
| 938 | |a YBP Library Services |b YANK |n 13067022 | ||
| 994 | |a 92 |b IZTAP | ||