3,094
个编辑
更改
→直观图景：程序如何"谈论"自己的代码
|-
|-
| '''自指的载体'''
| '''自指的载体'''
| 字符串 `c`（程序的源码）
| 字符串 <math>c</math>（程序的源码）
| 编号 e（程序在 <math>\phi</math> 枚举里的下标）
| 编号 <math>e</math>（程序在 <math>\phi</math> 枚举里的下标）
|-
|-
| '''载体在哪里被引用'''
| '''载体在哪里被引用'''
| `print(c % c)` 把 c 嵌入 print 的实参
| `print(c % c)` 把 c 嵌入 print 的实参
| <math>\psi(x) = \phi_{S(x,x)}</math> 把 e 作为通用函数的下标
| <math>\psi(x) = \phi_{S(x,x)}</math> 把 <math>e</math> 作为通用函数的下标
|-
|-
| '''构造方向'''
| '''构造方向'''
| 先有具体 f（= Print），再造 c（c 的代码里嵌入 f 的引用）
| 先有具体 <math>f</math>（= Print），再造 <math>c</math>（<math>c</math> 的代码里嵌入 <math>f</math> 的引用）
| 先有具体 f（§5.3 假设中任意一个），再造 c（c 由对 f 套 SRT 得到）
| 先有具体 <math>f</math>（§5.3 假设中任意一个），再造 <math>c</math>（<math>c</math> 由对 <math>f</math> 套 SRT 得到）
|-
|-
| '''目的'''
| '''目的'''
| 让 c 的输出 = c 的源码
| 让 <math>c</math> 的输出 = <math>c</math> 的源码
| 让 <math>\phi_c</math> 等价于 <math>\phi_{f(c)}</math>
| 让 <math>\phi_c</math> 等价于 <math>\phi_{f(c)}</math>
|-
|-
| '''得到什么'''
| '''得到什么'''
| 一个具体程序（f = Print 时的不动点）
| 一个具体程序（<math>f =</math> Print 时的不动点）
| 一个具体程序（这个 f 的不动点 c），且这个 c '''依赖 f'''（不同 f 给出不同 c）
| 一个具体程序（这个 <math>f</math> 的不动点 <math>c</math>），且这个 <math>c</math> '''依赖 <math>f</math>'''（不同 <math>f</math> 给出不同 <math>c</math>）
|}
|}