切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
传统的数学证明真的受到严峻的挑战了吗?
传统的数学证明真的受到严峻的挑战了吗?
来源 :青海师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:guoyinglonggyl
【摘 要】
:
本文通过综述当代数学发展的一些新思潮,引用大量事实,阐述传统的数学证明已经受到严峻的挑战,并结合国际数学大师们对这一些数学问题的激裂讨论,提出目前数学发展的二大趋势,这些
【作 者】
:
郭永发
【机 构】
:
青海大学
【出 处】
:
青海师范大学学报:自然科学版
【发表日期】
:
1995年2期
【关键词】
:
数学发展
数学证明
实验数学
理论数学
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过综述当代数学发展的一些新思潮,引用大量事实,阐述传统的数学证明已经受到严峻的挑战,并结合国际数学大师们对这一些数学问题的激裂讨论,提出目前数学发展的二大趋势,这些趋势可能会影响末来世纪的数学发展。
其他文献
各类分子轨道图
本文给出了常见的简单双原子分子严格意义上的各类分子轨道图,并从周期律出发,讨论了分子轨道图与物质结性质间的联系。
期刊
等值图
界面图
原子轨道图
分子轨道图
周期律
isotimic graph
isterface graph
atomic orbital graph
mole
LF拓扑空间几乎可数性的性质
本文讨论了LF拓扑空间的几乎可数性在映射作用下的某些性质。
期刊
几乎同胚
几乎可分
LF拓扑空间
几乎可数性
almost continuous
almost open
almost homeomorphism
almost
n维非自治系统周期解的个数
本文利用非线性泛函分析中拓扑度的理论,讨论了 n 维非自治系统x=A(t)x+1/λg(t,x).x∈R~n (1)并在系统(1)对应的齐次方程x=A(t)x x∈R~n (2)无非平凡周期解的情况下,得到系
期刊
n维系统
拓扑度
周期解
齐次方程
n-dimensional system
Topological degree
Periodic solution
H
求解非线性电路的二种CAD算法
期刊
非线性电路
CAD算法
计算机应用
高速弧齿圆柱齿轮风阻功率损失研究
齿轮高速运行时,风阻功率损失是导致传动效率低的主要因素之一。基于计算流体动力学(Computational fluid dynamics,CFD)技术建立了弧齿圆柱齿轮周围空气流域模型并进行数字
期刊
弧齿圆柱齿轮
风阻功率损失
计算流体动力学
轴向挡板
径向挡板
Arc tooth cylindrical gear
Windage power loss
CF
长轴钩轴莎及其近缘种在系统分类学上的位置
作者认为在Cariceae分类系统中居重要地位的所谓长轴苔草或长轴 草事实上是一个Uncinia的衍生种类。从比较形态解剖学,植物地理及生态学各方面的语气表明,U.microglochin及其近缘的Carex parva Ness和Carex pauciflora Lightf。
期刊
系统分类学
莎草科
长轴钩轴莎
近缘种
Carex
Uncinia
Microglochin
classification
健康评估教学中分层带教模式的实践体会
摘 要:目的:探讨健康评估教学中分层带教模式的效果和体会。方法:选择2014年下学期学习健康评估课程的两个班的学生,分别为实验组52例和对照组54例实验组给予分层带教模式,对照组给予传统教学模式。结果:实验组理论及实践成绩优、良的学生分别高于对照组(P<0.05);实验组理论及实践成绩可、差的学生分别低于对照组(P<0.05)。实验组对教学方法的满意度高于对照组(P<0.05)。结论:健康评估教学
期刊
健康评估
教学
分层带教模式
面向现代化深化邓小平理论教育的思考──兼论高校社会主义理论教学内容的改革
把邓小平理论教育由现代化建设的政策层面展开提升到我们时代的理论思维层面展开,是以邓小平理论武装人必须解决的重要课题。传统的社会主义理论体系存在着把实现现代化的社会
期刊
现代化
邓小平理论教育
思考
Modernization: Deng Xiaoping theory education: Thinking
脉冲雷达数字正交相干检波器的设计与实现
为满足高性能雷达信号处理的技术要求,需要对正交采样信号进行数字相干检波.设计了基于数字Bessel正交相干检波器的雷达正交双通道处理系统的方案,给出了满意测试、实验结果。
期刊
相干检波
脉冲雷达
正交采样
Coherent detector
Pulsed radar
Quadrature sampling
一种云平台数据可销毁性检测方法
目前围绕如何确保云端个人数据被彻底销毁的社会关注愈加热切。数据可销毁性是衡量云服务提供商是否可信的重要指标。针对目前数据可销毁性定义不统一,且缺乏客观的第三方检
期刊
云平台
服务等级协议
数据可销毁性
数据擦除
cloud platform
service level agreement
feasibility of dat
与本文相关的学术论文