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.
Obviously these systems are completely different to J, but I find it interesting how computer languages, systems are becoming more and more used. I remember years back there was a furore about the 4-color theorem proof needing a computer to "assist". Kind of seems quaint now. -------------------------------------------- On Wed, 4/13/16, R.E. Boss <[email protected]> wrote: Subject: Re: [Jchat] Computationally Assisted Mathematical Discovery and Experimental Mathematics To: "[email protected]" <[email protected]> Date: Wednesday, April 13, 2016, 1:45 AM > From: Chat [mailto:[email protected]] On Behalf Of Dan > Bron > Sent: dinsdag 12 april 2016 15:47 > One of the most memorable and enjoyable examples (for me, anyway) of > using J for this kind of work was your (REB’s) exploration of Grey Codes a few > years back. I distinctly remember writing a Grey Code function I thought > must be close to the limit in performance, because it used bitwise functions, > and was about as close as you could come to writing a C or assembler Grey > Code program without actually leaving J proper. > > But then you went and beat me anyway. By a not insignificant margin. This I remember distinctly as well. :-) (see also http://code.jsoftware.com/wiki/Puzzles/Gray_Code from which I learned it was Dec 2006) That was because of mine (I think) superior representation of the (binary reflected) Gray(!) code, completely inspired by J, a notation which I'm still struggling to sell to the mathematical/computer-scientist world. I wrote about it also in http://journalofj.com/index.php/vol-4-no-2-december-2015 (but I never see an announcement when a new number is released). Next time I will reveal the hyper-orthogonal Hilbert curves. 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
