-
丘奇定理：没有一个切实可靠的方法总能区分开TNT的定理和非定理。 塔斯基-丘奇-图灵定理：没有一个切实可靠的方法总能区分开真的数论语句和假的数论语句。 ----------------------------------------------------...
-
中心法则映射 分子生物学and数理逻辑 看到本世纪所获得的知识中，两个极其深奥而又十分重要的进展如此深刻地分享了这样一种抽象的结构，简直会让人感到有什么及近乎神秘的东西存在。中心法则映射无论如何不是不是...
-
在一个给定的系统中，能否可以理由哥德尔的自指方法构造一个不可判定的符号串，依赖于三个基本事实： 1、该系统要足够丰富，以便全部所需要的有关数的陈述，无论真假，都能在其中表示。 2、所有的一般递归关系都...
-
1931年哥德尔的论文是把“TNT”换成了“《数学原理》” “某些TNT符号串能解释成在谈论另一些TNT符号串，简言之，作为一种语言，TNT有能力‘自省’，或者说自我审视” -----------------------------------------...
-
“一个充分复杂以至能反映自身的有序系统不可能是完全有序的——它必定包括某种奇特的无序特征” "如果建立了一个实数‘登记表’，他就不可避免的要把某些实数拒之门外——因此，实际上‘一个完全的实数登记表’...
-
“为什么‘符号A和符号B触发了符号C’比‘神经元183通过神经元612刺激了神经元25并导致了它的发射’要好一些？”..."符号是概念的硬件实现。一组神经元触发另一个神经元并不对应于外部事件，而一些符号对某个符号...
-
“在机器语言层到智能的层次之间，我认为可能还需要十几层或者几十层。” “你编程序的语言层次越高，你越无法精确地知道你让计算机所干的事。” 吃饭vs消化过程 “是否存在这样一些思维定律：他们可以’隔离‘...
