从数学危机到图灵机

2024-06-11 17:32
文章标签 数学 图灵机 危机

本文主要是介绍从数学危机到图灵机,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

从数学危机到图灵机

学习计算机之前先讲数学,因为数学是计算机之道

文章目录

  • 从数学危机到图灵机
    • 第一次数学危机:
    • 第二次数学危机:
    • 第三次数学危机:
    • 可计算问题:
    • 图灵机:
    • 总结:

第一次数学危机:

毕达哥拉斯学派坚信:数是万物的本原,事物的本质是数的关系比例构建而成的。一切数均可表示成整数或者整数比(也就是后来的二进制)。
危机:后来毕达哥拉斯证明了勾股定理,同时发现有些直角三角形的三边比不能用整数表达。比如短边长为1的等边直角三角形的第三条边的长度是根号2是无法用整数表示的,所以出现了希帕索斯悖论。
危机缓解:二百年后欧多克索斯创建了比理论,是通过几何的方法避开了无理数这个逻辑上的丑闻,一定上是缓解了数学危机。
危机解决:十九世纪下半业实数理论建立后无理数的合法地位在数学界才得到确立,进而解决的第一次数学危机。

个人观点:在人类文明初始阶段人类还无法理解小数和无理数这个抽象的概念,因为人类的生活经验没有与之对应的事物。

第二次数学危机:

十七世纪牛顿和莱布尼茨都发现了微积分,但是微积分的理论是建立在无穷小(无限接近与0并且大于0)的理论基础上。刚开始很多人反对微积分其实无穷小是反常识的抽象的所以不是所有人都能理解无穷小固然无法理解和支持微积分。最强的反对声音是贝克莱悖论。
危机缓解:十九世纪七十年代初建立了实数理论,实数理论重构了微积分理论而今缓解的该危机但是并没有完全解决危机。推动了数学家深入的讨论数学分析的基础,实数论的问题导致了集合论的诞生。
危机解决:十九世纪下半业康托尔创立了集合论,集合论是计算理论非常基础的理论依据。后来数学家发现从自然数是与集合论出发可以构建整个数学大厦,一切数据成果都可以构建在集合论基础上。

第三次数学危机:

罗素提出了一个理发师的故事引发的关于集合论的思考,称之为罗素悖论:已知S由一切不是自身元素的集合所组成,问你S是否属于S呢?就会发现S既属于S又不属于S。大家发现原来集合论也不是完美的,因为数学应该是极致的完美的。
危机解决:哥德尔证明,任何数学系统从有限的公理和基本概念中推导出来的,并且从中能推导出自然数系统,那么对于我们既没有办法证明有没办法推翻。这个就是哥德尔不完备性定理,哥德尔不完备性定理结束了数学基础的争论,宣告了把数学彻底形式化的愿望是不可能实现的。

个人观点:这个充分说明了数学是具有哲学属性的学科,即因为集合论的不完美导致的不完备性定理。

可计算问题:

有了哥德尔不完备性证明的结论是否还要继续上下追索呢?答案是当然要继续,引发了关于可证明的边界思考。下面就思考一个场景问题。如果所有的数学问题都在一个集合内,那么可以被证明的元素在一个子集,而不能被证明的在另一个子集。那么这两个子集的具体边界在哪里呢,怎么证明一个未解的问题是否有解?
计算机中将上述的问题归结为可计算问题(有解可证明):设函数f的定义域是D,值域是R,如果存在一种算法(mt:只要有这种算法),对于D中任意给定的x都能计算出f(x)值也就是f(x)有解,则称函数f是可计算的问题。
既然存在可计算的问题,依据辩证法可知就会存在不可计算的问题。如何判定一个问题是可计算(这里的计算有证明的意思)还是不可计算的呢?
数理逻辑学家们给出了一个研究思路:为计算建立一个数学模型,称之为计算模型。计算模型能够完成的任务就是可计算任务,也就是可计算问题。

图灵机:

图灵发表了《论可计算数在判定问题中的应用》论文中,阐述了一种计算模型,这个模型可以作为判定问题是否可计算的数学模型,这个模型就是图灵机。图灵机是抽象逻辑层面上的计算模型。可以具体化网上有很多具体化的实物。

总结:

数学的诞生开始还是属于哲学思想的延伸探索,当人类有了文明和生产力的发展那么数学就是唯一可以有效的计算和量化的思想工具。

这种趋势必然导致数学会有自身的发展逻辑和趋势脉络,最终演化到当前(当前是指21世纪)经历了三大数学危机也是对数学学科这个大厦的完善。

在数学在应用层面上作为计算的思想的应用,上面内容可知引出建立通用型数学计算模型也就是图灵机模型。

