集智百科 - 复杂系统|人工智能|复杂科学|复杂网络|自组织

更改

系统中的观察者(5)——自指 (查看源代码)

2016年9月17日 (六) 16:27的版本

删除121字节 、 2016年9月17日 (六) 16:27
→‎图灵停机问题与哥德尔定理之间的比较
第494行： 第494行：     
下面，我们就来比较一下图灵停机问题以及哥德尔定理证明过程中所用到的共同的自指技巧，请看下表1。
 
下面，我们就来比较一下图灵停机问题以及哥德尔定理证明过程中所用到的共同的自指技巧，请看下表1。
 +
 +
<div style="text-align: center;">表 1:图灵停机问题与哥德尔定理的比较</div>
    
{| class="wikitable"
 
{| class="wikitable"
−
|-
  −
! 标题文字 !! 标题文字 !! 标题文字
  −
|-
  −
| 示例 || 示例 || 示例
  −
|-
  −
| 示例 || 示例 || 示例
  −
|-
  −
| 示例 || 示例 || 示例
  −
|}
  −
  −
{| class="表 1:图灵停机问题与哥德尔定理的比较"
   
|-
 
|-
 
! 比较条目 !! 图灵停机问题 !! 哥德尔定理
 
! 比较条目 !! 图灵停机问题 !! 哥德尔定理
取自“https://wiki.swarma.org/index.php/特殊:移动版差异/4925”