Some excellent information, to be sure! For example, I never knew that IPL (Information Processing Language) existed prior to, and influenced (or probably infl

Some excellent information, to be sure! For example, I never knew that IPL (Information Processing Language) existed prior to, and influenced (or probably influenced) LISP... That IPL uses lists for computation is clear, and apparently IPL predates LISP by at least two years... In reading the Wikipedia page on IPL (https://en.wikipedia.org/wiki/Information_Processing_Language https://en.wikipedia.org/wiki/Information_Processing_Languag...), I found the following quote fascinating: >"IPL was first utilized to demonstrate that the theorems in Principia Mathematica which were proven laboriously by hand, by Bertrand Russell and Alfred North Whitehead, could in fact be proven by computation. According to Simon's autobiography Models of My Life, this application was originally developed first by hand simulation, using his children as the computing elements, while writing on and holding up note cards as the registers which contained the state variables of the program." Fascinating! Makes me want to go back into the history of that Math and those theorems, and who proved what, when... Anyway, thanks for the excellent links!