国产成人精品日本亚洲11,真实国产乱子伦视频对白,亚洲中文字幕AV 址,男女 久久精品亚洲A

茼蒿小說(shuō)

字:
關(guān)燈 護(hù)眼
茼蒿小說(shuō) > 走進(jìn)修仙 > 第868章 “大道圣音”【下】

第868章 “大道圣音”【下】(2/2)

個(gè)函數(shù)。在定義λ項(xiàng)的時(shí)候,它被允許將任意一個(gè)函數(shù)處理成另一個(gè)λ項(xiàng)。
    既然是“任意一個(gè)函數(shù)項(xiàng)”,那必然就包含了λ項(xiàng)自身。
    那么,它能夠處理自身嗎?
    “自我指涉,多么神奇的一個(gè)概念?!眻D靈真人贊道:“我感覺,我們現(xiàn)在工作的核心部分都和它息息相關(guān)了?!?
    “‘此言不真’的真假之辨,都已經(jīng)存在了上萬(wàn)年,但王崎之前,未有人認(rèn)識(shí)到它內(nèi)里的恐怖內(nèi)涵?!瘪T落衣點(diǎn)點(diǎn)頭,同意了圖靈的看法。
    不完備也是,不可判定也是。這個(gè)“自我指涉”,好像就是邏輯上的一個(gè)界碑。它就是算學(xué)本身界限上,一個(gè)顯眼的界碑。
    仿佛就是有這么一條界限,牢牢限制住了邏輯的發(fā)展。
    跨過(guò)這個(gè)界限,要么就只能面對(duì)無(wú)窮無(wú)盡的死循環(huán),要么就只能自相矛盾,站不穩(wěn)跟腳。
    如何繞過(guò)這個(gè)限界,一度是數(shù)學(xué)家們最關(guān)心的問(wèn)題。
    “這次的嘗試,算是敗了?!眻D靈真人緩緩說(shuō)道:“這個(gè)被我成為萬(wàn)象算法的算術(shù),還有其他意義,我過(guò)些時(shí)候再整理出來(lái)。接下來(lái)我講的,卻是我個(gè)人的一個(gè)小小想法。”
    “假如――只是假如。”圖靈真人強(qiáng)調(diào)道:“若是我們真的可以繞過(guò)那個(gè)界限――這里我們暫且不管具體是怎么繞過(guò)的,只說(shuō)我們可以做到這一點(diǎn)。就當(dāng)天道突然就得廉價(jià)了,‘大道之音’‘梵圣禪唱’之類的靈犀充盈與天地之間,然后我們可以輕易的建立這么一臺(tái)算器,它直接連通大道,可以給定一切特定問(wèn)題的答案……”
    王崎心中明了。圖靈真人說(shuō)的,在地球上便被稱作“諭示機(jī)”。
    “諭示機(jī)”,是另一連著“上帝”的圖靈機(jī),是關(guān)著先知的黑箱。假如說(shuō),有一個(gè)諭示機(jī)帶有素?cái)?shù)判定諭示,它除了能做普通圖靈機(jī)能做的一切事情以外,還能瞬間判定紙帶上寫的某個(gè)自然數(shù)是否素?cái)?shù),而不需要實(shí)際去計(jì)算。
    那么,一些原本涉及自我指涉、涉及矛盾的問(wèn)題,諭示機(jī)能夠解決嗎?
    比如說(shuō),自我指涉引發(fā)的矛盾。
    “這就是最近做出的另外一個(gè)猜想了。這個(gè)‘自我指涉’,究竟能不能繞過(guò)去呢?”圖靈真人苦笑:“虛構(gòu)出的大道圣音,究竟能不能解決這個(gè)問(wèn)題?”
    數(shù)學(xué)經(jīng)常有這種證明方法,就是先假定一個(gè)東西存在,然后再根據(jù)這個(gè)前提做種種邏輯推演。
    圖靈真人這做出的推演,其本質(zhì)就是――找出一個(gè)我想象當(dāng)中無(wú)所不能的存在,假定它能夠解決原本不可判定的問(wèn)題,然后再看它究竟能夠解決什么問(wèn)題。
    “我們想象出來(lái)的東西,究竟能不能完成這項(xiàng)事業(yè)呢?”圖靈真人看著王崎和馮落衣,平靜的問(wèn)道:“若是可行,則代表我們的道路還有一線希望。但就算我們假象當(dāng)中的無(wú)所不能都做不到……”
    馮落衣問(wèn)道:“其結(jié)果如何?”
    圖靈真人報(bào)之以苦笑:“不怎么好。”
    如果存在一個(gè)判斷停機(jī)問(wèn)題的程序甲(甲需要的輸入是一個(gè)程序),我們?cè)贅?gòu)造一個(gè)新的程序乙,這個(gè)程序調(diào)用甲但是與甲的輸出正好相反:如果乙的輸入經(jīng)甲判斷為停機(jī),則乙不停機(jī);如果乙的輸入經(jīng)甲判斷為不停機(jī),則乙停機(jī)。
    假定存在帶有停機(jī)問(wèn)題諭示的諭示機(jī),如果這臺(tái)機(jī)器的紙帶上寫著一臺(tái)普通圖靈機(jī)的“代碼”以及輸入,那么它不需要計(jì)算就能可以瞬間知道,這臺(tái)普通圖靈機(jī)遇到指示的輸入時(shí)到底會(huì)不會(huì)停機(jī)。
    可是,若是將即使將證明中的所有“圖靈機(jī)”三個(gè)字都換成“帶有‘?dāng)?shù)論問(wèn)題’諭示的諭示機(jī)”,其他部分一字不易呢?不完備的證明依然成立!
    或許是人類自身的思維限制了他們的想象吧,就算是人類想象當(dāng)中的無(wú)所不能,也不能跨過(guò)這道線。
    即使是大道圣音,也敲不開這一道門。
『加入書簽,方便閱讀』
內(nèi)容有問(wèn)題?點(diǎn)擊>>>郵件反饋
火爆小說(shuō)
快穿之男主的錢都是我的 成為皇帝從贅婿開始 燈塔法師 炮灰女配要反攻 都市最強(qiáng)醫(yī)神 我和我那倒霉妹妹 糖心蜜意 凌天劍尊 都是月亮惹得禍 蜜愛小甜妻:老公,請(qǐng)親親!
推薦新書