3 ms·
The canonical, award winning version of these ideas is described in Ken Iverson's seminal 1979 paper 'Notation as a tool of thought'[0] - highly recommended to
by beagle3 10y ago
The canonical, award winning version of these ideas is described in Ken Iverson's seminal 1979 paper 'Notation as a tool of thought'[0] - highly recommended to anyone who finds the ideas discussed interesting (even if they find the scientific american article lacking ... because it is)
[0] http://www.jsoftware.com/papers/tot.htm http://www.jsoftware.com/papers/tot.htm
- wmacaluso 10y agoPeter Naur's "Programming as Theory Building" (http://pages.cs.wisc.edu/~remzi/Naur.pdf http://pages.cs.wisc.edu/~remzi/Naur.pdf) is also a closely related read.