简介
'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - "The Guardian". In 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, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Godel's theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, "Godel's Proof" by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.
目录
ACKNOWLE DG M ENTS
1 Introduction
2 The Problem of Consistency
3 Absolute Proofs of Consistency
4 The Systematic Codifcation of Formal Logic
5 An Example of a Successful Absolute Proof of Consistency
6 The Idea of Mapping and its Use in Mathematics
7 Godel's Proofs
A Godel numbering
B The arithmetization ofmeta-mathematics
C The heart of GOdel's argument
8 Concluding Reflections
NOTES
BRIEF BIBLIOGRAPHY
INDEX
1 Introduction
2 The Problem of Consistency
3 Absolute Proofs of Consistency
4 The Systematic Codifcation of Formal Logic
5 An Example of a Successful Absolute Proof of Consistency
6 The Idea of Mapping and its Use in Mathematics
7 Godel's Proofs
A Godel numbering
B The arithmetization ofmeta-mathematics
C The heart of GOdel's argument
8 Concluding Reflections
NOTES
BRIEF BIBLIOGRAPHY
INDEX
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ:4006604884
云图客服:
用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×