Hilbert's Programs and Beyond. (Record no. 118015)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03265nam a22004453i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EBC4704597 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MiAaPQ |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240729130838.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240724s2013 xx o ||||0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780199707157 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9780195372229 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (MiAaPQ)EBC4704597 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Au-PeEL)EBL4704597 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (CaPaEBR)ebr11274033 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)953436326 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MiAaPQ |
| Language of cataloging | eng |
| Description conventions | rda |
| -- | pn |
| Transcribing agency | MiAaPQ |
| Modifying agency | MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA8.4.S545 2013 |
| 082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 510.1 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Sieg, Wilfried. |
| 245 10 - TITLE STATEMENT | |
| Title | Hilbert's Programs and Beyond. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Oxford : |
| Name of producer, publisher, distributor, manufacturer | Oxford University Press, Incorporated, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2013. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | ©2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (452 pages) |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 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 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher supplied metadata and other sources. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Electronic 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Hilbert, David, 1862-1943. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Mathematics--Philosophy. |
| 655 #4 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Sieg, Wilfried |
| Title | Hilbert's Programs and Beyond |
| Place, publisher, and date of publication | Oxford : Oxford University Press, Incorporated,c2013 |
| International Standard Book Number | 9780195372229 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) | |
| Corporate name or jurisdiction name as entry element | ProQuest (Firm) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=4704597">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=4704597</a> |
| Public note | Click to View |
No items available.