|||
下午坐在会议室里,忽然灵光一闪,想到如果把被至少一个定理的证明用到的定理称为重要的数学定理,那么考虑所有重要的数学定理,它们依其相互依赖的关系构成一个庞大的有向图,并且所有顶点的出度至少为一。于是根据图论中的结论,这样的有向图中必存在一个有向圈。这意味着在所有重要的数学定理构成的繁复精巧的体系中,一定存在循环论证。我隐隐地觉得我要成功了......
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-19 22:06
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社