何が計算機かということを考えるとき，単純に特定の計算を行っているとみなすことのできるハードウェア・ソフトウェア（と捉えると森羅万象は計算機になってしまうわけだが，），狭義の計算機といえば，チューリング完全である言語を処理できるハードウェア・ソフトウェアであるか，が判断基準だと私は考えている．

さて，チューリングマシンは「計算する人間」の「計算をすること」をチューリングマシンで置き換えることを想定して作られた機械であるが，

「計算する人間」をチューリングマシン上で実行することを考えたら，それは「チューリングマシンを実行可能な万能チューリングマシン」ではなく，「計算する人間を実行可能」な「万能に計算する人間マシン」であって，遊びながら，これがAGIを目指すことなのだ，と段々とわかってきた．（人間以外もモデリングできる万能世界マシンがAGIなのかもしれないけれど）．人間は自然言語で定義された曖昧な計算を実行できる人間マシンなので，それをどうやって言語的に作られたソフトウェアで実行していくかを考えることは興味深い．（これは言語的抽象化や言語的な演算を考える上で面白い）