数学漫步之旅 第5集 的全部讨论

关于第5集 · · · · · ·

• 本集名称: 哥德尔定理
• 本集原名: Le théorème de Gödel
• 剧情简介: Les maths, on le sait, sont le domaine de la certitude : soit c’est démontrable, soit c’est faux. Sauf que c’est précisément l’inverse qu’a prouvé le ... théorème de Gödel : au sein de tout système formel suffisamment complexe pour englober l’arithmétique, il existe des propositions « indécidables », qu’on ne peut ni prouver ni réfuter ! 更多»