[3/3] 《7旬保洁爷爷因数学手稿火爆全网 谈痴迷数学的缘由:证明定理的快乐 胜过中500万!》我想告诉这位爷爷,用电脑(交互式定理证明器)来证明数学定理比在纸上证更快乐,因为你在纸上证不会有相关专家闲没事来帮你检查,他们十有八九会当你是民科,而你的证明十有八九有错误,最后也就自己图个乐罢了。可要是在某个定理证明器里证出来了,别人检查起来很容易,这些代码可以提交到公共库里,造福后人。

https://postimg.cc/K1bz1qGS

Reply to this note

Please Login to reply.

Discussion

No replies yet.