Cargando…
Gödel's proof /
"Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb."--The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics a...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Routledge,
2005.
|
| Colección: | Routledge classics.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn822561677 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 121221r20051958enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d E7B |d OCLCF |d OCLCA |d YDXCP |d EBLCP |d DEBSZ |d UKDOC |d OCLCQ |d TYFRS |d OCLCQ |d K6U |d OCLCQ |d ELBRO |d OCLCQ |d OCLCO |d UKAHL |d OCLCO |d SFB |d OCLCQ |d OCLCO |d OCLCL |d TMA |d OCLCQ | ||
| 019 | |a 823724991 | ||
| 020 | |a 9781135865320 |q (electronic bk.) | ||
| 020 | |a 1135865329 |q (electronic bk.) | ||
| 020 | |z 0415355281 | ||
| 020 | |z 9780415355285 | ||
| 029 | 1 | |a AU@ |b 000055864901 | |
| 029 | 1 | |a AU@ |b 000066440636 | |
| 029 | 1 | |a CHNEW |b 000641105 | |
| 029 | 1 | |a DEBSZ |b 397450184 | |
| 029 | 1 | |a AU@ |b 000070061912 | |
| 035 | |a (OCoLC)822561677 |z (OCoLC)823724991 | ||
| 050 | 4 | |a QA9.65 |b .N34 2005eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Nagel, Ernest, |d 1901-1985. |1 https://id.oclc.org/worldcat/entity/E39PBJpVbQmpcmTGVHGGtYmDbd | |
| 245 | 1 | 0 | |a Gödel's proof / |c Ernest Nagel and James R. Newman. |
| 260 | |a London : |b Routledge, |c 2005. | ||
| 300 | |a 1 online resource (94 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 | ||
| 490 | 1 | |a Routledge classics | |
| 500 | |a Originally published: 1958. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Gödel's Proof; Copyright; Contents; Acknowledgments; 1 Introduction; 2 The Problem of Consistency; 3 Absolute Proofs of Consistency; 4 The Systematic Codification of Formal Logic; 5 An Example of a Successful Absolute Proof of Consistency; 6 The Idea of Mapping and its Use in Mathematics; 7 Gödel's Proofs; A Gödel numbering; B The arithmetization of meta-mathematics; C The heart of Gödel's argument; 8 Concluding Reflections; Notes; Brief Bibliography; Index. | |
| 520 | |a "Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb."--The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 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 Gödel's theorem |2 fast | |
| 700 | 1 | |a Newman, James R. |q (James Roy), |d 1907-1966. |1 https://id.oclc.org/worldcat/entity/E39PBJhRyFwd6bWWVPq7YwdbBP | |
| 758 | |i has work: |a Gödel's proof (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH4kyFrgkhK9Vm6BbMb883 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Nagel, Ernest, 1901-1985. |t Gödel's proof. |d London : Routledge, 2005 |z 0415355281 |w (OCoLC)61129244 |
| 830 | 0 | |a Routledge classics. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1099249 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n BDZ0021252800 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24665625 | ||
| 938 | |a 123Library |b 123L |n 59693 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1099249 | ||
| 938 | |a ebrary |b EBRY |n ebr10639100 | ||
| 938 | |a EBSCOhost |b EBSC |n 512040 | ||
| 938 | |a eLibro |b ELBO |n ELB135530 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780203715222 | ||
| 938 | |a YBP Library Services |b YANK |n 2588099 | ||
| 938 | |a YBP Library Services |b YANK |n 9954897 | ||
| 938 | |a YBP Library Services |b YANK |n 9956258 | ||
| 994 | |a 92 |b IZTAP | ||