这篇关于从数学危机到图灵机的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1051819

相关文章

uva 10014 Simple calculations(数学推导)

直接按照题意来推导最后的结果就行了。 开始的时候只做到了第一个推导,第二次没有继续下去。 代码: #include<stdio.h>int main(){int T, n, i;double a, aa, sum, temp, ans;scanf("%d", &T);while(T--){scanf("%d", &n);scanf("%lf", &first);scanf

uva 10025 The ? 1 ? 2 ? ... ? n = k problem(数学)

题意是    ?  1  ?  2  ?  ...  ?  n = k 式子中给k,? 处可以填 + 也可以填 - ,问最小满足条件的n。 e.g k = 12  - 1 + 2 + 3 + 4 + 5 + 6 - 7 = 12 with n = 7。 先给证明,令 S(n) = 1 + 2 + 3 + 4 + 5 + .... + n 暴搜n,搜出当 S(n) >=

uva 11044 Searching for Nessy(小学数学)

题意是给出一个n*m的格子,求出里面有多少个不重合的九宫格。 (rows / 3) * (columns / 3) K.o 代码: #include <stdio.h>int main(){int ncase;scanf("%d", &ncase);while (ncase--){int rows, columns;scanf("%d%d", &rows, &col

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

数学建模笔记—— 非线性规划

数学建模笔记—— 非线性规划 非线性规划1. 模型原理1.1 非线性规划的标准型1.2 非线性规划求解的Matlab函数 2. 典型例题3. matlab代码求解3.1 例1 一个简单示例3.2 例2 选址问题1. 第一问 线性规划2. 第二问 非线性规划 非线性规划 非线性规划是一种求解目标函数或约束条件中有一个或几个非线性函数的最优化问题的方法。运筹学的一个重要分支。2

CSP-J基础之数学基础 初等数论 一篇搞懂(一)

文章目录 前言声明初等数论是什么初等数论历史1. **古代时期**2. **中世纪时期**3. **文艺复兴与近代**4. **现代时期** 整数的整除性约数什么样的整数除什么样的整数才能得到整数?条件:举例说明:一般化: 判断两个数能否被整除 因数与倍数质数与复合数使用开根号法判定质数哥德巴赫猜想最大公因数与辗转相除法计算最大公因数的常用方法:举几个例子:例子 1: 计算 12 和 18

2024年AMC10美国数学竞赛倒计时两个月:吃透1250道真题和知识点(持续)

根据通知,2024年AMC10美国数学竞赛的报名还有两周,正式比赛还有两个月就要开始了。计划参赛的孩子们要记好时间,认真备考,最后冲刺再提高成绩。 那么如何备考2024年AMC10美国数学竞赛呢?做真题,吃透真题和背后的知识点是备考AMC8、AMC10有效的方法之一。通过做真题,可以帮助孩子找到真实竞赛的感觉,而且更加贴近比赛的内容,可以通过真题查漏补缺,更有针对性的补齐知识的短板。

一些数学经验总结——关于将原一元二次函数增加一些限制条件后最优结果的对比(主要针对公平关切相关的建模)

1.没有分段的情况 原函数为一元二次凹函数(开口向下),如下: 因为要使得其存在正解,必须满足,那么。 上述函数的最优结果为:,。 对应的mathematica代码如下: Clear["Global`*"]f0[x_, a_, b_, c_, d_] := (a*x - b)*(d - c*x);(*(b c+a d)/(2 a c)*)Maximize[{f0[x, a, b,

2024年高教社杯数学建模国赛最后一步——结果检验-事关最终奖项

2024年国赛已经来到了最后一天,有必要去给大家讲解一下,我们不需要过多的去关注模型的结果,因为模型的结果的分值设定项最多不到20分。但是如果大家真的非常关注的话,那有必要给大家讲解一下论文结果相关的问题。很多的论文,上至国赛优秀论文下至不获奖的论文并不是所有的论文都可以进行完整的复现求解,大部分数模论文都为存在一个灰色地带。         白色地带即认为所有的代码均可运行、公开

CSP-J基础之数学基础 初等数论 一篇搞懂(二)

文章目录 前言算术基本定理简介什么是质数?举个简单例子:重要的结论:算术基本定理公式解释:举例: 算术基本定理的求法如何找出质因数:举个简单的例子: 重要的步骤:C++实现 同余举个例子:同余的性质简介1. 同余的自反性2. 同余的对称性3. 同余的传递性4. 同余的加法性质5. 同余的乘法性质 推论 总结 前言 在计算机科学和数学中,初等数论是一个重要的基础领域,涉及到整数