5000 BC–1942 · 1 key events · 34 related people, organisations and concepts
Prehistory
Myths of automatons, mechanical calculators, formal logic and the theory of computation.
1936
On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Turing's 1936 paper defined computable numbers through an abstract machine, now called the Turing machine, and showed that no general method can decide whether any given mathematical statement is provable.
In this era
People 14
Organisations 20
Dartmouth CollegeUniversity of TorontoUniversity of WashingtonMassachusetts Institute of Technology (MIT)University of California, BerkeleyStanford UniversityCarnegie Mellon UniversityNational Institute of Standards and TechnologyIBMBell LabsPrinceton UniversityUniversity of ManchesterUniversity College LondonNew York UniversityEPFLCornell UniversityTechnical University of MunichUniversité de MontréalTsinghua UniversityT. Rowe Price