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

一览众山小

反对计算机解决数学问题的人只崇拜计算五麻袋草稿纸的现代愚公精神，这是反智行为。

雷明85639720

1、我并没有反对用计算机解问数学问题，而只是反对用计算机以进行数学证明的。
2、计算机可以解一元二次方程，但它不知道一元二次方和一定就有两个实数根。
3、计算机计算时所用的求根公式，是人证明了的，是人把公式编了程序输入了计算机的。这还不行，还要输入a、b、c三个系数的值，人还要开动计算机，它才能解出两个根的值的。
4、计算机也是无法知道求根公式的，它只会运算，并不会证明。你说的“解决数学问题”只是指能“计算”，并不是指“证明”。因为证明是要思维的，而计算机是不会思维的。
5、计算机是人制造的，人还证明不了的问题，计算机照样也证明不了。没有人，计算机只是一堆费铜烂铁！

wlc1

！！！！！！！！！！！！！！！！！！！！！！！！

一览众山小

电脑能扩展某种情形的反复出现，对观察多种情形的出现有神奇效果；反电脑是愚昧无知行为，是野蛮物种的愚蠢表现。

雷明85639720

1、我并没有反对电脑的一切作用，我只是说有些必须是人才能干的事，电脑是干不了的。比如说四色猜测的证明。直到现在已经过去几十年了，还仍然有数学界的人对阿贝尔的所谓机器证明持质凝的态度，难道他们都错了吗？难道他们都是反对电子计算机吗？
2、盲目的崇拜电脑，认为电脑什么事都能干，那还要人干什么呢？难道人只是用来制造电子计算机吗？有了计算机，人就什么都不要干了吗？一切都让电子计算机去完成吗？简直是胡说八道！
3、“电脑能扩展某种情形的反复出现，对观察多种情形的出现有神奇效果”，这并没错，但没有人它还是不会干这些的。首先程序是人编的，也是人去指挥计算机工作的。没人它能干什么呢？
4、“反电脑是愚昧无知行为，是野蛮物种的愚蠢表现”，我看你盲目的吹捧电脑，盲目的认为电子计算机能代替人的一切，才是愚昧无知的行为，也才是野蛮物种的愚蠢表现。

wlc1

！！！！！！！！！！！！！！！！！！！！！！！！

一览众山小

不采用电脑工具，仅凭手工笔算，那就比五麻袋草稿纸表现的愚公精神所树立的时代楷模的科技高峰还要高，还难超越，恐怕要十麻袋草稿纸都难解决问题。

雷明85639720

不一定吧！电脑只会计算。否则它就失去了“计算机”的意义。但它却不能思维，是不会证明某个定理是否正确的。特别是人还解决不了的四色问题，它也一定是解决不了的。至少人还不会编出能叫计算机执行的证明程序。没有证明的程序，它执行谁的指令呢？象一个军队，没有司令，谁来指挥点斗呢？那不就乱了吗？必然是要失败的！

一览众山小

脑残就是狡辩，在狡辩过程中把自己都搞得分不清东西南北。

雷明85639720

你能分清东西南北，我问你，你知道阿贝尔的“机器证明"的结论是什么呢？四色猜测道底是正确还是不正确呢？要引用阿贝尔的原话，并且指明出处。