計算とはなにか、計算可能であるとはなにか、計算機とはなにか。ゲーデルは帰納的関数を構成し、チャーチはラムダ算法を編み出し、チューリングはチューリングマシンを示した。一方、現代人はDOOMが動くことをもってそれとした。