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