> From: Chat [mailto:[email protected]] On Behalf Of 'Jon > Hough' via Chat > Sent: woensdag 13 april 2016 16:26 > > Slightly off-topic, but also a little on-topic, your post reminded me of a > slightly > old article > http://www.wired.com/2015/05/will-computers-redefine-roots-math/ > about the use of coq, and other proof helpers, by mathematicians. It seems > computer aided proofs are going to become more important.
I read the article, not that old btw, in Quanta Magazine and was amazed that (the name of) Zeilberger was not mentioned, who is very outspoken on this subject. Read his http://www.math.rutgers.edu/~zeilberg/Opinion149.html where he reminded that AlphaGo invented strategies unknown by the top world Go-players in its games with the world champion. He is convinced, and so am I, that computers, robots if you will, come up with math we people hardly will understand. And so will happen for other parts of science, art and life. (this is chat anyway) R.E. Boss ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
