Cargando…
Thinking about Gödel and Turing : essays on complexity 1970-2007 /
Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of thes...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hackensack, N.J. :
World Scientific,
©2007.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn826660250 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130204s2007 nju ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d DEBSZ |d MHW |d YDXCP |d OCLCQ |d OCLCF |d OCLCQ |d AGLDB |d OCLCQ |d VTS |d STF |d LEAUB |d AU@ |d M8D |d UKAHL |d VLY |d IDEBK |d I9W |d E7B |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 666958396 |a 815749795 |a 1162253809 | ||
| 020 | |a 9789812708977 |q (electronic bk.) | ||
| 020 | |a 9812708979 |q (electronic bk.) | ||
| 020 | |a 1281918679 | ||
| 020 | |a 9781281918673 | ||
| 020 | |a 9786611918675 | ||
| 020 | |a 6611918671 | ||
| 020 | |z 9789812708960 | ||
| 020 | |z 9812708960 | ||
| 020 | |z 9789812708953 | ||
| 020 | |z 9812708952 | ||
| 029 | 1 | |a DEBBG |b BV043106069 | |
| 029 | 1 | |a DEBSZ |b 384346375 | |
| 029 | 1 | |a DEBSZ |b 421289678 | |
| 029 | 1 | |a DEBSZ |b 445576413 | |
| 029 | 1 | |a AU@ |b 000074662283 | |
| 035 | |a (OCoLC)826660250 |z (OCoLC)666958396 |z (OCoLC)815749795 |z (OCoLC)1162253809 | ||
| 050 | 4 | |a QA9.65 |b .C43 2007eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a PBB |2 bicssc | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Chaitin, Gregory J. | |
| 245 | 1 | 0 | |a Thinking about Gödel and Turing : |b essays on complexity 1970-2007 / |c Gregory J Chaitin ; with a foreword by Paul Davies. |
| 246 | 3 | 0 | |a Gödel and Turing |
| 260 | |a Hackensack, N.J. : |b World Scientific, |c ©2007. | ||
| 300 | |a 1 online resource (xix, 347 pages) | ||
| 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 and index. | ||
| 505 | 0 | |a On the Difficulty of Computations; Information-Theoretic Computational Complexity; Randomness and Mathematical Proof; Godel's Theorem and Information; Randomness in Arithmetic; Paradoxes of Randomness; Complexity and Leibniz; The Limits of Reason; How Real Are Real Numbers?; Is Incompleteness a Serious Problem?; How Much Information Can There Be in a Real Number?; and other papers. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as Gödel and Turing. This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin's three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size co. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Gödel's theorem. | |
| 650 | 0 | |a Incompleteness theorems. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Metamathematics. | |
| 650 | 0 | |a Computational complexity. | |
| 650 | 6 | |a Théorème de Gödel. | |
| 650 | 6 | |a Théorèmes d'incomplétude. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Métamathématique. | |
| 650 | 6 | |a Complexité de calcul (Informatique) | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Computational complexity. |2 fast |0 (OCoLC)fst00871991 | |
| 650 | 7 | |a Gödel's theorem. |2 fast |0 (OCoLC)fst00949806 | |
| 650 | 7 | |a Incompleteness theorems. |2 fast |0 (OCoLC)fst00968811 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Metamathematics. |2 fast |0 (OCoLC)fst01018261 | |
| 650 | 7 | |a Mathematische Logik |2 gnd | |
| 776 | 0 | 8 | |i Print version: |a Chaitin, Gregory J. |t Thinking about Gödel and Turing. |d Hackensack, N.J. : World Scientific, ©2007 |z 9789812708960 |w (DLC) 2008270513 |w (OCoLC)214286093 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=518641 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24684191 | ||
| 938 | |a ebrary |b EBRY |n ebr10698798 | ||
| 938 | |a EBSCOhost |b EBSC |n 518641 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 191867 | ||
| 938 | |a YBP Library Services |b YANK |n 9975924 | ||
| 994 | |a 92 |b IZTAP | ||