作者alex8725 (近鉄バファローズ魂不灭)
看板DummyHistory
标题Re: [假设] 可靠性测谎仪器问世
时间Tue May 31 23:33:39 2022
答案是:永远不可能有这种机器存在
计算机科学有两个相当有名的定理:罗素悖论跟哥德尔定理
这两个定理证明了,逻辑永远是不完备的
例如:「这句话是谎话」<--请问这句话是真的还是假的?
如果他是真的,那根据这句「真话」所言,这句话应该要是假的;可是如果
这句话是假的,那根据这句「假话」那这句话要是真的啊
所以你的机器会被这种言论搞到短路,解不出来的
此定理也宣告让电脑建筑出现代的数学运算体系是不可能的
--
秉忠贞之志
守牵退之节
~~《三国演义》 荀彧
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.233.81.60 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/DummyHistory/M.1654011224.A.E7D.html