期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
构造性数学及其哲学意义
被引量:
7
下载PDF
职称材料
导出
摘要
本文在介绍了构造性数学的产生和发展的基础上,重点阐述了它的数学原则和数学基础,表明了可构造性的数学底蕴.最后通过对构造性数学产生的原因和其所要达到的目的的分析,论述了构造性数学的重大意义,同时评析了我国学术界对它的一些认识。
作者
郝宁湘
机构地区
青海省社会科学院哲学所
出处
《自然辩证法通讯》
CSSCI
1997年第3期22-28,21,共8页
Journal of Dialectics of Nature
关键词
构造性数学
递归函数
可靠性
哲学思想
分类号
O1-02 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
1
共引文献
0
同被引文献
28
引证文献
7
二级引证文献
6
参考文献
1
1
夏基松郑毓信西方数学哲学[M].
同被引文献
28
1
张清宇.
循环并不可恶——《恶性循环 :非良基现象的数学 》评介[J]
.哲学动态,2005(4):59-62.
被引量:4
2
徐长福.
重新理解理论与实践的关系[J]
.教学与研究,2005(5):30-41.
被引量:28
3
庞建民,赵荣彩,王怀民.
Haskell语言的高阶特性及其应用[J]
.计算机科学,2005,32(6):167-168.
被引量:8
4
高上雄.
高中数学新课程中的算法思想及教育价值[J]
.西北成人教育学院学报,2007(1):61-62.
被引量:2
5
波利亚 涂泓译.怎样解题[M].上海:上海科技教育出版社,2002..
6
何小亚.数学学与教的心理学[M].广州:华南理工大学出版社,2003.
7
徐利治 郑毓信.算法化原则与数学教育.数学传播,1997,(2):21-21.
8
Berger U,Berghofer S.Program extraction from normalization proofs,2005
9
Nordstrom B,Petersson K,Smith J.Programming in Martin-Lof's type theory.An introduction.Oxford University Press,1990
10
The Coq Developmem Team.The Coq Proof Assistant Reference Manual(Version 8.O),2005
引证文献
7
1
石铠源,庞建民,赵荣彩,戴超.
从构造性证明中提取程序[J]
.计算机科学,2007,34(5):269-272.
2
郝宁湘.
论构造性数学中的非构造性[J]
.科学技术与辩证法,1998,15(4):24-28.
3
朱立明,王晓辉.
高中数学“算法初步”教学案例的开发原则[J]
.中国数学教育(高中版),2010(1):35-38.
被引量:4
4
郝宁湘.
实验数学及其哲学研究[J]
.自然辩证法研究,1999,15(11):9-13.
被引量:2
5
杜文静.
构造性数学与构造集合论[J]
.华北水利水电学院学报(社会科学版),2012,28(5):64-66.
6
樊子牛,牟琴,王华.
应该是、是、怎么做——计算思维的理性离析[J]
.办公自动化,2016,21(2):30-34.
7
李娜,叶发扬.
基于数学实践进路的数学基础多元论辩护[J]
.科学技术哲学研究,2024,41(4):22-28.
二级引证文献
6
1
邬文中.
从求空间角度与距离的算法看算法思想[J]
.中国数学教育(高中版),2010(9):38-40.
2
朱立明,马云鹏,王久成.
把握算法重点 突破算法难点[J]
.现代中小学教育,2011,27(2):31-34.
3
郝宁湘.
论实验数学对欧几里德范式的挑战[J]
.自然辩证法通讯,2002,24(3):28-34.
被引量:10
4
王鹏飞.
循环结构与循环语句的教学探究[J]
.中国数学教育(高中版),2016(6):26-30.
5
陈利忠.
论结合教学案例探析高中数学概念教学[J]
.数学学习与研究,2018,0(2):46-46.
被引量:1
6
梁芳.
实验数学与数学实验[J]
.辽宁师范大学学报(自然科学版),2003,26(2):218-221.
被引量:1
1
郝宁湘.
论构造性数学中的非构造性[J]
.科学技术与辩证法,1998,15(4):24-28.
2
洪方权.
论高师“数学分析”习题课的教学原则[J]
.数学教育学报,1996,5(4):74-77.
被引量:2
3
令人深思的数学专业[J]
.数学教学通讯(数学金刊)(高考),2009(7):96-97.
4
曲元海.
关于数学教学原则的争论[J]
.通化师范学院学报,2002,23(2):99-101.
5
高小山.
数学机械化进展综述[J]
.数学进展,2001,30(5):385-404.
被引量:16
6
科技底蕴的根基法则[J]
.数字商业时代,2003(12):63-63.
7
宋乃庆,朱德全.
试论数学异步教学原则的特殊性[J]
.数学教育学报,1998,7(2):58-61.
8
严君华.
巧构造,三角形面积解难题[J]
.中学时代(理论版),2012(4):135-135.
9
张永良.
数学思想方法的教学探讨[J]
.科学咨询,2015,0(26):103-103.
10
夏本文.
浅谈初中数学兴趣的培养[J]
.信息教研周刊,2012(5):81-81.
被引量:1
自然辩证法通讯
1997年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部