我反对阿贝尔的所谓机器证明

一览众山小

雷明85639720 发表于 2021-5-28 12:02
我看你才是跑到这里自找没趣来了！你说说我对阿说的那些地方不对呢？指出一条也可以呀！

你只崇拜笔算，那好，有人算数麻袋的草稿纸，你就算十麻袋的草稿纸，那你更了不起。无视电脑证明的先进性，放着先进工具不用，自讨苦吃，但苦不出什么结果。

雷明85639720

你是在盲目的相信机器能进行证明的！完全没有用自已的头脑去分析阿的文章都写了些什么。

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

,,,,,,,,

一览众山小

使用电脑编程计算技术解决问题就像使用望远镜观察远景看得更清晰一些，有什么不好？

雷明85639720

一览众山小：

1、程序是人编出来的。人只所以能编程序，是因为人不用计算机能解决问题，才编了程序去叫计算机执行，代替人的工作。
2、而人都还不会解决的问题，如何去编程序呢？如果说阿贝尔用计算机证明了四色猜测，那就是说明人是可以证明四色猜测，但至今数学界为什么还有很多人对阿的证明提出了这样那样的问题呢？
3、阿贝尔自已的文章里面也没有说他们证明了四色猜测是否是正确的，而只是笼统的说了一句他们“证明了”四色猜测，但证明的结果是正确还是不正确，阿却并没有说。
4、阿贝尔认为他用以代替不可避免的5—轮构形的（5，5）构形和（5，6）构形两个构形是“不可避免”的，但又说这两个构形却是“不可约”的，这怎么能说四色猜则被他们证明了是正确的呢？
5、你好好的看一看阿贝尔自已写的《四色地图问题的解决》一文吧！

雷明85639720

天山草@：

1、机器跟人下棋，机器是按人所编的程序执行的，是非常快的。而人下棋是用头脑想的，是不会有电脑那么快的，并且也难免会出（走）错的。
2、下棋的程序是“很多人”的智慧的结晶，电脑就只会使用（执行）这么多人的智慧，但与电脑对垒的那个“个人”，只有他“一个人”的头脑，所以他是下不过电脑的。
3、人与电脑下棋，是与人用电脑代替人做事是两回事。人用电脑代替人做事，只是电脑在做，而人不做，仍是等于人在指挥电脑替人做事。但人与电脑下棋就不一样了，一方面是电脑在执行“很多人”的智慧结晶（程序），另一方面是“某一个”个人在用自已的智慧。加上计算机的速度又特快，心理上就是对对手——人造成一个压力，且“一个人”的智慧能比“很多人”的智慧高吗？这就决定了下棋的“人”一定是要输的。但反过来又说，计算机再厉害，也还是有输的时候，说明计算机也并不是总是赢家。
4、你要认为计算机比人还聪明，那就大错特错了。
5、你还了知道，计算机是人制造的，没有人计算机只是一堆铁。

雷明85639720

，，，，，，，，

一览众山小

雷明85639720 发表于 2021-6-16 11:44
天山草@：

1、机器跟人下棋，机器是按人所编的程序执行的，是非常快的。而人下棋是用头脑想的，是不会有 ...

如果用人脑去笔算能够验证某个问题的一百种情况成立，此时因为验证的情况较少，对猜测的结果是否成立处于将信将疑的不确定阶段，但用电脑编程计算技术可以验证到一万甚至一千万种情况成立，可信度大大提高，那就权且当作证明的结果成立。