■数学の証明って

プログラムなら動かせば、ちゃんと動いてるかどうかわかるじゃん。

バグがないって証明は出来ないけど、とりあえず。

数学の証明って、長大な証明でも人間が目で追いかけて正しいかどうか判断しないといけないんでしょ？

めっちゃ大変だね。

Permalink | 記事への反応(0) | 10:42

ツイートシェア