Loading…
Gödel's proof /
"In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
New York :
New York University Press,
©2001.
|
| Edition: | Rev. ed. |
| Subjects: | |
| Online Access: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | JSTOR_ocm53930949 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 031218s2001 nyua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCG |d OCLCQ |d OCLCA |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d TEFOD |d JSTOR |d OCLCA |d TEFOD |d OCLCQ |d IOG |d MM9 |d UX1 |d TSC |d OCLCQ |d OCLCO |d INARC |d OCLCQ |d OCLCO | ||
| 015 | |a GBA277877 |2 bnb | ||
| 016 | 7 | |a 007413039 |2 Uk | |
| 019 | |a 825116318 |a 1175625117 |a 1183447506 |a 1285576046 |a 1285576709 | ||
| 020 | |a 058548032X |q (electronic bk.) | ||
| 020 | |a 9780585480329 |q (electronic bk.) | ||
| 020 | |a 9780814759035 |q (electronic bk.) | ||
| 020 | |a 0814759033 |q (electronic bk.) | ||
| 020 | |z 0814758169 | ||
| 020 | |z 9780814758168 | ||
| 020 | |z 9780814758373 | ||
| 020 | |z 0814758371 | ||
| 029 | 1 | |a AU@ |b 000056130721 | |
| 035 | |a (OCoLC)53930949 |z (OCoLC)825116318 |z (OCoLC)1175625117 |z (OCoLC)1183447506 |z (OCoLC)1285576046 |z (OCoLC)1285576709 | ||
| 037 | |a 22573/ctt8jx2vw |b JSTOR | ||
| 037 | |a 3F6BA0BD-0688-4C8C-A620-989457D9A1B1 |b OverDrive, Inc. |n http://www.overdrive.com | ||
| 050 | 4 | |a QA9.65 |b .N34 2001eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a POL000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a 31.02 |2 bcl | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Nagel, Ernest, |d 1901-1985. | |
| 245 | 1 | 0 | |a Gödel's proof / |c by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter. |
| 250 | |a Rev. ed. | ||
| 260 | |a New York : |b New York University Press, |c ©2001. | ||
| 300 | |a 1 online resource (xxiii, 129 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 | ||
| 504 | |a Includes bibliographical references (page 125) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a The problem of consistency -- Absolute proofs of consistency -- The systematic codification of formal logic -- An example of a successful absolute proof of consistency -- The idea of mapping and its use in mathematics -- Gödel's proofs -- A Gödel numbering -- The arithmetization of meta-mathematics -- The heart of Gödel's argument -- Concluding reflections -- Appendix: Notes -- Brief bibliography -- Index. | |
| 520 | 1 | |a "In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Ironically, few mathematicians of the time were able to understand the young scholar's complex proof, and the full importance of this work was largely overlooked for many years. Godel was at last recognized by his peers and presented with the first Albert Einstein Award in 1951 for achievement in the natural sciences - the highest honor of its kind in the United States. The award committee, which included Albert Einstein and J. Robert Oppenheimer, described his work as "one of the greatest contributions to the sciences in recent times."" "In Godel's Proof, Ernest Nagel and James Newman provide a readable and non-technical explanation for both scholars and non-specialists of the main ideas and broad implications of Godel's discovery. First published in 1958 and in print continuously in ten languages, this highly popular, seminal work offers every educated person with an interest in mathematics, logic, and philosophy the opportunity to understand a previously difficult and inaccessible subject."--Jacket | |
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 650 | 0 | |a Gödel's theorem. | |
| 650 | 6 | |a Théorème de Gödel. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a POLITICAL SCIENCE |x General. |2 bisacsh | |
| 650 | 7 | |a Gödel's theorem |2 fast | |
| 650 | 7 | |a Gödel's theorem. |2 nli | |
| 700 | 1 | |a Newman, James R. |q (James Roy), |d 1907-1966. | |
| 700 | 1 | |a Hofstadter, Douglas R., |d 1945- | |
| 776 | 0 | 8 | |i Print version: |a Nagel, Ernest, 1901- |t Gödel's proof. |b Rev. ed. |d New York : New York University Press, ©2001 |z 0814758169 |w (DLC) 2001044481 |w (OCoLC)47805077 |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctt9qg4j9 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 100421 | ||
| 938 | |a Internet Archive |b INAR |n godelsproof0000nage_o3u2 | ||
| 938 | |a YBP Library Services |b YANK |n 12213882 | ||
| 938 | |a YBP Library Services |b YANK |n 2335915 | ||
| 994 | |a 92 |b IZTAP | ||