Thanks for sharing the link to Doron Zeilberger's blog. I'd never heard of him before, but I spent an hour or so reading his past blogs. His views are a little ... outlandish, but very interesting. I never knew there was a movement in mathematics, to put an end to the "Euclidean hegemony" (my phrase) and promote an alternative "statistical" approach to maths. e.g. http://www.math.rutgers.edu/~zeilberg/Opinion145.html
I suppose, in that sense, J is as good a tool as any programming language for mathematical discovery. -------------------------------------------- On Thu, 4/14/16, R.E. Boss <[email protected]> wrote: Subject: Re: [Jchat] Computationally Assisted Mathematical Discovery and Experimental Mathematics To: "[email protected]" <[email protected]> Date: Thursday, April 14, 2016, 5:40 AM > 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 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
