之前也跟大家討論了數(shù)學(xué)思維,數(shù)學(xué)在生活各方面的一些應(yīng)用宣决,然而數(shù)學(xué)不是萬(wàn)能的蘸劈。
比如由勾股定理的數(shù)學(xué)形式x^n+y^n=z^n引發(fā)出費(fèi)馬大定理,(任意大于2的整數(shù)就不存在整數(shù)解)尊沸,既叫定理那便是已經(jīng)證實(shí)了的問(wèn)題威沫。證明這個(gè)古老的問(wèn)題的意義:在證明本身過(guò)程中就導(dǎo)致了許多數(shù)學(xué)研究成果的出現(xiàn),特別是對(duì)于橢圓方程的研究椒丧,今天區(qū)塊鏈技術(shù)的橢圓加密方法就是以它為基礎(chǔ)的。
更一般性的問(wèn)題是含有多項(xiàng)式的不定方程像x^n+my+z^n=0有無(wú)整數(shù)解救巷?(希爾伯特第十問(wèn)題)壶熏,它已經(jīng)涉及了數(shù)學(xué)的邊界問(wèn)題。
歐美數(shù)學(xué)家真正投入巨大的精力來(lái)解決這個(gè)問(wèn)題是二戰(zhàn)之后浦译,這個(gè)問(wèn)題的答案同時(shí)能夠回答計(jì)算機(jī)能夠處理問(wèn)題的邊界棒假。
后人證實(shí)這個(gè)問(wèn)題是無(wú)解的溯职,對(duì)希爾伯特第十問(wèn)題的否定回答也被稱為馬季亞謝維奇定理。
無(wú)解即意味著通過(guò)數(shù)學(xué)方式我們無(wú)法判斷問(wèn)題答案的存在與否帽哑,就更不用說(shuō)通過(guò)數(shù)學(xué)方法解決它了谜酒,這樣就為數(shù)學(xué)劃定了一個(gè)明確的邊界,而我們相信基于數(shù)學(xué)的人工智能并不是無(wú)所不能的妻枕。
正如圖靈所說(shuō)僻族,我們所能前瞻不遠(yuǎn),卻有很多事情要做屡谐。