-
题名论徐利治的数学哲学思想
被引量：6
- 1
-
-
作者
王剑
武海蓬
-
机构
山东师范大学数学科学学院初等数学组
-
出处
《数学教育学报》
北大核心
2009年第3期21-26,共6页
-
文摘
徐利治教授是我国著名的数学家、数学哲学家、数学教育家和数学方法论专家.他的研究涉及分析数学、组合数学、计算方法、数学基础和数学方法学等众多领域.他从无限研究的数学哲学思考、数学本体论思想、数学方法论、数学真理观等方面都为数学哲学思想的发展做出了贡献.
-
关键词
数学哲学
数学本体论
数学方法论
数学真理观
-
Keywords
mathematics philosophy
ontology of mathematical
mathematics methodology
truth of mathematics
-
分类号
O1-0
[理学—数学]
-
-
题名实验数学对传统演绎数学的挑战与影响
被引量：5
- 2
-
-
作者
王海明
-
机构
青海师范大学学报编辑部
-
出处
《青海师范大学学报（自然科学版）》
2004年第2期19-23,共5页
-
文摘
20世纪70年代四色定理的计算机证明和90年代初实验数学的诞生,在数学界、哲学界引起了极大的振动。尤其是实验数学的产生,数学的基本范式-欧几里德范式受到了空前的挑战,整个数学世界开始分裂,传统的数学信念发生了变革,计算机实验作为一种全新的研究手段或方式逐渐渗透到数学研究的各个分支,过分强调严格性有阻于数学的创新;在半严格数学时期,各种定理将被附上价格标签,概率开始赋予数学真理。
-
关键词
实验数学
现代数学
计算机推测
计算机证明
数学真理观
挑战
-
Keywords
experiment mathematics
modem mathematics
computer conjecture
computer proof
mathematics truth
challenge
-
分类号
O1-0
[理学—数学]
-
-
题名略论数学模式的真理性及其检验标准
被引量：1
- 3
-
-
作者
傅夕联
孟昭为
赵熙强
-
机构
山东工程学院
-
出处
《大学数学》
1996年第1期69-72,共4页
-
文摘
本文阐释了模式真理观的含义，指出了数学真理的层次性及其检验的层次性，并对各种真理观作出合理的解释。
-
关键词
真理性
数学模式
数学真理观
数学对象
数学知识
数学理论
数学哲学
检验标准
层次性
逻辑主义
-
分类号
O29
[理学—应用数学]
-
-
题名对新世纪数学发展趋势的一些展望(续)
被引量：1
- 4
-
-
作者
徐利治
-
机构
大连理工大学数学科学研究所
-
出处
《高等数学研究》
2001年第4期2-4,20,共4页
-
-
关键词
数学
发展趋势
数学分支
数学真理观
-
分类号
O1
[理学—数学]
-
-
题名“公理化”或“拟公理化”的数学教育方法论意义
- 5
-
-
作者
封平华
田庆云
-
机构
河南教育学院数学系
郑州市
-
出处
《河南教育学院学报（自然科学版）》
2005年第4期15-17,共3页
-
基金
河南省教育厅"十五"教育规划课题(2004-JKGHB-489)
-
文摘
“公理化”几乎是建立一切自然科学的金钥匙,随着数学真理观的发展,结合《普通高中数学课程标准(实验)》,本文谈谈“公理化”或“拟公理化”的数学教育方法论价值与意义.
-
关键词
数学真理观
数学方法论
课程标准
-
分类号
O181
[理学—数学]
-
