ニセ科学批判とかあるけど、私はコンピュータ上で論理をチェック済みの証明というもの…

ニセ科学批判とかあるけど、私はコンピュータ上で論理をチェック済みの証明というものを研究していたから、その立場からすると、チェックのない理論というのは、ニセ科学も同じじゃないかというのはある。
JRF 2008年1月11日