迄今为止,提到“四色定理”,还无法用人类已掌握的数学来证明
但这是否就意味着,人类需要接受计算机给出的,并非显明、仅仅是有限穷举而得到的所谓证明呢,这就是一个见仁见智的问题
即便如此,对计算机的有限穷举,算不算是严格的证明了四色定理呢;
方然对此持谨慎的否定态度
在面对此类问题时,迄今为止,计算机并不被认为有这样一种能力:
迄今为止,提到“四色定理”,还无法用人类已掌握的数学来证明
飞升之前:新书发布《男人不折腰》 发表于 2020-07-13 22:36:00但这是否就意味着,人类需要接受计算机给出的,并非显明、仅仅是有限穷举而得到的所谓证明呢,这就是一个见仁见智的问题
宫斗不如当太后:第143章 番外前世之六 发表于 2021-02-05 16:58:04即便如此,对计算机的有限穷举,算不算是严格的证明了四色定理呢;
卦妃天下:第2942章 番外87:往后余生,唯我相伴【全剧 发表于 2022-10-26 00:00:00方然对此持谨慎的否定态度
假如古董会说话:第257章 发表于 2020-11-20 16:16:25在面对此类问题时,迄今为止,计算机并不被认为有这样一种能力:
病弱学霸她重生了:乔依之X李闻风3 发表于 2020-12-14 18:31:38