I discovered Zeilberger when I saw the book title "A=B", see https://www.math.upenn.edu/~wilf/AeqB.html Intriguing, especially after I read the foreword of Donald Knuth.
R.e. Boss > -----Original Message----- > From: Chat [mailto:[email protected]] On Behalf Of 'Jon > Hough' via Chat > Sent: vrijdag 15 april 2016 17:44 > To: [email protected] > Subject: Re: [Jchat] Computationally Assisted Mathematical Discovery and > Experimental Mathematics > > 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 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
