传统的数学证明真的受到严峻的挑战了吗?

来源 :青海师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:guoyinglonggyl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过综述当代数学发展的一些新思潮,引用大量事实,阐述传统的数学证明已经受到严峻的挑战,并结合国际数学大师们对这一些数学问题的激裂讨论,提出目前数学发展的二大趋势,这些趋势可能会影响末来世纪的数学发展。
其他文献
本文给出了常见的简单双原子分子严格意义上的各类分子轨道图,并从周期律出发,讨论了分子轨道图与物质结性质间的联系。
本文讨论了LF拓扑空间的几乎可数性在映射作用下的某些性质。
本文利用非线性泛函分析中拓扑度的理论,讨论了 n 维非自治系统x=A(t)x+1/λg(t,x).x∈R~n (1)并在系统(1)对应的齐次方程x=A(t)x x∈R~n (2)无非平凡周期解的情况下,得到系
齿轮高速运行时,风阻功率损失是导致传动效率低的主要因素之一。基于计算流体动力学(Computational fluid dynamics,CFD)技术建立了弧齿圆柱齿轮周围空气流域模型并进行数字
作者认为在Cariceae分类系统中居重要地位的所谓长轴苔草或长轴 草事实上是一个Uncinia的衍生种类。从比较形态解剖学,植物地理及生态学各方面的语气表明,U.microglochin及其近缘的Carex parva Ness和Carex pauciflora Lightf。
摘 要:目的:探讨健康评估教学中分层带教模式的效果和体会。方法:选择2014年下学期学习健康评估课程的两个班的学生,分别为实验组52例和对照组54例实验组给予分层带教模式,对照组给予传统教学模式。结果:实验组理论及实践成绩优、良的学生分别高于对照组(P<0.05);实验组理论及实践成绩可、差的学生分别低于对照组(P<0.05)。实验组对教学方法的满意度高于对照组(P<0.05)。结论:健康评估教学
把邓小平理论教育由现代化建设的政策层面展开提升到我们时代的理论思维层面展开,是以邓小平理论武装人必须解决的重要课题。传统的社会主义理论体系存在着把实现现代化的社会
为满足高性能雷达信号处理的技术要求,需要对正交采样信号进行数字相干检波.设计了基于数字Bessel正交相干检波器的雷达正交双通道处理系统的方案,给出了满意测试、实验结果。
目前围绕如何确保云端个人数据被彻底销毁的社会关注愈加热切。数据可销毁性是衡量云服务提供商是否可信的重要指标。针对目前数据可销毁性定义不统一,且缺乏客观的第三方检