科学网

 找回密码
  注册
我的研究工作
王杰 2018-8-8 16:26
转眼来北大就一年了,抽空对目前的状态做一个总结。 按照数学哲学家的观点,数学可以粗略地分成两类:存在性数学和构造性数学。我研究的领域属于构造性数学。所谓构造性数学就是,证明的过程或研究的对象,必须能够一步一步在有限步内构造出来。一般说来,只有构造出来的东西,才能在现实中应用。因此,构造性数 ...
个人分类: 数学|3050 次阅读|没有评论
重要的数学定理
热度 3 王杰 2014-6-15 15:21
下午坐在会议室里,忽然灵光一闪,想到如果把被至少一个定理的证明用到的定理称为重要的数学定理,那么考虑所有重要的数学定理,它们依其相互依赖的关系构成一个庞大的有向图,并且所有顶点的出度至少为一。于是根据图论中的结论,这样的有向图中必存在一个有向圈。这意味着在所有重要的数学定理构成的繁复精巧的体系中, ...
个人分类: 数学|3207 次阅读|3 个评论 热度 3

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-9-20 16:52

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部