更改

一个自然数集合称为'''[[递归可枚举]]的（recursively enumerable, 简写为r.e.）'''，如果存在一台机器能把它的元素'''一个一个地全部列出来'''（允许重复、允许乱序；不在集合里的元素永远不会被列出）。等价地，r.e. 集就是某个程序'''有定义的输入的集合'''（即 <math>\phi_e</math> 的定义域），记作 <math>W_e</math>。典型例子："所有会停机的 (程序,输入) 对"构成的集合（[[停机问题]]集合 <math>K</math>）是 r.e. 的，但它的补集不是——这正是"[[停机问题不可判定]]"的现代表述。

一个自然数集合称为'''[[递归可枚举]]的（recursively enumerable, 简写为r.e.）'''，如果存在一台机器能把它的元素'''一个一个地全部列出来'''（允许重复、允许乱序；不在集合里的元素永远不会被列出）。等价地，r.e. 集就是某个程序'''有定义的输入的集合'''（即 <math>\phi_e</math> 的定义域），记作 <math>W_e</math>。典型例子："所有会停机的 (程序,输入) 对"构成的集合（[[停机问题]]集合 <math>K</math>）是 r.e. 的，但它的补集不是——这正是"[[停机问题不可判定]]"的现代表述。

=== "不动点"的两种含义（重要！） ===

==="不动点"的两种含义===

"[[不动点]]"在本文中出现于两个截然不同的层面，混淆它们是最常见的理解障碍：

"[[不动点]]"在本文中出现于两个截然不同的层面，混淆它们是最常见的理解障碍：