Mendeley出力
＜図書＞
Gödel's proof
| 責任表示 | by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter |
|---|---|
| データ種別 | 図書 |
| 版 | Rev. ed |
| 出版情報 | New York : New York University Press , c2001 |
| 本文言語 | 英語 |
| 大きさ | xxiii, 129 p. ; 21 cm |
| 概要 | THE SPECIAL 70TH ANNIVERSARY COMMEMORATIVE EDITION In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, "O... 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 in 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 theory. First published in 1958 and in print continuously since then in 10 languages, this highly popular, seminal work offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject. Marking the 70th anniversary of the original publication of Principia Mathematica, New York University Press is proud to publish this special anniversary edition of one of its bestselling books. With a new foreword by Douglas R. Hofstadter, this book will appeal to students, scholars, and professionals in mathematics, computer science, logic and philosophy, and science. 続きを見る |
| 目次 | 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.続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | NAGE/15/1 | 2001 |
|
023212001007994 |
|
|||
|
|
|
理系図 自動書庫 | 410.1/N 26 | 2001 |
|
054212002002611 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Nagel, Ernest, 1901- Newman, James Roy, 1907-1966 Hofstadter, Douglas R., 1945- |
| 件 名 | LCSH:Gödel's theorem |
| 分 類 | LCC:QA9.65 DC21:511.3 |
| 書誌ID | 1001395669 |
| ISBN | 0814758169 |
| NCID | BA55742151 |
| 巻冊次 | ISBN:0814758169 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |