「任意に与えられた問題を解くアルゴリズムが用意されれば、理論は完成したと言えるだろう。その意味で、理論の完成はときには理論の死に直結する」「ヒルベルトのプログラ ...