更改
跳到导航
跳到搜索
第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]》一书）。