乡下人产国偷v产偷v自拍,国产午夜片在线观看,婷婷成人亚洲综合国产麻豆,久久综合给合久久狠狠狠9

  • <output id="e9wm2"></output>
    <s id="e9wm2"><nobr id="e9wm2"><ins id="e9wm2"></ins></nobr></s>

    • 人類數(shù)學(xué)中的結(jié)界,永遠(yuǎn)無(wú)法跨越的障礙!—哥德?tīng)柌煌陚湫远ɡ恚?/span>

       宣城華廈圖書館 2017-11-15

      數(shù)學(xué)——在大多數(shù)人心目中,都是完美的、融洽的、毫無(wú)漏洞的;當(dāng)然對(duì)某些人來(lái)說(shuō),也是觸不可及的。

      沒(méi)錯(cuò),在二十世紀(jì)前,數(shù)學(xué)一直都被認(rèn)為是自洽的,沒(méi)有矛盾的,可是在1931年后,這個(gè)認(rèn)知就被一個(gè)定理打破了,它就是大名鼎鼎的——哥德?tīng)柌煌陚湫远ɡ怼?/strong>

      人類數(shù)學(xué)中的結(jié)界,永遠(yuǎn)無(wú)法跨越的障礙!—哥德?tīng)柌煌陚湫远ɡ恚? data-index=

      哥德?tīng)柌煌陚湫远ɡ?/p>

      這就是完整的哥德?tīng)柌煌陚湫远ɡ?,被譽(yù)為二十世紀(jì)最偉大的發(fā)現(xiàn)之一,由奧地利裔美國(guó)數(shù)學(xué)家哥德?tīng)枺℅oedel,1906-1978)在1931年提出。

      該定理的描述其實(shí)是說(shuō),只要數(shù)學(xué)系統(tǒng)包含了初等數(shù)論描述,那么該系統(tǒng)的自洽性和完備性就不可能同時(shí)得到滿足。該定理一出就震驚整個(gè)科學(xué)界,然后一舉粉碎了數(shù)學(xué)家們二千多年來(lái)統(tǒng)一數(shù)學(xué)的愿望,然后魔爪延伸至哲學(xué),甚至物理學(xué)。

      最為人所知的不可判定命題,當(dāng)屬歐幾里德第五公設(shè)(也叫平行公設(shè)),該命題已經(jīng)被證實(shí)為不能證明也不能證偽,因?yàn)槲覀兗僭O(shè)平行線不相交也是能相容的,在更高級(jí)的系統(tǒng)中相容。

      人類數(shù)學(xué)中的結(jié)界,永遠(yuǎn)無(wú)法跨越的障礙!—哥德?tīng)柌煌陚湫远ɡ恚? data-index=

      歐幾里德第五公設(shè)

      哥德?tīng)柌煌陚湫远ɡ淼囊饬x非常深刻,以至于數(shù)學(xué)家們感嘆道'上帝是存在的,因?yàn)閿?shù)學(xué)無(wú)疑是相容的;魔鬼也是存在的,因?yàn)槲覀儾荒茏C明這種相容性。'

      可有趣的是,我們雖然不能證明這種相容性,但是我們居然能證明'這種相容性無(wú)法被證明'。數(shù)學(xué)家的語(yǔ)言,可真是形如鬼魅啊。

      其實(shí),關(guān)于哥德?tīng)柌煌陚湫远ɡ淼挠绊?,遠(yuǎn)遠(yuǎn)不止數(shù)學(xué)領(lǐng)域,甚至在哲學(xué)領(lǐng)域都涉其根本,物理學(xué)也遇到了類似的問(wèn)題,在2016年,霍金在一次演講中,提道哥德?tīng)柌煌陚湫远ɡ頃r(shí):'我們迄今所有的物理學(xué)理論,既是不相容的,也是不完備的!'

      哥德?tīng)柌煌陚湫远ɡ淼耐茖?dǎo)過(guò)程,本質(zhì)上都是從一個(gè)著名的'說(shuō)謊者悖論'開始的,該悖論的深刻意義,反映了我們?nèi)祟惖恼Z(yǔ)言在邏輯上的缺陷,或許這就是我們?nèi)祟愓J(rèn)知的必然缺陷吧!

      人類數(shù)學(xué)中的結(jié)界,永遠(yuǎn)無(wú)法跨越的障礙!—哥德?tīng)柌煌陚湫远ɡ恚? data-index=

      說(shuō)謊者悖論

      該定理對(duì)數(shù)學(xué)界來(lái)說(shuō),是個(gè)非常大的災(zāi)難,因?yàn)樵谖覀兊臄?shù)學(xué)系統(tǒng)中,陸續(xù)發(fā)現(xiàn)了一些不能被證偽,也不能被證明的命題,而且這些命題越來(lái)越初等化。

      比如這個(gè)命題:如果我們用可數(shù)種顏料,對(duì)每一個(gè)實(shí)數(shù)進(jìn)行染色,那么是否必定存在四個(gè)互不相等的數(shù)x、y、z、w,使得他們顏色相同而且滿足等式x+y=z+w?

      人類數(shù)學(xué)中的結(jié)界,永遠(yuǎn)無(wú)法跨越的障礙!—哥德?tīng)柌煌陚湫远ɡ恚? data-index=

      不可判定的問(wèn)題

      該命題就是不能判定的,因?yàn)橛腥俗C明了它和連續(xù)統(tǒng)假設(shè)等價(jià),而連續(xù)統(tǒng)假設(shè)就是不能判定的命題之一。

      既然數(shù)學(xué)中有了這個(gè)魔鬼,那么數(shù)學(xué)家是怎么解決的呢?其實(shí)數(shù)學(xué)家解決不了這個(gè)問(wèn)題,他們只能推開這個(gè)“魔鬼”定理,而且是往更高級(jí)的系統(tǒng)中推,好比推卸責(zé)任一樣。

      就如:兩個(gè)學(xué)生打架了,他們又不想負(fù)擔(dān)責(zé)任怎么辦?于是兩個(gè)學(xué)生就把責(zé)任推給班長(zhǎng),然后班長(zhǎng)推給班主任,班主任又推給校長(zhǎng),校長(zhǎng)又推給教育局局長(zhǎng)……這樣一步步下去,就好似誰(shuí)都沒(méi)有責(zé)任了。數(shù)學(xué)家對(duì)哥德?tīng)柌煌陚湫远ɡ淼奶幚矸绞揭彩沁@樣的。

      這樣的處理的確很有效,但是誰(shuí)也不知道,我們的數(shù)學(xué)系統(tǒng)中,是否已經(jīng)存在了漏洞,希爾伯特說(shuō)道:'數(shù)學(xué)家把羊趕進(jìn)圍欄,并保證狼無(wú)法進(jìn)入圍欄內(nèi),可是數(shù)學(xué)家永遠(yuǎn)不知道,原來(lái)的羊群中,是否已經(jīng)混入了狼!'

      人類數(shù)學(xué)中的結(jié)界,永遠(yuǎn)無(wú)法跨越的障礙!—哥德?tīng)柌煌陚湫远ɡ恚? data-index=

      喜洋洋灰太郎。。。嘻嘻

      要是真有那一天,那很可能就是第四次數(shù)學(xué)危機(jī)了,數(shù)學(xué)家是否能解決危機(jī),我們還不得而知,或許他們都還沒(méi)準(zhǔn)備好呢!你說(shuō)呢?

        本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點(diǎn)。請(qǐng)注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購(gòu)買等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請(qǐng)點(diǎn)擊一鍵舉報(bào)。
        轉(zhuǎn)藏 分享 獻(xiàn)花(0

        0條評(píng)論

        發(fā)表

        請(qǐng)遵守用戶 評(píng)論公約

        類似文章 更多