>再帰と現実の計算の間にチャーチの提唱とかいう単なる信念が入ってたの忘れたの？
そういうことは、現実的な意味で計算可能なのに再帰的でないような関数を
具体的に与えてみてから言ってくれ。
これまで誰もそういう関数を見つけられなかったからそのテーゼが受け入れられてるわけで。

あと、数学では証明を要する命題と、議論の前提となる証明不要の命題の間に
明確な区別がある、というのは明らかで、歴史的にはどうというのは昔の話。
今では、原理的には、定理の証明の正誤を計算機で判定できるレベルまで
形式的に書けるレベルの厳密さは担保されてる。

>>666
そのレビューについて言えば、レビュアーが難癖付けてるだけ