数学は厳密であってナンボだと僕は勝手に考えていた。例えば無量大数の桁まで成り立つことがコンピュータによって確認されようが、無限が証明されたことにはならない。 素数が無限にあることは証明されているが、例えば双子素数が無限にあるのか、完全数は無…