更改

第309行: 第309行:  
就来简单挖掘一下这个金矿。
 
就来简单挖掘一下这个金矿。
   −
'''1、自我反省的程序(Self-introspective program)'''
+
=====1、自我反省的程序(Self-introspective program)=====
    
我们人类拥有的自由意识最可贵之处就在于意识可以反作用于自己,并时刻知道自己正在干什么。我们说意识具有自我反省的能力。那么,计算机程序能不能具有自我反省的能力呢?对于常见的程序来说,答案是否定的。然而,如果利用递归定理,我们便能创造出知道“自己正在干什么”的程序(具体关于自反省的程序,可以参看《[https://book.douban.com/subject/1437118/ Computability: an introductionto recursive function theory]》一书)。
 
我们人类拥有的自由意识最可贵之处就在于意识可以反作用于自己,并时刻知道自己正在干什么。我们说意识具有自我反省的能力。那么,计算机程序能不能具有自我反省的能力呢?对于常见的程序来说,答案是否定的。然而,如果利用递归定理,我们便能创造出知道“自己正在干什么”的程序(具体关于自反省的程序,可以参看《[https://book.douban.com/subject/1437118/ Computability: an introductionto recursive function theory]》一书)。