数学哲学与科学哲学和计算机科学的能动作用,数学哲学与科学哲学和计算机科学的能动作用...

bc569986471aaa790c0e7bd8eb8e30c6.png

3 数学哲学与计算机科学的能动作用

数学哲学对于计算机科学的影响主要表现于以下的事实:一些源于数学哲学(数学基础研究)的概念和理论在计算机科学的历史发展中发挥了十分重要的作用。

例如,在此可以首先提及(一阶)谓词演算理论:这是由弗雷格(G.Frege)在1879年出版的《概念语言》中首次给出的,而后者则又常常被看成数学基础研究的实际起点;然而,这一主要是为了数学的严格化(更为一般地说,即是思维的严格化)所创立的概念工具现已成为计算机科学最为重要的理论工具之一,特别是,谓词演算的一种特殊形式(the clausal form)更被证明对于人工智能(即如机器证明)的研究是特别适用的。

另外,由图林所给出的“图林机”(Turing machine)和“通用机”(universal machine)的概念则可说是一个更为典型的例子。具体地说,这两个概念是由图林在1937所发表的一篇论文中首次引进的。正如这一论文的题目——“论可计算数及其对于判定问题的应用”——所清楚地表明的,图林之所以引进这两个概念,主是为了解决希尔伯特的“可判定性问题”,而后者则就是著名的“希尔伯特规划”的一个部分,即其直接目标仍在于如何很好地去解决数学的基础问题;然而,这两个概念后来却又在计算机的历史发展中发挥了特别重要的作用,特别是,正是基于“通用机”的概念,人们才最终构造出了现代意义上计算机,即带有内存(程序)的计算机——由于后者较好地解决了早一代计算机(即如美国在1946年所建造的第一台电子计算机ENIAC)所存在的“计算”快、但却需要花费大量时间和精力来编制相应的程序的弊病,因此,这确实代表了一次真正的进步。

最后,我们在此还可提及罗素的“类型论”。如众所知,罗素之所以提出“类型论”,其直接起因是为了能够很好地解决悖论的问题,罗素并以此为基础而提出了关于逻辑主义的一个新的纲领,即是如何以逻辑为基础去开展出全部数学,同时则又可以避免悖论的威胁。令人吃惊的是,这一完全源于数学的哲学思考的概念现也被证明对于计算机科学是十分重要的,因为,计算机的程序语言通常是分类的。这也就是说,为了避免混乱,在给出一个函数时,我们应当具体地去指明其中所包含的变量的类型。显然,这事实上就是类型论的基本思想。

如果说源自数学哲学的概念和理论曾对计算机科学的发展产生了十分重要的影响;那么,就如前述“能动作用”的模式所表明的,数学哲学与计算机科学的主次关系现在似乎也已发展到了一个转折点,即计算机科学现正反过来对数学哲学的现代研究发挥着实质性的影响。

具体地说,就计算机科学对数学哲学的影响而言,机器证明可以说起着最为重要的作用,而也正是在这样的意义上,四色定理的机器证明(1977)就可被看成上述主次关系转变的实际转折点。因为,在人类的历史上,这真是破天荒的一个事件,即是一个重要的数学定理由于使用计算机而得到了证明,而且,后者在其中所发挥的作用是不可或缺的(计算机在此被用于对各种特殊情况的检验,由于后者的数量如此之多,相应的检验又是如此之繁琐,因此,如果不使用计算机,所说的检验过程就不可能得以完成)。但是,人们又不禁要问:这种借助于计算机的证明能否算是一个真正的证明?这样,计算机科学的发展就直接导致了如下的哲学思考:什么是“数学证明”?或者说,究竟什么是“数学证明”的本质?

自1977年以来,已经有二十多个年头过去了;但是,上述的问题却象一个幽灵一直缠绕在数学家和数学哲学家的心头,因为,计算机在数学中的应用现已不再是一个偶见的现象,而且,这种应用的性质也已发生了十分重要的变化:如果说在四色定理的证明中计算机只是充当了某种较为次要的角色,即只是具体地去实施某些细节性工作,而主要的证明思想仍然是由人类所事先设计好的,那么,一些现代的证明机器(即如由Larry Wos所设计的)就不仅可以对一些已知的定理设计出某些新的、也即从来没有为人们所想到过的证明,而且已成功地证明了某些人们所一直没有能够证明的重要的数学结论。

