Fixing Mathematical Notation with Computing, and “Proving” It with Education

By Stephen Downes - Stephen's Web. Fixing Mathematical Notation with Computing, and “Proving” It with Education
Mark Guzdial, Computing Education Research Blog, 2018/11/13
This article is a few days old but I want to make sure I don't miss it, as it makes a point that (to my mind) challenges the idea that there is one set of basic 'foundational' principles in mathematics. Mark Guzdial introduces us to the work of Kenneth E. Iverson on a computing language called J (more here). More...