数理逻辑之研究对象,学科归属,定义及研究领域

来源 :自然杂志 | 被引量 : 0次 | 上传用户:lovele
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.
其他文献
外大陆架边缘的海洋沉积物中存在大规模气体水合物已成为地学界的共识。海底气体水合物是由甲烷等气体和水分子组成的类似冰状的固态物质。根据目前的粗略估计,赋存在气体水
本文介绍时标超过一个太阳周(约11a)的太阳活动超长期变化的研究概况.对于与太阳活动变化有关的太阳自转是否有过变化的问题,也作了阐述.文中着重介绍了我国学者在这些研究领
本文扼要综述了影响小冰期气候变化的因素,小冰期的气候变化是气候系统系统诸因子综合作用的结果,小冰期气候变化的幅度与周期可为未来百年尺度的气候预测提供参考。未来百年尺
海平面因全球温暖化在近一世纪内平均上升了10~25cm。影响海平面上升的最主要因素是海水的热膨胀和冰川融化。海洋的热膨胀过程虽然缓慢,但却有明显的滞后效应,使得温室效应完
本文在综合当今国内外视频技术的发展及现状的基础上,就数字电视技术的发展趋势展开了深入讨论,指出数字电视必将给全球的视频产业带来一场新的革命,而这一新的革命也就意味
免疫耐受是机体免疫系统接触某—抗原后形成的特异性无应答状态,是免疫应答的一种重要类型,免疫应答和免疫耐受一直是免疫学研究的两个核心主题.免疫耐受的诱导、维持和破坏
我国学者用高精度、高灵敏度热电离质谱(TIMS)铀系法测定第四纪地质年龄,并已在古气候、古环境、古海洋的研究中取得了一系列重要成果.本文介绍目前我们用MAT-262质谱仪对洞
<正>在翡翠股贻贝和栉江珧两种活体内发现一种海藻,根据其形态结构、生长环境,确定为红藻类江蓠科的一个新种:贻贝活体内寄生江蓠。这种海藻的根紧密地生长在贻贝、江珧肌肉
本文以历史的眼光总结了经典物理、量子物理的六次综合,以及伴随而来的理论创新和凝炼而成的思想精华.着重论述了相对论、量子论及其形式结合对现代科技之发展、现代自然观之
本文从五方面阐述遗传信息的流动(脱氧核糖核酸→核糖核酸→蛋白质)并非终止于蛋白质.重点从脱氧核糖核酸、核糖核酸、蛋白质与糖复合物的生物合成过程分析它们间的相似性,与