弗朗·格森不可判定性是義大利著名數學家弗朗在研究哥德巴赫猜想時提出的定理,該定理是在哥德爾不完備性定理的基礎上提出的,它指出現今的一部分著名的數學猜想是無法證明或證偽的,比如哥德巴赫猜想。
基本介紹
- 中文名:弗朗·格森不可判定性
- 外文名:The theory of fraong gerson
- 別稱:弗朗定理
- 提出者:弗朗·格森
- 提出時間:2014年12月9日
- 套用學科:數學
- 適用領域範圍:數論、分析
弗朗·格森不可判定性是義大利著名數學家弗朗在研究哥德巴赫猜想時提出的定理,該定理是在哥德爾不完備性定理的基礎上提出的,它指出現今的一部分著名的數學猜想是無法證明或證偽的,比如哥德巴赫猜想。
- 該定理最重要的結果就是徹底解決了哥德巴赫猜想,弗朗指出用計算機可以在任何有限的情況驗證哥德巴赫猜想,但是一旦到無限的情況就行不通了,通過深入的研究,他在哥德爾不完備性的基礎上成功的證明哥德巴赫猜想屬於不可判定的一類,徹底解決困擾數學家們很久的難題。