答案是:永遠不可能有這種機器存在
計算機科學有兩個相當有名的定理:羅素悖論跟哥德爾定理
這兩個定理證明了,邏輯永遠是不完備的
例如:「這句話是謊話」<--請問這句話是真的還是假的?
如果他是真的,那根據這句「真話」所言,這句話應該要是假的;可是如果
這句話是假的,那根據這句「假話」那這句話要是真的啊
所以你的機器會被這種言論搞到短路,解不出來的
此定理也宣告讓電腦建築出現代的數學運算體系是不可能的
--
秉忠貞之志
守牽退之節
~~《三國演義》 荀彧
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.233.81.60 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/DummyHistory/M.1654011224.A.E7D.html