21/03/05 23:37:42.34 6JHWPjop0.net
>>681 >>685
完全に完璧な証明を書きおろせば、機械に検証させることもできる。
四色問題など最近の極めて長大な証明は、実際に機械にかけて証明に穴がないことを確認したれもある。
21/03/05 23:37:42.34 6JHWPjop0.net
>>681 >>685
完全に完璧な証明を書きおろせば、機械に検証させることもできる。
四色問題など最近の極めて長大な証明は、実際に機械にかけて証明に穴がないことを確認したれもある。