>>522
>あとは実装すべき処理に応じて自然に書ける（書きやすい）かどうかという工学的な違いだけです。
>（実用面からはこの違いは小さくありませんが理論上は議論すべき余地はありません。
客観性があろうがなかろうが，そういう所こそ開拓すべき未開地なんだよ．
チューリング完全のような客観的なのは既に学生用の練習問題なんだから．

>>584
>数理論理学とＣＳの関係は、物理学と工学の関係に近い。
>工学が物理学的に”つまらない”からといって廃れないのと同じく
>ＣＳが数学的に”つまらない”からといって廃れることはない。
いや，あなたの言葉を使うと，むしろＣＳは，工学的に（つまり内容的に）
つまらないこと，あるいは既知のことを，数学的衣装でまとうことをやって
いるんじゃないかという心配なんだ．