前几天看见讨论逻辑,不见有人提起这本书
Gödel, Escher, Bach: an Eternal Golden Braid.
包遵信的现代丛书出过它的简写本。
大开脑洞的插画和关于理论不完备性的证明给大家留下深刻的印象。
那本书在各宿舍传来传去,再也没能回来。
十几年后,买了原版,有了一个新发现。作者在正式引进Gödel 的证明时,
化了一整节讨论 Mumon and Gödel. Mumon 指的是 禅宗的 无门关,
我正是从那时起才真正开始接触四书五经。
我只能把这本书当趣味烧脑读物看,
时不时拿起书温习一下如何比较实数和整数的多少,
或飞矢不动的原理,或完美留声机会自毁,
或"州云无“的形式逻辑及相应的数学游戏。
Escher的画和印度数学怪才会让人觉着六祖的顿悟不是传说。
问一个俗人的问题,Gödel 是不是用严格的数学证明了老子的 道可道。
我觉得 Gödel 不就是证明了自相矛盾才正确吗
一阶逻辑可以用自然数搞定,而自然数真是自然的,除了上帝没有再经过任何有灵生命,而自然数以外的任何数学概念,都是出自人的推理和演绎,无理数,集合,函数,等等,都是人对自然的一种理解。随便想想
可以用路作一比喻,常道就如可以遍历系统里一切点的路。开放或半开半闭系统里,因为会有无法预测的新生事物的创生,所以没有这样一个可以遍历一切及未来的常道。哥德尔定律与此的关系在于,他说,复杂到一定程度的系统里,总是有某种的开放性,不是完美、闭合而自洽。国学的意义在于,面对这类问题,该怎么办。
In the beginning was the Word, and the Word was with God, and the Word was God.
GEB作者引用 无门关 来引导Gödel 证明
使我第开始阅读国学书籍,
最后发现老庄和六祖对口味
你前面关于逻辑一阶高阶,也不是十分明了
但你的表示方式跟我对Godel证明的理解相似
Pulitzer winner.
Author was Scientific American editor
然后庄子那个火苗或者能点着了。
另外,即使把自己已有的思考理清写出来,也没这个精力和时间。但我前面的两个意思是确实在我思考中是有所关联的,但说到“神”肯定在论坛又会引发离题甚远的争论,
前几天看见讨论逻辑,不见有人提起这本书
Gödel, Escher, Bach: an Eternal Golden Braid.
包遵信的现代丛书出过它的简写本。
大开脑洞的插画和关于理论不完备性的证明给大家留下深刻的印象。
那本书在各宿舍传来传去,再也没能回来。
十几年后,买了原版,有了一个新发现。作者在正式引进Gödel 的证明时,
化了一整节讨论 Mumon and Gödel. Mumon 指的是 禅宗的 无门关,
我正是从那时起才真正开始接触四书五经。
我只能把这本书当趣味烧脑读物看,
时不时拿起书温习一下如何比较实数和整数的多少,
或飞矢不动的原理,或完美留声机会自毁,
或"州云无“的形式逻辑及相应的数学游戏。
Escher的画和印度数学怪才会让人觉着六祖的顿悟不是传说。
问一个俗人的问题,Gödel 是不是用严格的数学证明了老子的 道可道。
我觉得 Gödel 不就是证明了自相矛盾才正确吗
一阶逻辑可以用自然数搞定,而自然数真是自然的,除了上帝没有再经过任何有灵生命,而自然数以外的任何数学概念,都是出自人的推理和演绎,无理数,集合,函数,等等,都是人对自然的一种理解。随便想想
可以用路作一比喻,常道就如可以遍历系统里一切点的路。开放或半开半闭系统里,因为会有无法预测的新生事物的创生,所以没有这样一个可以遍历一切及未来的常道。哥德尔定律与此的关系在于,他说,复杂到一定程度的系统里,总是有某种的开放性,不是完美、闭合而自洽。国学的意义在于,面对这类问题,该怎么办。
In the beginning was the Word, and the Word was with God, and the Word was God.
GEB作者引用 无门关 来引导Gödel 证明
使我第开始阅读国学书籍,
最后发现老庄和六祖对口味
你前面关于逻辑一阶高阶,也不是十分明了
但你的表示方式跟我对Godel证明的理解相似
Pulitzer winner.
Author was Scientific American editor
然后庄子那个火苗或者能点着了。
另外,即使把自己已有的思考理清写出来,也没这个精力和时间。但我前面的两个意思是确实在我思考中是有所关联的,但说到“神”肯定在论坛又会引发离题甚远的争论,