Re: [閒聊] 有沒有作品是主角要找的東西是真的不存在

我覺得數學家很可能就遇到這個狀況。

那就是，大名鼎鼎的「哥爾德不完備定理」

這個定理闡明，在某些狀況下，我們可以製造出一些命題，

是對的，但無法證明他是對的；或者是錯的，但你永遠也無法證明他是錯的。

這聽起來挺詭異的，又不是要跟老婆證明自己沒有外遇，只能靠惡魔的證明，

可數學中還真的會發生這種狀況。

或許有些人會覺得，這個世界怎麼可能會有無法證明正確性的東西？

只是人類還不夠聰明吧？

三大尺規作圖問題、費馬最後定理、四色定理都一一被人類攻克，

不是被證偽，就是被證明成功（四色定理有不少波折，但最終也是被承認了）

現在還有很多的著名猜想，例如黎曼猜想，NP問題，

根據哥爾德不完備定理，這些目前為止都找不到反例的猜想，

會不會屬於「對的，但無法證明」的類型呢？

坦白說，沒有人知道這點。

更糟糕的是，也許我們會發現我們絕對無法辨別到底一個命題是否可證明，

頂多就是用量子電腦，窮舉一定長度的文章所有可能排列，

但這最終不是個證明，也許他只是需要更長的內容來證明。

※ 引述《BigMacGCB (尊重友善包容)》之銘言：
: 我想問的是，
: 某些故事的主線是主角要找尋某樣人事物，
: 像海賊王就是魯夫要找尋大秘寶，
: 這樣人事物以下用A來代稱。
: 如果A是被故事中大眾認為根本不存在的東西(或是人)，
: 在大多的作品，
: 主角應該都還是真的能把A找出來，
: 所以我有點好奇，
: 有沒有那種主角不停地找，
: 結果最後發現大家說的才是對的，
: 所謂的A根本他媽的不存在，
: 有點白忙一場的感覺，
: 而且在其他人眼裡跟傻子一樣，
: 不曉得有沒有這樣的作品？

--
以雙眼親睹靈魂的奧秘
以雙手掌握生命的法則

人類不應觸及，僅屬於神祇的禁忌之天頂…不曾存在！

--

其實我的右手也是幻想殺手