【摘 要】
：
从古希腊时代起,人们就希望能找到一种可以作为数学基础的理论,以满足人类理性的诉求。然而两千年多来,人们在这个问题上的看法总是莫衷一是。直到19世纪末,数学的算术化运动
论文部分内容阅读
从古希腊时代起,人们就希望能找到一种可以作为数学基础的理论,以满足人类理性的诉求。然而两千年多来,人们在这个问题上的看法总是莫衷一是。直到19世纪末,数学的算术化运动使得人们对数学真理性的研究进入了一个全新时期,逻辑主义思想就诞生在这个时期。弗雷格和罗素希望将数学化归为逻辑,从而为数学奠定一个永久可靠的基础。他们的成就令人瞩目,但悖论的出现使弗雷格最终放弃了逻辑主义的理想,然而罗素却没有如此消沉,他提出了类型论来解决悖论问题,可以说类型论与逻辑主义是分不开的。本文试图通过对逻辑主义思想和类型论的探讨,来重新认识弗雷格和罗素在解决数学基础问题上所做的努力。
其他文献
在英语学习中,词汇是英语学习的基础和前提,词汇教学的根本是记忆。但如果单单为记忆而记忆的话,会变成死记硬背,不仅枯燥乏味,还会收效甚微,也不利于灵活运用。那么,词汇教
平等伦理理念作为人类社会孜孜以求的价值理想，具有社会历史性，它一直随着人类社会的发展而发展。当前我国正在构建和谐社会，一个美好的、和谐的社会，必定是一个平等的社会。平等
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在现代科学技术不断发展的背景下，继广播电视之后涌现了一系列新兴技术，如数字化技术、移动通信技术以及互联网技术等。在新兴技术背景下催生了众多的新媒介，如微信、微博、网络
一、创设生活情境rn语文是实践性很强的课程,学习资源和实践机会无处不在,无处不有.现实世界是语文的丰富源泉,课本只是为我们提供了一些可资借鉴的“生活范例”,为我们学习
人类经济社会发展正在经历着重大转型，科技创新的主导作用日益显著，科技资源的拥有、配置和利用方式的优劣，特别是共享程度的高低，日益成为决定国家科技强弱甚至国家兴衰的关键因
为了隆重纪念中国共产党成立90周年,我校利用四个月时间在全校开展纪念建党90周年十项庆祝活动,旨在讴歌中华民族实现伟大复兴的奋斗历程,
In order to solemnly commemorat
依安县属黑龙江省第三积温带,地处黑龙江省中北部,位于小兴安岭南麓,松嫩平原北缘.全年有效积温2 500℃,年降雨量460mm左右.依安县土壤肥沃,光照充足,雨量适中,是发展大豆生