检索结果-内蒙古大学图书馆

构造性数学及其哲学意义

引用

自然辩证法通讯 1997年第3期19卷 22-28,21页

作者：郝宁湘青海省社会科学院哲学所

本文在介绍了构造性数学的产生和发展的基础上，重点阐述了它的数学原则和数学基础，表明了可构造性的数学底蕴．最后通过对构造性数学产生的原因和其所要达到的目的的分析，论述了构造性数学的重大意义，同时评析了我国学术界对它的一... 详细信息

本文在介绍了构造性数学的产生和发展的基础上，重点阐述了它的数学原则和数学基础，表明了可构造性的数学底蕴．最后通过对构造性数学产生的原因和其所要达到的目的的分析，论述了构造性数学的重大意义，同时评析了我国学术界对它的一些认识。

关键词：构造性数学递归函数可靠性哲学思想

来源：评论

学校读者我要写书评

暂无评论

论构造性数学中的非构造性

引用

科学技术与辩证法 1998年第4期15卷 24-28页

作者：郝宁湘山西大学科技与社会研究所 030006

文章对构造性教学的基础─—递归函数进行了认真地分析，指出其支柱之———摹状算子不具有能行性即构造性，从而表明了构造性数学基础的非构造性。文章同时还指出了构迫性数学对否定词和蕴涵词的使用也是不符合构造性要求的。最后谈了... 详细信息

文章对构造性教学的基础─—递归函数进行了认真地分析，指出其支柱之———摹状算子不具有能行性即构造性，从而表明了构造性数学基础的非构造性。文章同时还指出了构迫性数学对否定词和蕴涵词的使用也是不符合构造性要求的。最后谈了一点哲学启示。

关键词：构造性数学递归函数非构造性

来源：评论

学校读者我要写书评

暂无评论

构造性数学与构造集合论

引用

华北水利水电学院学报（社会科学版） 2012年第5期28卷 64-66页

作者：杜文静华东政法大学人文学院上海200042

Barwise和Moss建立了一套非良基集合理论,为各种循环现象提供了数学上的解释。在此背景下,第一概述构造性数学的有关背景,并用实例展示它与传统数学的区别,说明了构造性数学的重要性;第二阐述构造集合论公理系统,说明它与其他公理系统... 详细信息

Barwise和Moss建立了一套非良基集合理论,为各种循环现象提供了数学上的解释。在此背景下,第一概述构造性数学的有关背景,并用实例展示它与传统数学的区别,说明了构造性数学的重要性;第二阐述构造集合论公理系统,说明它与其他公理系统的区别,为今后在构造集合论意义下构建非良基公理AFA的模型打下基础。

关键词：循环现象构造性数学构造集合论

来源：评论

学校读者我要写书评

暂无评论

数学机械化进展综述

引用

数学进展 2001年第5期30卷 385-404页

作者：高小山中国科学院数学与系统科学研究院

本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用．我们还提出了一些待解决的问题．

关键词：构造性数学代数几何方程求解数学机械化理论几何自动推理

来源：评论

学校读者我要写书评

暂无评论

算法学习在高中数学中的意义

引用

甘肃科技 2012年第15期28卷 90-91页

作者：吴晓云西北师范大学教育学院甘肃兰州730000

随着现代信息技术的迅猛发展,算法已融入生活的众多方面,扮演着重要的角色。在高中数学教科书中也将算法作为一个独立的章节在学习,算法的思想和初步知识也正在成为普通公民的常识。主要论述了什么是算法以及学生学习算法的意义。

关键词：算法学习算法的意义构造性数学算法的教学

来源：评论

学校读者我要写书评

暂无评论

计算机科学中的数学思想

引用

西南科技大学学报（哲学社会科学版） 1999年第S1期17卷 90-91页

作者：涂志寿绵阳经济技术高等专科学校绵阳621000

计算机是应数学问题的求解而产生,是在数学理论基础之上发展起来的,纵观计算机的发展历史,数学思想在整个过程中起了重要的作用.揭示计算机中的数学思想,对计算机学科的研究和教学具有一定的现实意义和理论价值.

关键词：计算机科学和技术数字式电子计算机机器证明数学模型数据库系统构造性数学数学思想计算机应用模糊数学数据模型

来源：评论

学校读者我要写书评

暂无评论

对传统逻辑的有力挑战——评《经典逻辑与直觉主义逻辑》

引用

哲学动态 1990年第4期 20-,32页

作者：诸葛殷同

直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规律和方法,特别是数学归纳法,是可靠的出发点,其它一切数学对象和理论都应该从自然数构造出来。所谓“构造”出... 详细信息

直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规律和方法,特别是数学归纳法,是可靠的出发点,其它一切数学对象和理论都应该从自然数构造出来。所谓“构造”出来,是指:(1)对存在命题“有X具有A性质”的一个证明,必须根据该证明能找到一个特殊的对象X,X满足A;(2)只有在有一个方法能判明一命题或其否定中有一个是真的条件下,才能承认该命题或者其否定为真,不承认任一命题非真即假。直觉主义哲学家不一定建立一套构造性数学;从事构造性数学研究的数学家也不一定信仰直觉主义哲学。构造性数学是数学的一个部分。直觉主义逻辑,也称构造逻辑。