更改
跳到导航
跳到搜索
第494行：
第494行： + + − |- − ! 标题文字 !! 标题文字 !! 标题文字 − |- − | 示例 || 示例 || 示例 − |- − | 示例 || 示例 || 示例 − |- − | 示例 || 示例 || 示例 − |} − − {| class="表 1:图灵停机问题与哥德尔定理的比较"
→图灵停机问题与哥德尔定理之间的比较
下面，我们就来比较一下图灵停机问题以及哥德尔定理证明过程中所用到的共同的自指技巧，请看下表1。
下面，我们就来比较一下图灵停机问题以及哥德尔定理证明过程中所用到的共同的自指技巧，请看下表1。
<div style="text-align: center;">表 1:图灵停机问题与哥德尔定理的比较</div>
{| class="wikitable"
{| class="wikitable"
|-
|-
! 比较条目 !! 图灵停机问题 !! 哥德尔定理
! 比较条目 !! 图灵停机问题 !! 哥德尔定理