子沵

靈感突發(fā)词爬，問(wèn)友人: 請(qǐng)想象NLP(自然語(yǔ)言處理)已經(jīng)充分成熟的時(shí)代锣杂，具有閱讀障礙的人們想創(chuàng)造這樣一種“輔助閱讀器”撑瞧。 這個(gè)機(jī)器本身并不一定理解具體的語(yǔ)詞央渣，但它就像“中文屋”里...

十酒三

設(shè)想這樣一個(gè)情境：面對(duì)問(wèn)題X，算力不限的證明方（Prover）試圖通過(guò)輪流問(wèn)答來(lái)說(shuō)服算力等同于概率性圖靈機(jī)的驗(yàn)證方（Verifier）接受他的解答榄融，但驗(yàn)證方懷疑證明方可能別...

十酒三

要避免對(duì)這個(gè)關(guān)鍵概念的誤解参淫，首先要明確的是在《邏輯哲學(xué)論》的語(yǔ)境下，一切能夠用于表示/描述/對(duì)應(yīng)某個(gè)事實(shí)的東西都算作一種語(yǔ)言愧杯，包括而不限于肢體動(dòng)作，繪畫(huà)鞋既，音樂(lè)力九，甚至思想本身...

十酒三

假如你代表某個(gè)異星文明，打算與遠(yuǎn)方的星際艦隊(duì)進(jìn)行通信跌前。 由于某些原因棕兼，你害怕被未知的異星文明發(fā)現(xiàn)。你的通信效率受到很?chē)?yán)格的要求抵乓，必須用設(shè)備功率和尺度所允許的最高值伴挚，好在你的技...

十酒三

庫(kù)爾特·哥德?tīng)栍袃蓚€(gè)名字相對(duì)立的定理：哥德?tīng)柾陚湫远ɡ砗透绲聽(tīng)柌煌陚湫远ɡ怼＝榻B后者影響力的讀物有時(shí)會(huì)將兩者相提并論灾炭，然后指出：它們一起說(shuō)明了完備性只對(duì)充分弱的系統(tǒng)存在茎芋。這...

十酒三

經(jīng)典物理學(xué)中蘊(yùn)含的因果決定論（causal determinism）思想曾被認(rèn)為與“人是具有自由意志的個(gè)體”這一提法相矛盾，而人的自由意志對(duì)于倫理學(xué)和哲學(xué)又是很重要的假設(shè)蜈出。...

十酒三

或許你會(huì)認(rèn)為，機(jī)器是否能夠有意識(shí)地思考不能從像圖靈測(cè)試這樣的行為表現(xiàn)測(cè)試中判斷出來(lái)铡原。哲學(xué)家丹尼爾·丹尼特提出了一個(gè)很有趣的反駁偷厦，粗略來(lái)講，那就是：這種想法是違背生物演化論...