ABSTRACT

Until the mid 1930s the notion of computability had not yet been mathematically well established, which is natural since the first electronic computers were not constructed until the Colossus, ENIAC, and EDVAC were built in the 1940s. It is quite interesting that the computational limitations of these (as well as all future) computers had already been proven mathematically in 1936.