一百年沧桑巨变，数学大树依然长青

一百年沧桑巨变，数学大树依然长青

在十九世纪初期，希尔伯特提出一个“大纲”，想给整个数学奠定一个牢不可破的基础。大纲内容如下（有三点）：

1、A formulation of all mathematics; in other words allmathematical statements should be written in a precise formal language, andmanipulated according to well defined rules.

2、Consistency: a proof that no contradiction can be obtainedin the formalism of mathematics. This consistency proof should preferably useonly "finitistic" reasoning about finite mathematical objects.

3、Decidability:there should be an algorithm for deciding the truth or falsity of anymathematical statement.

希尔伯特的上述“大纲”，虽然想法很好，可是，被哥德尔的“不完全性定理”打乱了，世界数学界似乎乱了套。

一百年来，世界数学界沧桑巨变，似乎看不到光明的前景。直到本世纪初，2005年，R.Zach发现，只要略微改变上述三点（目标），即可恢复希尔伯特当年的“大纲”，使数学大树依旧长青。

R,Zach的更改建议如下：

1、Although itis not possible to prove completeness for systems at least as powerful as Peanoarithmetic (at least if they have a computable set of axioms), it is possibleto prove forms of completeness for many other interesting systems. The firstbig success was by Gödel himself (before he proved the incompleteness theorems)who proved the completenesstheorem for first-order logic,showing that any logical consequenceof a series of axioms is provable. An example of a non-trivial theory for whichcompleteness has been proved is the theory of algebraically closed fields ofgiven characteristic.

2、The question of whether there are finitaryconsistency proofs of strong theories is difficult to answer, mainly becausethere is no generally accepted definition of a "finitary proof". Mostmathematicians in proof theory seem to regard finitary mathematics as beingcontained in Peano arithmetic, and in this case it is not possible to givefinitary proofs of reasonably strong theories. On the other hand, Gödel himselfsuggested the possibility of giving finitary consistency proofs using finitarymethods that cannot be formalized in Peano arithmetic, so he seems to have hada more liberal view of what finitary methods might be allowed. A few yearslater, Gentzen gave a consistency prooffor Peano arithmetic. The only part of this proof that was not clearly finitarywas a certain transfinite inductionup to the ordinal ε₀. If this transfinite induction isaccepted as a finitary method, then one can assert that there is a finitaryproof of the consistency of Peano arithmetic. More powerful subsets of secondorder arithmetic have been given consistency proofs by Gaisi Takeuti and others, and one can againdebate about exactly how finitary or constructive these proofs are. (Thetheories that have been proved consistent by these methods are quite strong,and include most "ordinary" mathematics.)

3、Althoughthere is no algorithm for deciding the truth of statements in Peano arithmetic,there are many interesting and non-trivial theories for which such algorithmshave been found. For example, Tarski found an algorithm that can decide thetruth of any statement in analytic geometry (more precisely, he proved thatthe theory of real closed fields is decidable). Given the Cantor–Dedekind axiom,this algorithm can be regarded as an algorithm to decide the truth of anystatement in Euclidean geometry.This is substantial as few people would consider Euclidean geometry a trivialtheory.

注：由此可见，无穷小微积分理论基础，坚如磐石，不受任何影响。

袁萌 10月30日

一百年沧桑巨变，数学大树依然长青相关推荐

兴衰成败三百年：俄罗斯数学的光荣与梦想
彼得大帝的科学院:蒙昧中的火炬我曾经写过德国哥廷根学派的故事<兴衰成败两百年:黎曼猜想背后的德国哥廷根学派>.这次借着华为的故事,说说数学界另外一个重要流派,俄罗斯数学. 讲俄罗斯的数学 ...
谁才是百年计算机的数学灵魂：莱布尼茨、图灵还是希尔伯特？
点击上方,选择星标或置顶,不定期资源大放送! 阅读大概需要15分钟 Follow小博主,每天更新前沿干货来源:算法与数学之美编辑:SF [导读]这些探索和研究在当时实际并不是为了计算机产生而进行的 ...
单核到多核的转变无疑是沧桑巨变
自从2002年开始,受到功耗,指令级并行程度和长的存储器延迟限制,单核处理器的性能增长放缓. 于是在2006年,所有的桌面和服务器公司都进入多核领域,以求更大的吞吐量,而不是追求单个处理器的响应时间. ...
为什么边缘概率密度是联合概率密度的积分_为什么有人考研花了大把的时间复习数学却依然考砸了？...
一年花八个月复习数学,最后只考30-50分,然后英语政治靠突击. 这些片面信息让人第一感觉就是学习规划太不靠谱,甚至是散漫,让我联想到了: ①数学太难了,将近80%的时间都在刷题看书,所以其他三科只能 ...
9组数据，看懂新中国成立70周年沧桑巨变！
图文来自@人民日报
百年老店焕发青春中华医学会杂志社漫步云端
点击上方关注我们! 同仁堂.六必居.茅台酒--这些驰名中外的中华老字号,它们不仅成立时间悠久,而且依靠诚信经营和产品服务上的特色,虽然历经百年沧桑,到今天仍为人津津乐道.其实,不仅在商业领域,在出版界 ...
Java数学竞赛的名次情况,网传丘成桐「怒斥」2020丘赛清华排名：一流大学的数学人才，究竟该怎么培养？...
面对清华在第十一届丘成桐大学生数学竞赛中的成绩,丘成桐又一次「愤怒」了,这些话似乎呼应了他之前公开表达过的隐忧:「如果不重视基础教育,以目前的本科教育模式,国内不可能培养出一流人才.」 10 月 12 ...
数据解读：中国铁路百年发展史，从“追赶者”到领先世界
编辑:Mika 数据:永洪科技 [导读] 回顾百年历史,中国铁路从开始的艰难曲折发展,到新中国成立后,在党的正确领导下,从设备落后.技术垄断到高速度高质量发展转变.截止2020年底,高铁运营里程达3. ...
GPT-3数学不及格，愁坏伯克利团队，于是他们出了12500道数学作业
点击上方"视学算法",选择加"星标"或"置顶" 重磅干货,第一时间送达贾浩楠发自凹非寺量子位报道 | 公众号 QbitAI GPT ...

一百年沧桑巨变，数学大树依然长青

一百年沧桑巨变，数学大树依然长青相关推荐

最新文章

热门文章