17
第二部：EGB第 17 章
丘奇、图灵、塔斯基与他人
丘奇-图灵论题：宇宙是计算机吗？
丘奇-图灵论题说凡可计算之事皆可由图灵机完成。若心智是物理过程，它也可被模拟。本章讨论其哲学含义：宇宙是否只是巨型计算机？意识是否只是特定的软件？
选择程序（算法）
磁带（内存）
|
0
0
1
读写头
1
2
1
3
4
5
6
7
8
9
10
11
|
12
内部状态
当前状态START
最近动作程序 A 已加载。把一个二进制数加 1（如 011 → 100）
规则簿（程序 A）IF 状态 + 符号 THEN 写入 + 移动 + 新状态
START+'|'
→
'|'+▶+START
START+'0'
→
'0'+▶+START
START+'1'
→
'1'+▶+START
START+'_'
→
'_'+◀+INC
INC+'0'
→
'1'+▶+DONE
INC+'1'
→
'0'+◀+INC
INC+'|'
→
'|'+▶+DONE
DONE+'0'
→
'0'+▶+DONE
DONE+'1'
→
'1'+▶+DONE
DONE+'_'
→
'_'+▶+START