>>708
だからここは哲学板でもないし、数学の哲学のスレでも無いよ、というのはまあ別の話として、

「俺は普通数学しか研究してないけど」に対して
それなら口を挟むな、というレスがあったわけで、
それなら形式的証明に関して研究している人
（そういう人を工学者と呼ぶか数学者と呼ぶかはまあ呼び方の問題ね
中村教授が工学部の人であるのは間違いないけど）
しかレスするな、と言ってるのかな？と疑問を持つのは自然な事だと思いますが