|
|
本帖最后由 晋源泉 于 2025-2-27 15:03 编辑
四色猜想（Four Color Problem）是一个经典的“数学问题”，简称4CC。随后的岁月中吸引了众多数学家的关注和研究。
1852年：弗朗西斯·古特里在观察地图时提出了四色问题，即是否可以用不超过四种颜色对任何平面地图进行着色，使得相邻区域颜色不同。
数学界的关注
1878年：英国数学家阿瑟·凯莱在伦敦数学会上正式宣布并命名这一问题为"四色问题"，从而激发了数学家们的求解欲望。
1976年：从四色猜想提出，数学家们进行了长达120多年的探索，期间该问题一度与费尔马大定理、哥德巴赫猜想并称为世界上最著名的三大数学难题。
第一代电子计算机
世界上第一台通用计算机“ENIAC”于1946年2月14日在美国宾夕法尼亚大学诞生。发明人是美国人莫克利(JohnW.Mauchly)和艾克特(J.PresperEckert)。 ENIAC以电子管作为元器件,所以又被称为电子管计算机,是计算机的第一代。 中文名 第一代电子计算机，别名 电子管计算机 。 电子计算机又叫电脑，这是因为作为信息处理的工具,电子计算机已经部分地替代了人类的工作。特别是20世纪70年代以后,微处理机的出现,使电子计算机的应用越来越广泛。 电脑不仅在传统的科学计算领域发挥着越来越大的作用,而且在其他领域的应用也相当广泛,它已经遍及人类生活的各个领域,能帮助人们处理办公室事情,能帮助各级领导制定并实施科学的决策,能帮助各行各业的专家工作。计算机不能代替人类大脑的思维工作，电脑只可以成为人类工作中服从命令的没有思想的重要工具。将计算机成为电脑只不过是人出于某种目的给于的皇冠。随着电子计算机技术的发展，数学家们用计算机对四色问题进行分析研究。
能用计算机证明“四色猜想”的一个报道：
1976年：美国数学家肯尼斯·阿佩尔和沃尔夫冈·哈肯用了三台IBM 360型高速电子计算机，耗时1200小时对四色问题的2000个有限的不同的组合结构图形分析研究后，就宣布完成了对“四色问题”的证明。
计算机能证明“四色猜想”的错误舆论误导了人们48年：
由于电子计算机在计算复杂数学问题中的速度强大和只有极少数人懂计算机工作原理的原因。再加上美国数学家肯尼斯·阿佩尔和沃尔夫冈·哈肯对“四色问题”的认识模糊。这两个数学家犯了数学家不应当犯的错误，他们用2000个有限的不同的组合结构图形的分析结果代替了对无限个不同的组合结构图形的研究结果。实际上他们的行为和1852年弗朗西斯·古特里在观察地图的行为是一样的。因为，他们两个既有数学家的光环又有计算机专家的光环。所以，他们的研究结果对另外的人来说就是“圣旨”。因此，计算机能证明“四色猜想”的这种错误舆论便产生了。1976年之后到2024年的48年间，在这种错误舆论误导的影响下，数学界也就错误的认为能用计算机作出“四色猜想”的证明。
计算机和人类是有根本性区别
今天，由于计算机的普及，大多数人对计算机的工作原理已经掌握并有了深刻的认识。
计算机是人类的使用工具， 不具有创造性的思维能力和思想，只是具有按命令性程序进行工作的能力。计算机的一切工作行为都是人类设计的，计算机能完成的一切工作都是按人类设计的一切程序进行工作的结果。计算机这种“模拟人 ”归根到底它还是机器，仅仅是人类的工作加速器。人类没有思维出工作程序的事情， 一定是设计不出工作程序的。没有程序的工作，计算机是绝对不能做的工作。 所以说：没有人类自己靠思维能力对“四色猜想”的证明，计算机一定没有对“四色猜想”的证明能力。
只有人才能破解“四色猜想”的证明
1976年能用计算机证明“四色猜想”谬论发生后 ，又掀起了人们对《四色猜想》的证明浪潮。很多人加入到了《四色猜想》的证明队伍中。
“四色猜想”的研究人员并不支持计算机能超出人类作出 4CC 证明的观点， 他们认为人类一定能够达到“作出一种简捷的人工 4CC 逻辑证明”的目标！
事实证明， 人类是能够达到上述目标的， 或者说“人工 4CC 逻辑证明 ”我们已经有了理论性很强的四色猜想成立的最简捷证明《地图 4CC 成立的 2023-12-26》和实用性 很好的较简捷的四色猜想成立的终极证明《地图 4CC 成立的终极证明 2024》。 |
|
IP卡
狗仔卡
发表于 2024-12-7 08:34
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡
楼主