热度排名 #1741

怀尔德伯格谈“证书”：计算结果怎样交给别人核查？

Computer Science is more rigorous than Pure Maths: the case for certificates | N J Wildberger

听讲时留意，找到答案可能很费力，验证一个已经给出的答案却有时容易得多。试着为自己熟悉的一道题写出可检查的见证。

Insights into Mathematics · 1 串讨论 · 热度 1.723

讨论出处