欧内斯特·内格尔(Ernest Nagel) (1901—1985)
内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院学士学位,1925年获哥伦比亚大学数学硕士学位,1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外,一直在哥伦比亚大学任教:1946年起任教授,1956年至1966年任杜威讲座哲学教授,1967年至1970年退休前成为校级教授。其间,1940年至1946年任《符号逻辑》杂志编委;1939年至1956年担任《哲学杂志》编委;1956年至1959年任《科学哲学》杂志编委。曾任美国哲学和科学方法研究会主席,美国符号逻辑协会主席,美国哲学协会东部分会主席。他于1961年出版的《科学的结构》(The Structure of Science)被公认为科学分析哲学的开山之作,是逻辑实证主义运动的领军人物之一。内格尔是美国科学院院士,英国科学院的通讯院士。
詹姆士·R· 纽曼(James R. Newman)(1907—1966)
律师、数学家和数学史家。二战前后及期间曾担任美国驻伦敦大使馆首席情报官,战时副国务卿特别助理,美国参议院原子能问题顾问等重要敏感职务。战后从1948年起,成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书,其中收集了从古到今的重要数学文献,具有极大参考价值,曾多次再版。
'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.
所谓数的不完备性,即哥德尔证明:存在无穷多个真的算数命题,无法用一套封闭的演绎规则和一组公理推导出来。也就是说,数理无法推知一切。这篇东西不过是思路整理加上自己的一些想法,前面是对哥德尔论证的梳理,自然不能入专业人士的眼;后面就有点脑洞大开了,和哥德尔没啥...
评分我总觉得哥德尔定理证明的并不是人类如何如何。我一直深信逻辑并非最强的认知方式。哥德尔否定的应该是纯粹逻辑系统的绝对统治地位,也就是说人如果想知道更多,必然要借助于非逻辑的力量。逻辑和科学是最易于传播的,但很可能人类的进化就这样被淹没在“大多数”、“正常”的...
评分 评分有足够理性的人都应该会喜欢这本书. 是否想过有些问题虽然有其真伪,但是却无法证明. (即在我们用于描述这些问题的缺省的前提和推理规则,或者叫形式系统,是不完备的). 所以,那些在电视里滔滔不绝预测未来股市,楼市的人不用担心他们的论断被除了事实之外的某个人驳倒. 所...
评分哥德尔不完备定理根本策略: 1.建立一个系统PM,使得其序列号与元理论中公理及其引理建立映射关系——得到哥德尔数; 2.利用特殊的定义策略,使得映射建立的序号巨大化、不重复,且有规律性;在哥德尔的论文中,天才地利用里质数、指数、乘积三者 的可还原关系。 ...
successfully demonstate the scheme but fail to explain why
评分罗素悖论真是比Richard paradox好理解到不知哪里去- - 回学校看实体书二刷吧- - #捉急
评分#想给六星
评分#想给六星
评分successfully demonstate the scheme but fail to explain why
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有