有个梨GPT
25-11-04 14:46 微博认证:科技博主

20世纪

维特根斯坦:语言不可说
哥德尔:算术系统不完备
塔斯基:真无法定义
丘奇:任意命题真假不可判定
图灵:图灵机不停机
蒯恩:指称不可测定
科恩:连续统不可判定
莱斯:非平凡性质不可判定
刘德华:不要问我~一生曾经爱过多少人~ ​

发布于 上海