四色定理手工证明可能性的一些看法?本人数学爱好者,认为不可能的请提理由,别没理由就否定.自己写过证明,不管你们信不信,反正我是信了:)

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/12 11:50:35
四色定理手工证明可能性的一些看法?本人数学爱好者,认为不可能的请提理由,别没理由就否定.自己写过证明,不管你们信不信,反正我是信了:)

四色定理手工证明可能性的一些看法?本人数学爱好者,认为不可能的请提理由,别没理由就否定.自己写过证明,不管你们信不信,反正我是信了:)
四色定理手工证明可能性的一些看法?
本人数学爱好者,认为不可能的请提理由,别没理由就否定.自己写过证明,不管你们信不信,反正我是信了:)

四色定理手工证明可能性的一些看法?本人数学爱好者,认为不可能的请提理由,别没理由就否定.自己写过证明,不管你们信不信,反正我是信了:)
可能性应该是存在的.机器证明的数理逻辑的很多问题也是目前正在发展的领域之一,所以未来可能会有更好的结论可以给出判别一些定理的证明是否存在在极其有限的步骤和时间内证明的证明的数理逻辑条件.在那之前谁都说不准.至于楼主这般讨论,精神可嘉,但我个人更建议楼主再多学些理论积累再思考这个问题,也许会让你豁然开朗.
最近半个世纪世界上刚刚解决的数学问题的证明几乎全部都是需要我们学很多很多知识才能看懂的、而且篇幅一般都很长的(容易看懂,又很短的基本都是有漏洞的错误证明).这个很容易理解,特别是对于那些存在很久了的历史性大问题,如果有简单的证明方法那么有很大的可能性早就该被解决了.所以留下来的基本可以认定不是靠嘴皮子随便讨论讨论就能出来的东西,需要很多数学界的人经过更加艰难的努力才能得到.