devutilsFrançaisGitHub This first timeline includes only sourced, published events. It will grow with the articles.
Lovelace explains the Analytical Engine
The 1843 account with Lovelace’s notes describes computations for Babbage’s unbuilt complete Analytical Engine.
Gödel publishes incompleteness results
The 1931 publication limits what suitable formal arithmetic theories can prove, rather than declaring all reasoning impossible.
Logic meets switching circuits
Shannon’s 1937 thesis work and its 1938 paper connected symbolic logic with the analysis and synthesis of relay networks.
A mathematical theory of communication
In 1948, Shannon framed communication around message selection, channels and noise.
Manchester Baby runs a stored program
On 21 June 1948, Manchester’s experimental machine executed a program held in electronic memory.
FORTRAN reaches documented implementation
The 1957 paper, manuals and release correspondence document a compiler team’s implementation, beyond the earlier proposal.
ARPANET transitions to TCP/IP
The coordinated 1 January 1983 transition replaced NCP on ARPANET; it was a deployment milestone in a longer internetworking history.
A GPU-trained convolutional network reports ImageNet results
The 2012 paper by Krizhevsky, Sutskever and Hinton documents a specific image-classification system and its evaluation.