Posts

Showing posts with the label alanturing

General Programming: Learning and using a programming language

This is an expert from a slashdot post on programming languages: "We only make programming difficult because we suck at writing. The vast majority of programmers aren't fluent, and don't even have a desire to be fluent. They don't read other people's code. They don't recognise or use idioms. They don't think *in the programming language*. Most code sucks because we have the fluency equivalent of 3 year olds trying to write a novel." "In language acquisition there is a hypothesis called the "Input Hypothesis". It states that *all* language acquisition comes from "comprehensible input". That is, if you hear or read language that you can understand based on what you already know and from context, you will acquire it. Explanation does not help you acquire language. I believe the same is true of programming. We should be immersing students in good code. We should be burying them in idiom after idiom after idiom, allowing them to a...

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 compute...