Easier is https://computinged.wordpress.com/2018/11/02/fixing-mathematical-notation-with-computing-and-proving-it-with-education/
R.E Boss > -----Oorspronkelijk bericht----- > Van: Chat <[email protected]> Namens 'Skip Cave' via > Chat > Verzonden: zondag 16 december 2018 14:26 > Aan: Chat forum <[email protected]> > Onderwerp: [Jchat] Fwd: [New comment] Fixing Mathematical Notation with > Computing, and "Proving" It with Education > > Math notation discussion.. > > Skip > Skip Cave > Cave Consulting LLC > > > ---------- Forwarded message --------- > From: Computing Education Research Blog <comment- > [email protected]> > Date: Thu, Dec 13, 2018 at 5:09 PM > Subject: [New comment] Fixing Mathematical Notation with Computing, and > "Proving" It with Education > To: <[email protected]> > > > orcmid commented: "The original "A Programming Language" and related > developments of APL and it successors represent a kind of tour de force. > There's no doubt about it. I do think we need to be careful. The work on > notations for computation is a bit different than math" > Respond to this comment by replying above this line > > New comment on *Computing Education Research Blog > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=http%3A%2F%2Fcomputinged > .wordpress.com&sr=1&signature=09b7d337306771e189e3a7ddda4c6784&us > er=1acafc4e7428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19p > ZCI6ODE4NTMwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb > 20iLCJfdWkiOiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZhOGEwMyIsIl > 91dCI6ImFub24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50IjoiMjAxOC0xMi > 0xMyIsImVtYWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNhMGM0ODA4 > MTAxZTIiLCJlbWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh0IjoiQ29tcHV > 0aW5nIEVkdWNhdGlvbiBSZXNlYXJjaCBCbG9nIiwiX2VuIjoid3Bjb21fZW1haWx > fY2xpY2siLCJfdHMiOjE1NDQ3NDI1OTc1NTQsImJyb3dzZXJfdHlwZSI6InBocC1h > Z2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJfdWwiOm5 > 1bGwsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6bnVsbH0&_z=z>* > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=http%3A%2F%2Fcomputinged > .wordpress.com&sr=1&signature=09b7d337306771e189e3a7ddda4c6784&us > er=1acafc4e7428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19p > ZCI6ODE4NTMwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb > 20iLCJfdWkiOiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZhOGEwMyIsIl > 91dCI6ImFub24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50IjoiMjAxOC0xMi > 0xMyIsImVtYWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNhMGM0ODA4 > MTAxZTIiLCJlbWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh0IjoiIiwiX2Vu > Ijoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1NDQ3NDI1OTc1NTQsImJyb3dzZ > XJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LX > YwLjMiLCJfdWwiOm51bGwsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6bnVsbH > 0&_z=z> > <http://gravatar.com/orcmid> > > *orcmid* commented > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fcomputinge > d.wordpress.com%2F2018%2F11%2F02%2Ffixing-mathematical-notation- > with-computing-and-proving-it-with-education%2F%23comment- > 65811&sr=1&signature=48fd823df6a45c0880f4d86e805f85bf&user=1acafc4e7 > 428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6ODE4NT > MwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJfdWki > OiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZhOGEwMyIsIl91dCI6ImFu > b24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50IjoiMjAxOC0xMi0xMyIsImVt > YWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNhMGM0ODA4MTAxZTIiLCJl > bWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh0IjoiY29tbWVudGVkIiwiX > 2VuIjoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1NDQ3NDI1OTc1NTQsImJyb > 3dzZXJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW > 50LXYwLjMiLCJfdWwiOm51bGwsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6bnV > sbH0&_z=z> > on Fixing Mathematical Notation with Computing, and "Proving" It with > Education <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fcomputinge > d.wordpress.com%2F2018%2F11%2F02%2Ffixing-mathematical-notation- > with-computing-and-proving-it-with- > education%2F&sr=1&signature=0341695fbdc365de1387c5f13a06c749&user=1 > acafc4e7428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6 > ODE4NTMwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iL > CJfdWkiOiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZhOGEwMyIsIl91d > CI6ImFub24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50IjoiMjAxOC0xMi0xM > yIsImVtYWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNhMGM0ODA4MTA > xZTIiLCJlbWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh0IjoiRml4aW5nIE1 > hdGhlbWF0aWNhbCBOb3RhdGlvbiB3aXRoIENvbXB1dGluZywgYW5kIFwiUHJv > dmluZ1wiIEl0IHdpdGggRWR1Y2F0aW9uIiwiX2VuIjoid3Bjb21fZW1haWxfY2xpY > 2siLCJfdHMiOjE1NDQ3NDI1OTc1NTQsImJyb3dzZXJfdHlwZSI6InBocC1hZ2Vud > CIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJfdWwiOm51bGws > ImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6bnVsbH0&_z=z>. > > > in response to *Mark Guzdial*: > > I was looking for a paper that I needed to review last night, and came upon > these paragraphs in the paper I brought up by mistake. This is bold > language: It might be argued that mathematical notation (MN) is adequate as > it is, and could not benefit from the infusion of ideas from programming > languages. … Continue reading “Fixing Mathematical Notation with > Computing, and “Proving” It with Education” > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fcomputinge > d.wordpress.com%2F2018%2F11%2F02%2Ffixing-mathematical-notation- > with-computing-and-proving-it-with- > education%2F&sr=1&signature=0341695fbdc365de1387c5f13a06c749&user=1 > acafc4e7428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6 > ODE4NTMwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iL > CJfdWkiOiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZhOGEwMyIsIl91d > CI6ImFub24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50IjoiMjAxOC0xMi0xM > yIsImVtYWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNhMGM0ODA4MTA > xZTIiLCJlbWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh0IjoiQ29udGludW > UgcmVhZGluZyBcdTIwMWNGaXhpbmcgTWF0aGVtYXRpY2FsIE5vdGF0aW9uI > HdpdGggQ29tcHV0aW5nLCBhbmQgXHUyMDFjUHJvdmluZ1x1MjAxZCBJdCB3 > aXRoXHUwMGEwRWR1Y2F0aW9uXHUyMDFkIiwiX2VuIjoid3Bjb21fZW1haWx > fY2xpY2siLCJfdHMiOjE1NDQ3NDI1OTc1NTUsImJyb3dzZXJfdHlwZSI6InBocC1h > Z2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJfdWwiOm5 > 1bGwsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6bnVsbH0&_z=z> > > The original “A Programming Language” and related developments of APL > and it successors represent a kind of tour de force. There’s no doubt about > it. > > I do think we need to be careful. The work on notations for computation is a > bit different than mathematics, and thinking of the computational notation > as one to be brought to mathematics strikes me as a misunderstanding of > what mathematics is all about and the connection with computational > systems (as applied mathematics in some sense). The semantics of APL is not > mathematical, it is computational. > > I wonder if the desire to provide mathematical notation in programming > languages, a laudible accomplishment at the time, now seems to have led to > some confusions about which is what. Having the same notation might not > be a great idea if it means the difference becomes even more confused. > > Reply > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fcomputinge > d.wordpress.com%2F2018%2F11%2F02%2Ffixing-mathematical-notation- > with-computing-and-proving-it-with- > education%2F%3Freplytocom%3D65811%23respond&sr=1&signature=37032f > 9c95e93cce4982e4d6c3a4e29f&user=1acafc4e7428fb53016b8bbc38fa8a03&_ > e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6ODE4NTMwMiwiYmxvZ19sYW5nIjoiZ > W4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJfdWkiOiIxYWNhZmM0ZTc0MjhmYj > UzMDE2YjhiYmMzOGZhOGEwMyIsIl91dCI6ImFub24iLCJwb3N0X2lkIjoxMTUz > NiwiZGF0ZV9zZW50IjoiMjAxOC0xMi0xMyIsImVtYWlsX2lkIjoiMTZmN2YyMm > NiOGRjYzk1N2ZkNmNhMGM0ODA4MTAxZTIiLCJlbWFpbF9uYW1lIjoiY29tbW > VudCIsImFuY2hvcl90ZXh0IjoiUmVwbHkiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGlj > ayIsIl90cyI6MTU0NDc0MjU5NzU1NSwiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50Ii > wiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQtdjAuMyIsIl91bCI6bnVsbCwiYmxv > Z190eiI6Ii01IiwidXNlcl9sYW5nIjpudWxsfQ=&_z=z> > Comments > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fcomputinge > d.wordpress.com%2F2018%2F11%2F02%2Ffixing-mathematical-notation- > with-computing-and-proving-it-with- > education%2F%23comments&sr=1&signature=52d35698b5a6f45a4bcdfb7dcc > a00806&user=1acafc4e7428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCw > iYmxvZ19pZCI6ODE4NTMwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYm > VsIjoid3Bjb20iLCJfdWkiOiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZh > OGEwMyIsIl91dCI6ImFub24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50Ijoi > MjAxOC0xMi0xMyIsImVtYWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNh > MGM0ODA4MTAxZTIiLCJlbWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh > 0IjoiQ29tbWVudHMiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU0N > Dc0MjU5NzU1NSwiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY2 > 9tLXRyYWNrcy1jbGllbnQtdjAuMyIsIl91bCI6bnVsbCwiYmxvZ190eiI6Ii01IiwidX > Nlcl9sYW5nIjpudWxsfQ=&_z=z> > > *Want less email?* Unsubscribe from all follow-up comments > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fsubscribe.w > ordpress.com%2F%3Fkey%3D045d03325207f8d46ebc832136619821%26email > %3Dskip%2540caveconsulting.com%26c%3DlFiIkp1DMUjYohLc_njYtDABeww > tePk0lhrP8NFdWEdu2HHteYHLP0wetUMEv6FiGg18Rp- > YYv5fDHPlTV3TJqdGLcqFgmzf- > LACAuLIibIvP2ECaaQ%253D&sr=1&signature=1554887c94c776045bc8c541bcb > b44ae&user=1acafc4e7428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCwi > YmxvZ19pZCI6ODE4NTMwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmV > sIjoid3Bjb20iLCJfdWkiOiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZhO > GEwMyIsIl91dCI6ImFub24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50IjoiMj > AxOC0xMi0xMyIsImVtYWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNhM > GM0ODA4MTAxZTIiLCJlbWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh0Ij > oiVW5zdWJzY3JpYmUgZnJvbSBhbGwgZm9sbG93LXVwIGNvbW1lbnRzIiwiX2V > uIjoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1NDQ3NDI1OTc1NTUsImJyb3d > zZXJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50 > LXYwLjMiLCJfdWwiOm51bGwsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6bnVsb > H0&_z=z> > or modify your Subscription Options > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fsubscribe.w > ordpress.com%2F%3Fkey%3D045d03325207f8d46ebc832136619821%26email > %3Dskip%2540caveconsulting.com%26option%3Dcomments&sr=1&signature > =5434a876249fe6653efd564dae99debe&user=1acafc4e7428fb53016b8bbc38f > a8a03&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6ODE4NTMwMiwiYmxvZ19sY > W5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJfdWkiOiIxYWNhZmM0ZTc > 0MjhmYjUzMDE2YjhiYmMzOGZhOGEwMyIsIl91dCI6ImFub24iLCJwb3N0X2lkIj > oxMTUzNiwiZGF0ZV9zZW50IjoiMjAxOC0xMi0xMyIsImVtYWlsX2lkIjoiMTZmN > 2YyMmNiOGRjYzk1N2ZkNmNhMGM0ODA4MTAxZTIiLCJlbWFpbF9uYW1lIjoiY > 29tbWVudCIsImFuY2hvcl90ZXh0IjoiU3Vic2NyaXB0aW9uIE9wdGlvbnMiLCJfZ > W4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU0NDc0MjU5NzU1NSwiYnJvd > 3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQt > djAuMyIsIl91bCI6bnVsbCwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjpudWxsfQ=& > _z=z>. > > Thanks for flying with WordPress.com > <https://public-api.wordpress.com/bar/?stat=groovemails- > events&bin=wpcom_email_click&redirect_to=http%3A%2F%2Fwordpress.c > om%2F&sr=1&signature=e8277cbb17a1f633d18e8bff387aa73f&user=1acafc4 > e7428fb53016b8bbc38fa8a03&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6ODE4N > TMwMiwiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJfdWk > iOiIxYWNhZmM0ZTc0MjhmYjUzMDE2YjhiYmMzOGZhOGEwMyIsIl91dCI6ImF > ub24iLCJwb3N0X2lkIjoxMTUzNiwiZGF0ZV9zZW50IjoiMjAxOC0xMi0xMyIsImV > tYWlsX2lkIjoiMTZmN2YyMmNiOGRjYzk1N2ZkNmNhMGM0ODA4MTAxZTIiLCJ > lbWFpbF9uYW1lIjoiY29tbWVudCIsImFuY2hvcl90ZXh0IjoiVGhhbmtzIGZvciBm > bHlpbmcgd2l0aCAgV29yZFByZXNzLmNvbSIsIl9lbiI6IndwY29tX2VtYWlsX2Nsa > WNrIiwiX3RzIjoxNTQ0NzQyNTk3NTU1LCJicm93c2VyX3R5cGUiOiJwaHAtYWdl > bnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiX3VsIjpudWxsL > CJibG9nX3R6IjoiLTUiLCJ1c2VyX2xhbmciOm51bGx9&_z=z> > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
