Ted discusses computers and the possibility of computers replacing human mathematical researchers, along w/other computer advances. Ted’s solution is to stop all govt. research grants used for computer research and to forbid “...mammoth corporations financial... support computer research.” Ted asks why “should the average person pay for research that will eventually make him into superfluous deadwood.” He indicates mathematicians are wrong if they believe that computers cannot be creative.
Ted Kaczynski
On the probability of robots becoming more creative than humans
____ ____ naively assumes that computers can never exhibit qualities like __ __ __ __ __ (Look, __ __ __ __, page __ __ __ ___). He is kidding himself. [crossed out: There is every reason to assume that computers will eventually possess creative capacities surpassing those of the greatest human geniuses.] Some mathematicians kid themselves too. Some claim to have proved that human mathematical researchers can never be replaced by computers. What they have actually proved is that there is no finite algorithm enabling a computer to solve every mathematical problem. But since there is no finite algorithm enabling a human to solve every mathematical problem either, this doesn't prove that the human mind is superior to every possible computer. [Crossed out: Some] [Crossed out: These mathemaatiicins] It is argued that because of the nonexistence of [crossed out: a decision procedure,] such an algorithm, it will be necessary to introduce new axioms in order to solve certain problems. Apparently they simply assume that a coomputer will never be successful at introducing new axioms because it has no "mathematical intuition." But mathematical intuition iis arrived at through experience. Since computers can learn (that is the crucial point!) there is every reason to assume that the computers of the future will be able to develop mathematical intuition.
Those who claim computers can never be creative are ignoring the fact that the human brain itself is simply an electro-chemical computer. ...