在數(shù)理邏輯中，哥德爾不完備定理是庫爾特·哥德爾于1931年證明并發(fā)表的兩條定理。哥德爾巧妙地利用了命題的“真值為真”和“含義為真”的區(qū)別，從而構(gòu)造出了含義為真而真值不可證的命題。
更具體內(nèi)容請看由[遇見數(shù)學(xué)翻譯小組]核心成員「山」所譯視頻。這里歡迎更多朋友加入到[遇見數(shù)學(xué)]的翻譯小組, 一道為傳播數(shù)學(xué)而前行. ?加入鏈接
生肉：https://www.youtube.com/watch?v=I4pQbo5MQOs
