「計算する（compute）」という述語はほぼ誰もが知っていて、実際に私たちは計算することができる。計算するとは、チューリング・マシーンを使うのであれば、左右に限りなく伸ばすことのできるテープの上の一つのマス目に0か1の数字、あるいは空白をつくる

続きを読む