编辑:
2015-09-10
构造性数学的另一个新体系是由马尔科夫、沙宁创建的。他们的构造性数学研究是以算法概念为基础的,即把其它一切概念都归约到算法之上。在马尔科夫那里,所有的定义都用日常语言表达,所有引用实无穷的话都严格地避免,并采用了直觉主义逻辑。他们对构造分析学作了相当深入的研究,对于许多数学分支的算法化以及制定构造逻辑的语义学都作了很可观的工作。如他把实数定义成一种逐次逼近的算法,实函数也就等同于一个算法。他的正规算法就是目前少数几个力量最强的精确化的算法概念。
以毕晓普、马尔科夫等人为代表的构造性数学,是对早先直觉主义数学的发展、扬弃。它一方面承继了直觉主义的基本主张,强调在构造数学内部要求“证明存在一个具有性质P的x,必须指出一个有限的方法来构造x,以及找出一个有限的方法来证明x具有性质P”。但另一方面,它又不同于直觉主义数学,它不象直觉主义数学那样极端地要把全部数学都“构造化”,他们只是想从构造性的角度建立一门有别于传统数学的新学数学,因为在他们看来,从构造的观点来研究,对许多老问题都会有新的见解。他们认为构造性数学和非构造性数学是现代数学的两大倾向,是可以并行发展和相互促进的。
编辑老师为大家整理了构造性数学及其哲学意义,希望对大家有所帮助。
相关推荐:
标签:科技哲学论文
精品学习网(51edu.com)在建设过程中引用了互联网上的一些信息资源并对有明确来源的信息注明了出处,版权归原作者及原网站所有,如果您对本站信息资源版权的归属问题存有异议,请您致信qinquan#51edu.com(将#换成@),我们会立即做出答复并及时解决。如果您认为本站有侵犯您权益的行为,请通知我们,我们一定根据实际情况及时处理。