博文
重要的数学定理
|||
下午坐在会议室里，忽然灵光一闪，想到如果把被至少一个定理的证明用到的定理称为重要的数学定理，那么考虑所有重要的数学定理，它们依其相互依赖的关系构成一个庞大的有向图，并且所有顶点的出度至少为一。于是根据图论中的结论，这样的有向图中必存在一个有向圈。这意味着在所有重要的数学定理构成的繁复精巧的体系中，一定存在循环论证。我隐隐地觉得我要成功了......
https://wap.sciencenet.cn/blog-955996-803585.html
上一篇：网络社交的为难
下一篇：晚上去采荸荠吗
扫一扫，分享此博文