Saturday, May 21, 2011

Thoughts on early computing history, addendum

1928 - The Entscheidungsproblem decision problem was proposed by David Hilbert
1936 - Church publishes "An Unsolvable Problem of Elementary Number Theory", Church's Thesis [1]. It is a paper on untyped lambda calculus. American Journal of Mathematics, Volume 58, No. 2. (Apr., 1936)
1936 - Alan Turning publishes a paper on an abstract machine , On Computable Numbers, with an Application to the Entscheidungsproblem' Proceedings of the London Mathematical Society, Series 2, 42 (1936-37). He proposed the concept of the stored-program.
1937+ - John von Neumann gains knowledge from Alan Turing's papers but Turing was not directly related to the development of ENIAC.
1943 - 1946 - Creation of ENIAC (Electronic Numerical Integrator And Computer)
1944 - John von Neumann became involved with ENIAC
1949-1960 - Early stored computers were created, some of the based on von Neumann architecture.
1952 - The IBM 701 was announced. The 701 was a stored-program computer.
1954 - IBM 704 introduced
1954 - FORTRAN and LISP developed for the IBM 704
1970 - Forth developed. Forth inspired the Java virtual machine.
1973 - C programming language appeared.