| 000 -LEADER |
|---|
| fixed length control field |
01656 a2200253 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240612144117.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240612b ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9780814758373 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3 NAG/G |
| 100 ## - MAIN ENTRY--AUTHOR NAME |
|---|
| Personal name |
Nagel, Ernest |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Godel's proof: where old and new media collide |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
Rev. ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Name of publisher |
New York University Press -- |
| Year of publication |
2008 |
| Place of publication |
United States of America -- |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
xxiii, 129p. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Contents <br/><br/>Foreword to the New Edition by Douglas R. Hofstadter ix <br/><br/>Acknowledgments xxiii <br/><br/>i Introduction 1 <br/><br/>ii The Problem of Consistency 7 <br/><br/>iii Absolute Proofs of Consistency 25 <br/><br/>iv The Systematic Codification of Formal Logic 37 <br/><br/>v An Example of a Successful Absolute Proof of Consistency 45 <br/><br/>vi The Idea of Mapping and Its Use in Mathematics 57 <br/><br/>vii Godel's Proofs 68 <br/><br/> a Godel numbering 68 <br/><br/> b The arithmetization of meta-mathematics 80 <br/><br/> c The heart of Godel's argument 92 <br/><br/>viii Concluding Reflections 109 <br/><br/>Appendix: Notes 114 <br/><br/>Brief Bibliography 125 <br/><br/>Index 127 |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
<br/>In 1931 Kurt Godel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. The authors provide an explanation of the main ideas and broad implications of Godel's discovery. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Principles of mathematics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logic |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Newman, James R |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hofstadter, Douglas R |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Book |
