|
|
|
|
| LEADER |
01546nam a2200241 a 4500 |
| 001 |
1410821 |
| 005 |
20171111233415.0 |
| 008 |
160517s2001 nyua erb 001 0 eng|c |
| 020 |
|
|
|a 0814758169(acidfreepaper)
|
| 040 |
|
|
|a DLC
|b gre
|e AACR2
|
| 050 |
0 |
0 |
|a QA9.65
|b .N34 2001
|
| 082 |
0 |
4 |
|2 22
|a 511.3
|
| 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 Αναθ. εκδ.
|
| 260 |
|
|
|a New York :
|b New York University Press,
|c c2001.
|
| 300 |
|
|
|a xxiii, 129 σ. :
|b εικ. ;
|c 21 εκ.
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφικές αναφορές (σ. 125) και ευρετήριο.
|
| 505 |
8 |
|
|a Machine generated contents note: Foreword to the New Edition by Douglas R Hofstadter ix -- Acknowledgments xxiii -- i Introduction I -- II The Problem of Consistency 7 -- inI Absolute Proofs of Consistency 25 -- iv The Systematic Codification of Formal Logic 37 -- v An Example of a Successful Absolute Proof of -- Consistency 45 -- vI The Idea of Mapping and Its Use in Mathematics 57 -- vii G6del's Proofs 68 -- A Godel numbering 68 -- B The arithmetization of meta-mathematics 80 -- c The heart of Godel's argument 92 -- vIII Concluding Reflections 109 -- Appendix: Notes 114 -- Brief Bibliography 125 -- Index 127.
|
| 650 |
|
0 |
|a Gōdel's theorem.
|
| 700 |
1 |
|
|a Newman, James Roy,
|
| 700 |
1 |
|
|a Hofstadter, Douglas R.,
|
| 952 |
|
|
|a GrAtEKP
|b 59cd29906c5ad134461115bd
|c 998a
|d 945l
|e 511.3 NAG 2001
|t 1
|x m
|z Books
|