事实上,从更为广泛的意义上来说,计算机可被认为正在改变数学的性质,因为,计算机不仅为数学研究提供了新的研究工具(应当明确,所说的工具作用不只限于计算和逻辑演算,而且也包括其它的功能,如图象显示等),而且也直接导致了数学研究方向或重点的转移(例如,由于计算机的使用使得大量过去无法实现的计算成为可能,这就不仅使一些传统的研究问题得以复活,而且还直接导致了一些新的研究分支,如“计算数论”、“计算几何学”等,另外,也有一些概念和理论由于计算机的使用变得特别重要,即如算法的概念和离散数学等)。再者,计算机的使用并导致了数学观的重要变化,即如人们对什么是数学问题的“满意解答”的看法等。从而,总的来说,计算机正在改变整个数学(包括数学活动)的面貌,而这当然也会引起相应的哲学思考:什么是数学?或者说,究竟什么是数学的本质?

在笔者看来,以下的事实也许最为清楚地表明了这种由于计算机所导致的变化的深刻性和重要性:一些自称为“实验数学家”的新潮数学家现正试图创立一种新的作数学的方法,即主要通过计算机实验去作出新的发现。由于所说的方法是与传统的作法很不一致的:“传统数学家设想证明,实验数学家设计实验;传统数学家用手进行繁复的计算,实验数学家把例行的计算交给计算机去快速地完成;传统数学家所作的例行推导和证明许多也可以交给计算机完成”——因此,在这些数学家看来,计算机正在改变数学的性质:数学正在成为一门“实验科学”。[18]

综上可见,计算机科学的发展正在对数学哲学的现代研究发挥十分重要的影响,而且,可以相信,随着时间的推移,这种影响的程度将会不断得到加强。从而,总的来说,我们在此看到了关于“能动作用”再这一发展模式的又一实例。

4 结束语

卡尔纳普(R.Carnap)在其《思想自述》中曾经这样写道:“倘若有谁对那种依据传统的学术界线划分而属于不同的学科领域之间的关系感兴趣,那么,他肯定不会如他自己所期待的那样,被当作学科之间的桥梁建造者而受到欢迎,相反,他将被双方同时视作局外人和令人生厌的入侵者。”([9].p.11)由于以上的讨论显然即已表明这种态度是错误的(事实上,卡尔纳普本人的工作也已清楚地表明了“交叉研究”的积极意义),因此,现在确是改变这种态度的时候了

◆◆

评论读取中....

请登录后再发表评论!

◆◆

修改失败,请稍后尝试

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/392007.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

AngularDart4.0 指南- 表单

2019独角兽企业重金招聘Python工程师标准>>> 表单是商业应用程序的主流。您可以使用表单登录,提交帮助请求,下订单,预订航班,安排会议,并执行无数其他数据录入任务。 在开发表单时,创建一个数据…

迈向数据科学的第一步:在Python中支持向量回归

什么是支持向量回归? (What is Support Vector Regression?) Support vector regression is a special kind of regression that gives you some sort of buffer or flexibility with the error. How does it do that ? I’m going to explain it to you in simpl…

jQuery事件整合

一、jQuery事件 1、focus()元素获得焦点 2、blur()元素失去焦点 3、change() 表单元素的值发生变化(可用于验证用户名是否存在) 4、click() 鼠标单击 5、dbc…

tableau跨库创建并集_刮擦柏林青年旅舍,并以此建立一个Tableau全景。

tableau跨库创建并集One of the coolest things about making our personal project is the fact that we can explore topics of our own interest. On my case, I’ve had the chance to backpack around the world for more than a year between 2016–2017, and it was one…

1.0 Hadoop的介绍、搭建、环境

HADOOP背景介绍 1.1 Hadoop产生背景 HADOOP最早起源于Nutch。Nutch的设计目标是构建一个大型的全网搜索引擎,包括网页抓取、索引、查询等功能,但随着抓取网页数量的增加,遇到了严重的可扩展性问题——如何解决数十亿网页的存储和索引问题。20…

如何实现多维智能监控?--AI运维的实践探索【一】

