<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Wu Jiewen’s Blog --- 吴杰文的博客 &#187; 哲学</title>
	<atom:link href="http://blog.wujiewen.com/tag/%e5%93%b2%e5%ad%a6/feed/" rel="self" type="application/rss+xml" />
	<link>http://blog.wujiewen.com</link>
	<description>Veritas Lux Mea [真理乃吾光]</description>
	<lastBuildDate>Thu, 17 Nov 2011 01:19:16 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.1</generator>
		<item>
		<title>春天来了</title>
		<link>http://blog.wujiewen.com/2011/%e4%b8%94%e8%a1%8c%e4%b8%94%e5%90%9f/%e6%98%a5%e5%a4%a9%e6%9d%a5%e4%ba%86/</link>
		<comments>http://blog.wujiewen.com/2011/%e4%b8%94%e8%a1%8c%e4%b8%94%e5%90%9f/%e6%98%a5%e5%a4%a9%e6%9d%a5%e4%ba%86/#comments</comments>
		<pubDate>Fri, 08 Apr 2011 19:44:49 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[且行且吟]]></category>
		<category><![CDATA[杂谈]]></category>
		<category><![CDATA[being]]></category>
		<category><![CDATA[人生]]></category>
		<category><![CDATA[哲学]]></category>
		<category><![CDATA[存在]]></category>
		<category><![CDATA[春天]]></category>
		<category><![CDATA[爱]]></category>
		<category><![CDATA[生活]]></category>

		<guid isPermaLink="false">http://blog.wujiewen.com/?p=578</guid>
		<description><![CDATA[我从小喜欢读书. 那个时候家里虽然有两书柜的书, 但是只有很少一部分是所谓的儿童读物: 一半是父亲的农科书籍以及半月谈之流,剩下的一半很多学习用书 &#8212; 数理化, 语文, 英语. 一个小角落里堆着的就是我经常翻来覆去看的儿童读物: 一系列连载的童话大王(堂姐家拿回来的), 还有美国童话故事精选, 几本现在看来很幼稚的唐老鸭连环画, 以及那个时候非常畅销的&#60;故事会&#62;. 我记得的也就这些,因为这些书给我的印象最为深刻. 譬如,昨天阿姨说在大桥边的树下看到一种没见过的动物在钻洞, 长的像小型的猪,有老鼠一般的胡须,笨笨蠢蠢的样子. 我想了半天, 排除了大松鼠, 野兔子(我家后院现在就住着一只),浣熊&#8230; 最后猜可能是土拨鼠. 我马上就想起在美国童话精选里看到的, 土拨鼠是动物界的气象员: 它从泥土里钻出来的时候, 春天就正式来临了! 是的, 春天大概是真的来了. 尽管门前草地上还有一小堆的雪没有化, 这小景象是无论如何阻挡不了大趋势的: 路旁的小沟里哗啦哗啦跟涨潮一般, 把四处融化的积雪送往大河, 最终回到大海; 沟中央的一座孤岛似的泥滩上, 经冬枯萎的蒿草慢慢变红,彰显生命的初绽; 从人家后院里大树上伸出的一枝新芽,更是用刚生长的软软的枝条拦截穿着短裤跑步经过的大姑娘, 捉弄在小路上欢愉着奔跑而过的小朋友, 连好不容易出来呼吸一下春天的气息, 重新感受一下生命的力量的老太太, 也被这出墙枝条撩歪了毡帽. 无路如何, 春天终究是来了. 加拿大的春天尤其诱人. 半年的冬天已经过去, 现在被迫享受了半年室内生活的加拿大人开始新的生活了. 小孩子们更是欢欣鼓舞, 春天里五花八门的活动和节目会给他们创造童年的美好生活, 春天, 对他们而言, 更像是活生生的朋友. 正如怀特先生在&#60;春天的报告&#62;里说的:&#8221;孩子们把春天紧紧地攥在他们褐色的拳头里, 大人们并不如小孩们那么确定春天的到来, 将春天埋在了心里.&#8221; 在那两书柜的书里, 有一本托尔斯泰的短篇小说集. 我第一次读的时候,非常不舒服: 翻译十分生硬, [...]]]></description>
		<wfw:commentRss>http://blog.wujiewen.com/2011/%e4%b8%94%e8%a1%8c%e4%b8%94%e5%90%9f/%e6%98%a5%e5%a4%a9%e6%9d%a5%e4%ba%86/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>&#8220;纯粹理性批判&#8221;及相关问题的讨论</title>
		<link>http://blog.wujiewen.com/2010/%e6%9d%82%e8%b0%88/%e7%ba%af%e7%b2%b9%e7%90%86%e6%80%a7%e6%89%b9%e5%88%a4%e5%8f%8a%e7%9b%b8%e5%85%b3%e9%97%ae%e9%a2%98%e7%9a%84%e8%ae%a8%e8%ae%ba/</link>
		<comments>http://blog.wujiewen.com/2010/%e6%9d%82%e8%b0%88/%e7%ba%af%e7%b2%b9%e7%90%86%e6%80%a7%e6%89%b9%e5%88%a4%e5%8f%8a%e7%9b%b8%e5%85%b3%e9%97%ae%e9%a2%98%e7%9a%84%e8%ae%a8%e8%ae%ba/#comments</comments>
		<pubDate>Wed, 03 Mar 2010 05:59:48 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[杂谈]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[Kant]]></category>
		<category><![CDATA[philosophy]]></category>
		<category><![CDATA[pure reason]]></category>
		<category><![CDATA[哲学]]></category>
		<category><![CDATA[宇宙起源]]></category>
		<category><![CDATA[完备性]]></category>
		<category><![CDATA[康德]]></category>
		<category><![CDATA[批判]]></category>
		<category><![CDATA[时间]]></category>
		<category><![CDATA[物理]]></category>
		<category><![CDATA[矛盾]]></category>
		<category><![CDATA[科学]]></category>
		<category><![CDATA[纯粹理性]]></category>
		<category><![CDATA[逻辑]]></category>
		<category><![CDATA[量子]]></category>

		<guid isPermaLink="false">http://blog.wujiewen.com/?p=512</guid>
		<description><![CDATA[偶尔读读康德(Immanuel Kant)的&#60;纯粹理性批判&#62;, 加上最近又在解答本科生的&#60;逻辑与计算&#62;课程问题时重温了下ZFC集合论的一些基本问题, 再次觉得知识是互通的. 这种感觉虽在我大学的时候就初具雏形, 但直到研究生了才激起了我的兴趣,于是将随时想到的东西都记下来(现在我装了twitter). 当然,有些想法可能都缺乏考虑,但是不作为正规的学术文章发表,自己跟自己讨论讨论还是没有问题的. 不得不说康德的书真难读,加上可惜不懂德文,不可以直接读原著,只能读英译本(实在是翻的一般)&#8230;不过康德的这本传世之作实在是太震撼了,稍微看懂一点点其中的思想都可以让我思考半天,因此就不在乎翻译水平怎么样了. 刚才查哲学词典,才发现康德的第一批判(本书被哲学家们成为第一批判,而第二批判是&#8221;实践理性批判&#8221;,第三批判是&#8221;判断力批判&#8221;)是公认的史上最难懂的书籍之一,看来我读的这么费劲也是正常的了&#8230; 首先关于标题的中文翻译: 为什么叫做&#8221;纯粹理性批判&#8221;,而不是&#8221;纯粹推理批判&#8221;(Critique of Pure Reason)之类哦? 其次是最有趣的所谓&#8221;二律悖反&#8221; (antinomy): 我实在不知道为什么最初的中国翻译家在翻译翻译成为这个术语&#8230;.这是我跳读的章节,十分有趣,以前居然没有读过! 关于先验知识系统以及二律悖反: 首先需要说明的是这个讨论的前提: 康德之前的哲学流派主要是笛卡尔和莱布尼茨等理性主义派(典型的数学家),以及洛克,休谟和贝克莱等经验主义大哲学家,大家们肯定都是维护自己的学派和主张,因此吵吵个不停,康德本身应该读了不少休谟的经验主义之作, 但是他试图找到一条综合两个流派的路线,那就是纯粹理性的路线. 所谓纯粹理性,就是先验(a priori)理性:可不可以脱离经验以及其衍生物来进行推理,即所谓的先验的知识. 关于先验的知识,这个概念是很复杂的: 首先这些知识必须是&#8221;给定的&#8221;,也就是说形而上学必须是预先存在人的思维里的. 人类理性是不断发展的,而且是由于它本身的需要才发展到一些不能用经验的知识来解释的问题.因此在人类的思维里应该存在一些形而上的理性. 康德用transcendental philosophy来指代这么一个系统:它拥有所有的先验知识,这些知识超出自然以及物质,经验等等的范畴. 同时,也是非常重要的:这个系统必须是完备的,也就是说所有的先验知识都在系统里面. 下面就是我的疑问了:这个系统是如此的强大,它包含了人类所有知识的根源,那么它的表达能力必定在皮亚诺数学系统的表达能力之上无数倍, 同时它还是是完备的,那么根据哥德尔的不完备性定理,这个系统必定内含矛盾,那么这个系统当然可以推出一个命题P,也可以推理出P的逆命题,所以所有的二律悖反当然都可以得出来.也就是说基于这个系统的推理是不可靠的. 进一步思考:假设人类知识都来源于一个类似的系统,那么人类的知识如果是完备的,那么我们的人类理性就是不可靠的! 当然也有可能是人类的知识不是完备的(那么显然有很多知识人类永远也不可能了解),那么也就是说康德的这个系统是不存在:因为它不可能完备到集合了所有人类的最根源的先验知识. 再进一步假设: 我以上的分析是基于哥德尔的理论,但是要知道哥德尔也是人啊&#8230;他的所有知识最初也是来源于先验知识以及经验知识,那么哥德尔基于这些知识得出了不完备性定理,那么定理本身是不是正确可靠的也很难说了,从现在开始,我假设哥德尔的定理是正确的.同时,我还是遵照康德的理论,默认存在一个无比强大的,完备的人类先验知识系统 [太矛盾了...无语]. 然后就是所谓的二律悖反了,其实就是说2个互为逆的命题都可以说得通. 其实这在古代哲学是很正常的现象,哲学宗师苏格拉底.芝诺等等不都是诡辩天才吗?无论是正是反,他们都可以说出一堆堆的理由,所以二律悖反对他们来说是易如反掌.不过,康德在这里提出的是关于人类最想知道的秘密,也是最近几个世纪来无数的科学家为之奋斗的,人类最基本的那些问题,比如:宇宙有开始吗? 下面的二律悖反翻译本来是我打算从百度上拷贝并做修改的,因为字太多了,懒得打&#8230;结果发现跟原文不大一样&#8230;可惜维基百科上没找到&#8230;还是得自己打字&#8230; 第一组二律背反. (1)&#60;时间有起点并且空间是有限的&#62; 这个的反命题就是(2)&#60;宇宙没有起点, 空间也是无限的&#62; 康德是用的普通的反证法进行证明命题(1)：假设宇宙在时间上是无限、没有开端的,那么在每一个时间点上(比如到目前为止),都有永恒或者说无限的时间序列已经结束了,也就是说这个宇宙有一个无限序列的动作和状态已经逝去了.无限是不可以用连续的组合来实现的(我的疑问:那么在数学上比如说集合论上,我们认为无限是可以用序列来组合的吧?当然,这个序列是有起点的,那么时间的无限性是必须体现在没有起点也没有终点吗?可不可以有起点但是没有终点?比如Axiom of Choice,无限的组成取决于这个序列的形成方式,需要进一步探讨). 因为不可能有无限的时间序列已经过去这么一个事实,因此宇宙必须有起点. [时间有起点] 假设宇宙是无限的,那么宇宙的边际是不可以度量,甚至也是不可以想象出来的,那么要思考宇宙,只有采取填充的方法,从最基本的单位开始添加到它本身以求达到宇宙本身(我的疑问:物理学家们尚未就粒子是不是无限可分达成一致,这个最基本的单位到底存在与否还是个大问题...).如果我们有一个无限的宇宙,那么这样一个连续的叠加过程肯定已经完成了,也就是说这个过程把宇宙中无限的事物都枚举光了(康德的言下之意是:否则宇宙怎么可能存在? 我的疑问:按照霍金等的说法, 宇宙在膨胀,是不是可以视为这样一个叠加的过程总是在进行,也就是宇宙是没有边际的,它还没有达到无限?), 那么这样一个无限过程的完成必然使得一段无限的时间已经过去了,但是刚才我们已经证明了时间不可能是无起点的. 所以产生了矛盾. [空间是有限的] http://blog.wujiewen.com/2008/%E5%9F%BA%E7%A1%80%E7%90%86%E8%AE%BA/%E5%93%A5%E5%BE%B7%E5%B0%94%E7%9A%84%E4%B8%96%E7%95%8C/]]></description>
		<wfw:commentRss>http://blog.wujiewen.com/2010/%e6%9d%82%e8%b0%88/%e7%ba%af%e7%b2%b9%e7%90%86%e6%80%a7%e6%89%b9%e5%88%a4%e5%8f%8a%e7%9b%b8%e5%85%b3%e9%97%ae%e9%a2%98%e7%9a%84%e8%ae%a8%e8%ae%ba/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>&#8220;形而上&#8221;之上【待续】</title>
		<link>http://blog.wujiewen.com/2009/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%bd%a2%e8%80%8c%e4%b8%8a%e4%b9%8b%e4%b8%8a%e3%80%90%e5%be%85%e7%bb%ad%e3%80%91/</link>
		<comments>http://blog.wujiewen.com/2009/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%bd%a2%e8%80%8c%e4%b8%8a%e4%b9%8b%e4%b8%8a%e3%80%90%e5%be%85%e7%bb%ad%e3%80%91/#comments</comments>
		<pubDate>Sun, 01 Nov 2009 21:08:30 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[且行且吟]]></category>
		<category><![CDATA[基础理论]]></category>
		<category><![CDATA[Aristotle]]></category>
		<category><![CDATA[亚里士多德]]></category>
		<category><![CDATA[伦理学]]></category>
		<category><![CDATA[哲学]]></category>
		<category><![CDATA[圣人]]></category>
		<category><![CDATA[形而上学]]></category>
		<category><![CDATA[柏拉图]]></category>
		<category><![CDATA[真理]]></category>
		<category><![CDATA[科学]]></category>
		<category><![CDATA[美学]]></category>
		<category><![CDATA[美德]]></category>
		<category><![CDATA[苏格拉底]]></category>

		<guid isPermaLink="false">http://blog.wujiewen.com/?p=272</guid>
		<description><![CDATA[&#8220;形而上者谓之道，形而下者谓之器&#8221; &#8212;周易*系辞上 一虚一实,一个抽象(思维和方法等之谓&#8221;道&#8221;的东西)一个具体(有形体的&#8221;器&#8221;),一个宏观一个微观(相对而言). 或许你跟我一样，经常听到别人说&#8221;形而上学&#8221;, 类似的哲学问题听起来很晦涩, 却也是很有意思的问题,比如学计算机的大概都知道知识工程中十分重要的概念&#8221;Ontology&#8221;原本是哲学中的&#8221;本体论&#8221;问题. 哲学是所有科学的基础,&#8221;应作如是观&#8221;. 东方哲学源远流长，流派众多，各有所长，而儒学集各派大成，因此孔圣人才有“大成至圣先师”的封号。然东方哲学不仅没有成为现代科学的基础，不少哲学思想反倒成了现代社会迷信和迂腐的根源，典型的例子就是《周易》成了易学宝典，也就是算命指南吧。西方哲学的历史不比东方哲学短，与孔圣差不多的就有毕达哥拉斯等前苏格拉底哲学大师。当然，最为人熟知的西方哲学圣人就是苏格拉底以及同时代和稍后的柏拉图以及亚里士多德了。无论东方或者西方，早期的哲学都是文艺或者文化的象征，而后期随着后来科学的重要性日益明显，哲学开始隐身于舞台之后，成为了促进科学发展的幕后力量。 亚里士多德将科学划分为3大类。 生产科学。这是人类最基本的生产需求所决定的。人类为了生存，不得不制造某些东西，在此过程中，人类获取经验，从而形成不同的科学分支，比如建筑学等。亚里士多德还将艺术和修辞学也归在此。因为艺术是生产让人觉得漂亮的物体的生产科学；修辞则是“生产”精确的言论的科学。总之，生产科学旨在生产某些物品，而出产的物品决定了学科的范畴。 实用科学。这个分类的科学不生产实际的物体，但是它旨在描述适当的行为，因此是行为科学。比如，研究人类个体幸福的科学就是伦理学，也就是研究什么样的行为对于一个个体是正确的，是好的。政治学，则针对整个人类，来描述政府和社会如何采取适当的行为。 理论科学。当人类满足了基本的需求，就会对行为和生产之外的东西感兴趣，那么人类就开始对理解能力以及真理本身产生兴趣。人类为了追求知识而开始追求知识，没有特殊的理由。在亚里士多德看来，追求真理或者知识本身不见得有多高尚，而不过是因为人类自身的一类需求而已。说的粗俗点，就是吃饱了撑的。值得说明的是，在这一点上，东方哲学是不一样的，特别是儒家，认为对真理的追求是最高尚的，而其他的科学，特别是基于体力劳动的生产科学是极度轻视的，孔圣自己四体不勤五谷不分，还在这点上贻害了整个中华民族数千年，导致多少年来文人总是瞧不起商人，农民等其他阶层的人。而封建社会治国的也多是文人，真是“万般皆下品，唯有读书高”的活生生写照。看看现在的中国社会，这一点貌似有了变化：读书不再是“高”，有钱才是本领。但是这不是一个改进，而是一个阶段式的“笑贫不笑娼”式的畸形发展，中国受儒家影响的这一观点是植根于社会和人心的，不会因为共产党的60年统治就消失殆尽。理论科学主要研究三类实体。 首先研究那些可分隔但会变化的实体。这些实体不依赖于其他实体而存在。比如当我们谈到地球的存在时，我们不需要借助其他实体来说明地球的存在。但是有的实体是依附其他实体的，比如颜色。颜色的存在取决于有颜色的某样东西，它是不可以独立存在的。不会变化的实体是指不被产生也不被毁灭，并且也不被更改的实体，比如亚里士多德认为天地间的“以太”，虽然现在知道这是错误的不存在的东西，但是亚里士多德认为类似于此类东西是不变化的。我们的生存环境就是不断变化的。自然界的一切，包括人类，动物，岩石等等，都是第一类实体。研究这些实体的理论科学就是自然科学，或者叫第二哲学。 第二类实体是那些可分隔又不变化的。研究这类实体的科学就是第一哲学，也就是我们所说到的“形而上学”。形而上学研究的是物体的存在以及探索它们存在的理由。在亚里士多德看来，第一哲学是最基本的科学，所有其他科学都屈居其下，因为形而上学研究的就是“是什么”，形而上学本身不依赖于任何其他科学，它的真理是所有科学的基石。 第三类实体是研究不可分隔但是不会变化的实体，比如数字和图形等。这些研究就是我们的数学。比如算术研究数字，几何研究图形。数字图形等为什么不是可分隔的？因为亚里士多德认为数字比如5之所以存在，是因为世界上至少有5个物体可供数（count），图形的存在也是因为有具体的物体展示之类图形。要理解数字和图形，我们必须借助其他物体，因此它们不可分隔。 第一哲学和第二哲学研究的都是物质。第一哲学研究物质的最普遍性质，而第二哲学研究物质的本质。 ============================ 参考资料 我的观点无非是对他人的(我赞同的)观点进行加工和综合而成. 显然,这也代表了我个人的哲学观点,毕竟我也只会维护自己所欣赏的观点(借用我导师的话: 科学有无数的派系, 就跟宗教一样, 而每个科学家都不过是为自己的教义做着辩护的教徒。诚如罗素侯爵说的“如果不带偏见的人的确存在的话”。。。). 主要的参考资料有如下: 1. 维基百科(英文) wikipedia 2. Aristotle: a guide to the perplexed 3. 朱光潜&#60;西方美学史&#62;]]></description>
		<wfw:commentRss>http://blog.wujiewen.com/2009/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%bd%a2%e8%80%8c%e4%b8%8a%e4%b9%8b%e4%b8%8a%e3%80%90%e5%be%85%e7%bb%ad%e3%80%91/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>哥德尔的世界</title>
		<link>http://blog.wujiewen.com/2008/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%93%a5%e5%be%b7%e5%b0%94%e7%9a%84%e4%b8%96%e7%95%8c/</link>
		<comments>http://blog.wujiewen.com/2008/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%93%a5%e5%be%b7%e5%b0%94%e7%9a%84%e4%b8%96%e7%95%8c/#comments</comments>
		<pubDate>Wed, 31 Dec 2008 20:46:59 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[基础理论]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[Hilbert]]></category>
		<category><![CDATA[incomplete theorem]]></category>
		<category><![CDATA[伟人]]></category>
		<category><![CDATA[哥德尔]]></category>
		<category><![CDATA[哲学]]></category>
		<category><![CDATA[科学家]]></category>
		<category><![CDATA[逻辑学]]></category>

		<guid isPermaLink="false">http://blog.wujiewen.com/?p=15</guid>
		<description><![CDATA[8/21/2007 ➴ 哥德尔的世界 1 流浪 希尔伯特的整个数学世界的形式化垮台(尽管我很崇拜希尔伯特，我更敬佩哥德尔)，哥德尔的不完备性在整个科学理论界，从哲学到数学，从认知科学到生物科学， 可以说是被“泛滥”地应用了。上次在W3C论坛看到一个讨论关于能否让计算机突破不完备性的限制，有位版主的回答很让我思考了一下，他说不完备性限制的仅 仅是形式系统，如果可以建立形式以外的系统，说不定就成功了。回过头来，从哥德尔的理论产生的年代看起，其实有过不少类似的讨论，只是我以前看的那些皮毛 都是被人家转述过的，怎么也得被中间人添加了些不同的东西。现在按照我闲暇时间的看书进度把我仔细阅读歌德尔的传记而理解的东西记录下来，将来在参考一 下。 30年代初美国教育家Flexner用新泽西百货大楼继承人投资的三千万企图建立一个“让没用的知识有用化”的学校。他实际上创建的 是一个纯思想家的殿堂，位于普林斯顿的红砖墙内的象牙塔,名字就叫高等研究院IAS，网址：http://www.ias.edu。用他自己的思想，那就 是数学家或者纯理论家好养活，呵呵，一些人，一些书，黑板，笔和纸就成了那些疯狂的思想家的全部。1932年IAS就招收了世界上驰名的2位大科学 家，Veblen和爱因斯坦。后者是不用多说的，我只能够说纳粹德国成就了美国的科学技术（有位美国教育家就曾经说过：“希特勒在那里摇树，我在下面捡苹 果。”便宜了那些美国佬）。前者之出名不亚于爱因斯坦，他就是Church的导师，按照我刚才查看的数据，他在数学家族谱上有5545个弟子！ （Church的成就我就不说了。。。Church还是图灵的导师。。。真是江山代有人才在啊。。。）与此同时，匈牙利的冯诺伊曼也到了新泽西，并开始制 造第一台计算机，这让Flexner倡导的“纯理论”大学的承诺不攻自破。爱因斯坦当时跟Flexner要年薪3000，结果Flexner给他的年薪是 16，000。那个时候，爱因斯坦的名气之大，以至于当时的人们都叫普林斯顿高等研究院为“爱因斯坦学院”。 歌德尔去普林斯顿讲学的时候 还不是很出名(1934)，至少跟爱因斯坦比还差的远。但是在普林斯顿，爱因斯坦经常跟歌德尔散步讨论问题，他们也可以说是忘年交阿，据爱因斯坦的助手 Straus回忆，他们2个很不相同，却建立了深厚友谊，对对方都是十分赞赏。歌德尔的思维在常人看来也是怪异的，估计这也和爱因斯坦本人对上号了。呵 呵，这里还记载了一则笑话。1953年爱因斯坦跟Straus说：“你知道不，歌德尔是完全疯了。”Straus回答他说：“他还能更糟糕么？”爱因斯坦 说：“能，他居然投票给了艾森豪威尔”。 歌德尔在23岁那年就证明了后来轰动世界的不完备性理论，那年是1930。他的这一成就是与海森 堡的不确定理论，爱因斯坦的相对论三足鼎立的，一起撼动了整个纯粹科学的根基。不完备性的出现对于数学领域是一个噩梦：数学不再是领悟宇宙和一切的语言， 不再是神的语言，而成为了20世纪科学界不确定思潮的一部分。在歌德尔的世界里，没有任何东西的出现是偶然的；没有哪个系统是建立在不变化的基础上的；真 理都是虚构的。当时甚至有作家称歌德尔是数学界的魔鬼。 ➴ 哥德尔的世界 2 数学／科学的客观性 天才在常人看来都是疯子。哥德尔在别人的眼中是固执而高傲的，而跟他关系最好的科学家就是爱因斯坦。有一次普林斯顿举行晚宴，天体物理学家Bahcall自 我介绍给哥德尔时，告诉哥德尔他自己是物理学家，哥德尔淡淡回复了一句被后人视为他的名言之一的话：“我不相信自然科学”。确实，哥德尔痛恨的就是随机的 东西，在逻辑的世界里，他要杜绝没有规律的东西。哲学家Nagel回忆说哥德尔不相信进化论，因为他是极端的二元论者。哥德尔甚至跟Nagel说斯大林也 不相信进化论，但斯大林却是很聪明的一个人，让对方哑口无言。乔姆斯基（学编译的都知道乔姆斯基文法，语言学家），呵呵，也尝试过哥德尔的厉害。乔姆斯基 问哥德尔最近在忙什么，哥德尔的回信恐怕是自从17世纪莱布尼茨到当时都没有人敢说的：“我在试图证明自然界遵循先验的规律。。。”爱因斯坦也说过哥德尔 是不相信经验的，但是他和哥德尔的友谊确实最深厚的，他们两人基本上除了对方外，不再跟其他科学家谈话。 牛人总是喜欢和牛人呆一起。。。 爱因斯坦晚年去普林斯顿的办公室，不过是为了能够和哥德尔说说话 。而哥德尔在1955爱因斯坦逝世后基本上就不再跟什么人说话了。。。他那种学术流浪的感觉也达到顶峰（他1945年归化了美国籍）。。。爱因斯坦跟哥德 尔一样，执著而固执，他晚年思想开始保守，甚至一直不接受量子物理，因为究其本质，量子物理是随机的。但是实际上量子物理只不过是他自己的相对论的逻辑外 延而已。。。不过更准确地说，爱因斯坦最特立独行的是对主观性的排斥：他的相对论不是对物理的主观性解释，而是独立于人类的、主观的时空观的。他的相对论 不是作为事物的度量而提出的（这就是俺们普通人的时空观和对相对论的应用，而实际上跟爱因斯坦自己的理解是不同的。。。）。他跟哥德尔一样隶属数学的柏拉 图主义，对抗普罗塔哥拉主义（这个学派认为人才是一切事物的度量）。柏拉图主义强调理论是独立人类而存在的，不管人类研究不研究，它们总是存在的。可笑的是，还有人举着他们两的旗帜大肆攻击客观主义，显然是啥都没弄懂。。。爱因斯坦在晚年的时候转而依靠哲学似的信仰来解脱自己的学术排斥感，这也是为什么他跟“怪人”哥德尔很有共性的原因吧。。。 哥 德尔的理论不是他的数学观，而是他的哲学观。这是一个令人乍舌的结论。但仔细想想，正是他的理论改变了逻辑和数学的许多领域。很显然，我现在的研究方向， 一个逻辑的小领域，使用的模型理论就是哥德尔的证明中使用的。此外递归理论也是始于他的证明。很可惜的是，希尔伯特鼓吹的很多领域，在哥德尔理论中显得那 么微不足道，以至于慢慢被遗弃了。悖论是推理中的暗礁，哥德尔的逻辑，甚至他自身就有悖论。。（实际上不少逻辑悖论都是因为自引用形成的，不信翻下悖论 集）然而正是这些悖论的巧妙应用在了他的证明里，这些引导我们从另外一个角度看待问题：人类的数学头脑可以绕过人造系统的局限，而捕捉到了真理／知识／确 定性的本质！ 今天就写这么多。。。以后就可以看到这位年轻的逻辑学家的不寻常的生平了。。。。 ➴ 哥德尔的世界 3 维也纳圈 [...]]]></description>
		<wfw:commentRss>http://blog.wujiewen.com/2008/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%93%a5%e5%be%b7%e5%b0%94%e7%9a%84%e4%b8%96%e7%95%8c/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
	</channel>
</rss>

