Veritas Lux Mea [真理乃吾光]
偶尔读读康德(Immanuel Kant)的<纯粹理性批判>, 加上最近又在解答本科生的<逻辑与计算>课程问题时重温了下ZFC集合论的一些基本问题, 再次觉得知识是互通的. 这种感觉虽在我大学的时候就初具雏形, 但直到研究生了才激起了我的兴趣,于是将随时想到的东西都记下来(现在我装了twitter). 当然,有些想法可能都缺乏考虑,但是不作为正规的学术文章发表,自己跟自己讨论讨论还是没有问题的.
“形而上者谓之道，形而下者谓之器”
—周易*系辞上
一虚一实,一个抽象(思维和方法等之谓”道”的东西)一个具体(有形体的”器”),一个宏观一个微观(相对而言). 或许你跟我一样，经常听到别人说”形而上学”, 类似的哲学问题听起来很晦涩, 却也是很有意思的问题,比如学计算机的大概都知道知识工程中十分重要的概念”Ontology”原本是哲学中的”本体论”问题. Read more…
8/21/2007
希尔伯特的整个数学世界的形式化垮台(尽管我很崇拜希尔伯特，我更敬佩哥德尔)，哥德尔的不完备性在整个科学理论界，从哲学到数学，从认知科学到生物科学， 可以说是被“泛滥”地应用了。上次在W3C论坛看到一个讨论关于能否让计算机突破不完备性的限制，有位版主的回答很让我思考了一下，他说不完备性限制的仅 仅是形式系统，如果可以建立形式以外的系统，说不定就成功了。回过头来，从哥德尔的理论产生的年代看起，其实有过不少类似的讨论，只是我以前看的那些皮毛 都是被人家转述过的，怎么也得被中间人添加了些不同的东西。现在按照我闲暇时间的看书进度把我仔细阅读歌德尔的传记而理解的东西记录下来，将来在参考一 下。
Read more…
 |
 |
 |
Copyright © 2010 Wu Jiewen’s Blog — 吴杰文的博客 Jiewen Wu©All rights reserved. Theme by Laptop Geek.