それを解決するには、すべての研究が究極的には厳密な論理チェッカーでチェック済みに…

それを解決するには、すべての研究が究極的には厳密な論理チェッカーでチェック済みになる。というのが理想としてありえるという思いがある。現実は難しく、その分野があまり発展していないことを見ると気も弱くなるけど、でも理想としては私は今も抱いている。
JRF 2008年1月11日