【摘 要】
：
亚伯拉罕·鲁滨逊是二十世纪美国著名的数学家和数学哲学家,非标准分析的创始人.他的数学哲学思想是随着数学的发展不断发展和变化的.他早期是数学实在论者,后来转变成形式主
论文部分内容阅读
亚伯拉罕·鲁滨逊是二十世纪美国著名的数学家和数学哲学家,非标准分析的创始人.他的数学哲学思想是随着数学的发展不断发展和变化的.他早期是数学实在论者,后来转变成形式主义者,并且逐渐形成了自己的形式主义思想.长期以来我国学者对他的了解仅仅局限于其中期的形式主义思想,对其前期的数学实在论及后期更为丰富的形式主义思想所知甚少,对其思想转变的原因更是一无所知.本文力求突破这一局限,结合他在数学上的贡献以及当时数学和数学哲学的发展状况,探析了他各个时期数学哲学思想的形成、变化和发展的原因,并着重从认识论、本体论和方法论三个方面详尽论述了他形式主义思想的特征,进而挖掘其理论意义和现实价值.
其他文献
通过试验室阶段试验及工业性生产试验结果表明,核反应堆压力容器用INCONEL 600合金采用固溶温度为950～1000℃、水冷处理的热处理工艺是完全可行的,材料的性能结果达到技术标准
以毛泽东为代表的第一代中国马克思主义者,所处的是革命与战争的时代。他们所面临最直接的历史任务,就是如何将逐步沦为半殖民地半封建社会的旧中国从苦难中解救出来。由此决
玉米自交系二期南繁一般指在海南每年元前后播种,4月中旬前收获.整个生育期的气候特点是前期温度低,玉米出苗慢(一般为7～8d),幼苗生长迟缓;中后期温度高,风大(也成高温干旱期)
运动员达到优秀竞技能力水平,不仅要求增强呼吸循环功能,还要求提高骨骼肌的代谢能力.乳酸是糖酵解的最终产物,可反映骨骼肌代谢水平的高低,运动中肌肉的疲劳与肌肉中高乳酸
控制海面溢油对于保护环境和减少经济损失是非常重要的,监测海面溢油是遥感技术的一个重要应用方面。利用美国对地观测系统卫星EOS的AMSR-E微波辐射计探测资料,结合阈值梯度
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
《中国学校卫生》杂志创办于1979年,系国家卫生和计划生育委员会主管、中华预防医学会主办的国家级学术类科技期刊,是指导我国学校卫生工作的专业性杂志。本刊为全国预防医学
介绍应用堆焊技术研究设计150mm宽带极堆焊机头及磁场控制装置的实践。通过技术经济分析,阐述宽带极堆焊技术对提高堆焊表面质量和效率的意义。简要介绍机头和磁场控制装置的