Content deleted Content added
removed reference to CRC cards - no relevant connection to IPL |
|||
Line 6:
The first application of IPL was to demonstrate that the theorems in ''[[Principia Mathematica]]'' which were laboriously proven 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 first application was 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.
Several versions of IPL were created: IPL-I (never implemented), IPL-II (1957 for [[JOHNNIAC]]), IPL-III (existed briefly), IPL-IV, IPL-V (1958, for [[IBM 650]], [[IBM 704]], [[IBM 7090]], many others. Widely used), IPL-VI.
|