2016 - 2024

感恩一路有你

hilbert是什么意思 如何简单清晰地解释哥德尔不完备定理?

浏览量:1124 时间:2021-03-14 08:18:23 作者:admin

如何简单清晰地解释哥德尔不完备定理?

库尔特。Godel在1931年发表了一篇重要的论文:关于数学原理和系统i的形式不可判定命题。本文证明了一个以他的名字命名的不完全性定理(这里的完备性是指完备性)。这个定理说:在任何形式系统中(可以简单地理解为由一些公理组成),包含了初等数论的相容性(这里相容性意味着没有矛盾),存在一个不可判定命题(这句话可以简单地理解为既不能证明命题是正确的,也不能证明命题是错误的)。)也就是说,无论是命题本身,还是命题的否定,都不能在系统中得到证明。在二元逻辑中,命题及其否定必须是真的,不可否认命题是真的。因此,不完全性定理实际上断言在上述系统中存在一个不可否认的“真”命题。这个表达式通常被称为哥德尔第一定理。

该定理的另一个推论是,包含初等数论的形式系统的一致性在该系统中是不可证明的。这个表达式通常被称为哥德尔第二定理。哥德尔定理,通俗地说,是指在现有的公理和定理下存在一些命题。他们既不能证明是非。那么数学中有这样一个命题吗?。数学中有这样一个命题,即连续性假设。事实上,现在人们把它当作一条公理。一般来说,连续的一般假设是直线上的点与实数的个数相等,即点的个数等于实数的个数。

哥德尔定理是现代逻辑发展史上的一座丰碑和转折点。它开辟了现代逻辑发展的新时期。哥德尔的不完全性定理、塔斯基的形式语言真值理论、图灵机和决策问题理论被国际逻辑学界誉为现代逻辑学的三大成就。亚里士多德是古希腊最伟大的思想家。他创立了古典形式逻辑,被西方人称为“逻辑之父”。有人认为,唯一能与亚里士多德相比的现代逻辑学家是哥德尔。他的不完全性定理。它是20世纪数理逻辑领域最杰出的成就。

德国的“施蒂芬计划”,是怎样的一份计划?彻底地执行了吗?

以上答案太复杂了。简单地说,计划是以东攻西。德军将主力分为三支,分别部署在东线和西线。东线的东普鲁士军队最弱。它的主要任务是为东线决战而战斗数月,拖延素有蒸汽滚轴美誉的俄军。

西军被分为两个部分,执行进攻西部和东部的任务。首先,一支部署在阿尔萨斯和洛林(一战期间属于德国)的军队负责伪装法国东部的军事要塞(当时没有马其诺防线,但以凡尔登等城市要塞为中心的防线无法跨越),

驻扎在莱茵河下游的军队他在战争开始时绕过法国后方进入并占领了比利时。法国前线的军队在战争中期被歼灭,随后巴黎被进一步占领,结束了西线战役。最后,主力集中在东线与沙俄作战。这是斯塔芬计划的一般程序。其主要实质是迅速包围西线盟军,争取速决。

显然,至少在第一次世界大战的技术条件下,这是做不到的。当时军队没有配备大量车辆。军队依靠牛马,行动缓慢,需要复杂的后勤补给。这样的部队是绝对不可能进行长距离的快速进攻和包围的。更要命的是,比利时和法国北部的河流是由南向北的,一条接一条地阻挡了德军的前进,限制了行军的速度。

直到第二次世界大战,纳粹反机械化部队、空军和装甲部队才合作夺取了复杂河流上的重要桥梁。装备摩托车的机动部队是快速行军的基本力量。这在第一次世界大战期间是绝对不可能的。

hilbert是什么意思 hilbert空间 hilbert变换matlab

版权声明:本文内容由互联网用户自发贡献,本站不承担相关法律责任.如有侵权/违法内容,本站将立刻删除。