作者丨吴树生:腾讯高级工程师,负责SNG大数据监控平台建设。近十年监控系统开发经验,具有构建基于大数据平台的海量高可用分布式监控系统研发经验。 导语:监控数据多维化后,带来新的应用场景。SNG的哈勃多维监控平台在完…

使用Python和MetaTrader在5分钟内开始构建您的交易策略

In one of my last posts, I showed how to create graphics using the Plotly library. To do this, we import data from MetaTrader in a ‘raw’ way without automation. Today, we will learn how to automate this process and plot a heatmap graph of the correlation…

请对比html与css的异同,css2与css3的区别是什么?

css主要有三个版本,分别是css1、css2、css3。css2使用的比较多,因为css1的属性比较少,而css3有一些老式浏览器并不支持,所以大家在开发的时候主要还是使用css2。CSS1提供有关字体、颜色、位置和文本属性的基本信息,该版…

ipywidgets_未来价值和Ipywidgets

ipywidgetsHow to use Ipywidgets to visualize future value with different interest rates.如何使用Ipywidgets可视化不同利率下的未来价值。 There are some calculations that even being easy becoming better with a visualization of his terms. Moreover, the sooner…

计算机主机后面辐射大,电脑的背面辐射大吗

众所周知,电子产品的辐射都比较大,而电脑是非常常见的电子产品,它也存在着一定的辐射,那么电脑的背面辐射大吗?下面就一起随佰佰安全网小编来了解一下吧。有资料显示,电脑后面的辐射比前面大,长期近距离在…

装饰器3--装饰器作用原理

多思考,多记忆!!! 转载于:https://www.cnblogs.com/momo8238/p/7217345.html

用folium模块画地理图_使用Folium表示您的地理空间数据

用folium模块画地理图As a part of the Data Science community, Geospatial data is one of the most crucial kinds of data to work with. The applications are as simple as ‘Where’s my food delivery order right now?’ and as complex as ‘What is the most optim…

python创建类统计属性_轻松创建统计数据的Python包

python创建类统计属性介绍 (Introduction) Sometimes you may need a distribution figure for your slide or class. Since you are not using data, you want a quick solution.有时,您的幻灯片或课程可能需要一个分配图。 由于您不使用数据,因此需要快…

浅析STM32之usbh_def.H

【温故而知新】类似文章浅析USB HID ReportDesc (HID报告描述符) 现在将en.stm32cubef1\STM32Cube_FW_F1_V1.4.0\Middlewares\ST\STM32_USB_Host_Library\Core\Inc\usbh_def.H /********************************************************************************* file us…

C# (类型、对象、线程栈和托管堆)在运行时的相互关系

在介绍运行时的关系之前,先从一些计算机基础只是入手,如下图: 该图展示了已加载CLR的一个windows进程,该进程可能有多个线程,线程创建时会分配到1MB的栈空间.栈空间用于向方法传递实参,方法定义的局部变量也在实参上,上图的右侧展示了线程的栈内存,栈从高位内存地址向地位内存地…

2019-08-01 纪中NOIP模拟赛B组

T1 [JZOJ2642] 游戏 题目描述 Alice和Bob在玩一个游戏,游戏是在一个N*N的矩阵上进行的,每个格子上都有一个正整数。当轮到Alice/Bob时,他/她可以选择最后一列或最后一行,并将其删除,但必须保证选择的这一行或这一列所有…

knn分类 knn_关于KNN的快速小课程

knn分类 knnAs the title says, here is a quick little lesson on how to construct a simple KNN model in SciKit-Learn. I will be using this dataset. It contains information on students’ academic performance.就像标题中所说的,这是关于如何在SciKit-Le…

office漏洞利用--获取shell

环境: kali系统, windows系统 流程: 在kali系统生成利用文件, kali系统下监听本地端口, windows系统打开doc文件,即可中招 第一种利用方式, 适合测试用: 从git下载代码: …

pandas之DataFrame合并merge

一、merge merge操作实现两个DataFrame之间的合并,类似于sql两个表之间的关联查询。merge的使用方法及参数解释如下: pd.merge(left, right, onNone, howinner, left_onNone, right_onNone, left_indexFalse, right_indexFalse,    sortFalse, suffi…

python ==字符串

字符串类型(str): 包含在引号(单,双,三)里面,由一串字符组成。 用途:姓名,性别,地址,学历,密码 Name ‘zbk’ 取值: 首先要明确,字符…