STSさん、以下の2つの書きこみについて、もう少し補足してくれませんか。
興味があります。

>>436
>（前略）既存の計算機科学の研究課題（中略）
>CSの一部研究は否定されなければならないだろう。

>>866
>やがて数理論理学は（中略）いわゆるどれだけ記述できるかという視点から
>構築しなおされるだろう。