新未名空间

智能就是能确定真假。
上帝就是全知全能。
杨戬是有第三只眼识别真假。
孙悟空是炼了火眼金睛。
所以人都想做上帝，但做上帝的必要条件是，生物

判断什么的真假？

forecasting 写了： 2025年 2月 19日 21:01 智能就是能确定真假。
上帝就是全知全能。
杨戬是有第三只眼识别真假。
孙悟空是炼了火眼金睛。
所以人都想做上帝，但做上帝的必要条件是，生物

想多了。哥德尔早解决这个问题了。按你说的智能不存在。还有图灵的博士学位论文。按你说的就是准上帝。

BTW：你们不承认的（如果）P = NP和这个也类似。

Caravel 写了： 2025年 2月 20日 00:51 判断什么的真假？

确定命题真假

牛河梁 写了： 2025年 2月 20日 00:58 想多了。哥德尔早解决这个问题了。按你说的智能不存在。还有图灵的博士学位论文。按你说的就是准上帝。

BTW：你们不承认的（如果）P = NP和这个也类似。

股版有青草，老牛也green，尽情吃，这里才不会给太green的东西与你相配

老牛GPT读了你的prompt，自动生成出上面的回答。

forecasting 写了： 2025年 2月 20日 04:41 股版有青草，老牛也green，尽情吃，这里才不会给太green的东西与相配

收到，以后不打搅你们的雅兴。

forecasting 写了： 2025年 2月 20日 04:39 确定命题真假

人靠证明确定命题真假，都要写在纸上

人能做的，机器理论上都能做

Caravel 写了： 2025年 2月 20日 11:23 人靠证明确定命题真假，都要写在纸上

人能做的，机器理论上都能做

两句话都不对。
第一句话等于说“人靠计算确定命题真假”。你证明或计算的条件或公理怎么确定真假，也靠计算吗？

第二句等于说，人脑就是图灵机。CT-thesis说的是人能计算的TM也能计算，TM能计算的，人也能计算。是论题而非定理，而且是说计算能力等价，没说其他的。

牛河梁 写了： 2025年 2月 20日 11:03 老牛GPT读了你的prompt，自动生成出上面的回答。



收到，以后不打搅你们的雅兴。

难怪我读得满头雾水。

我可不好意思拿机器的回答去回复人的问题而不说明，即使我认可机器回答，也会注明。

另外，你不知道chatGPT有错，而且经常胡言乱语吗？

forecasting 写了： 2025年 2月 20日 14:22 难怪我读得满头雾水。

我可不好意思拿机器的回答去回复人的问题而不说明，即使我认可机器回答，也会注明。

另外，你不知道chatGPT有错，而且经常胡言乱语吗？

老牛GPT。不是ChatGPT。老牛不反对很多人认为老牛经常胡言乱语，像ChatGPT。老牛不以为耻。

你不会没听说过，（有限的/可数的）逻辑系统里存在不能被（系统本身）证明/证否的命题吧。这难道不应该是common sense了。

但图灵的博士学位论文的确给出了一个（你的）全知全能上帝。没读过图灵博士论文的很多。不排除你也没读过。

图灵引用了哥德尔的思想。但没有证据哥德尔死前读过或对图灵的看法有过任何表示。虽然他们都曾在普林斯顿。

图灵的博士论文现在很冷门。老牛知道两位学术传人在斯坦福。老牛曾想过厚脸皮去请教。谁知道都去世了。

不过如果你也被这些（图灵的）邪门歪道武装起来，很可能也会像Skywalker那样加入Dark Side。

forecasting 写了： 2025年 2月 20日 14:06 两句话都不对。
第一句话等于说“人靠计算确定命题真假”。你证明或计算的条件或公理怎么确定真假，也靠计算吗？

第二句等于说，人脑就是图灵机。CT-thesis说的是人能计算的TM也能计算，TM能计算的，人也能计算。是论题而非定理，而且是说计算能力等价，没说其他的。

条件是人为加入的，这部分谈不上正确错误

Caravel 写了： 2025年 2月 20日 15:11 条件是人为加入的，这部分谈不上正确错误

条件不真，结论没意义，纯粹证明技巧训练。要不然讲什么存在性？