devutilsEnglishGitHub Cette première chronologie affiche uniquement les événements sourcés et publiés. Elle grandira avec les articles.
Lovelace explains the Analytical Engine English
The 1843 account with Lovelace’s notes describes computations for Babbage’s unbuilt complete Analytical Engine.
Gödel publishes incompleteness results English
The 1931 publication limits what suitable formal arithmetic theories can prove, rather than declaring all reasoning impossible.
Logic meets switching circuits English
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 English
In 1948, Shannon framed communication around message selection, channels and noise.
Manchester Baby runs a stored program English
On 21 June 1948, Manchester’s experimental machine executed a program held in electronic memory.
FORTRAN reaches documented implementation English
The 1957 paper, manuals and release correspondence document a compiler team’s implementation, beyond the earlier proposal.
ARPANET transitions to TCP/IP English
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 English
The 2012 paper by Krizhevsky, Sutskever and Hinton documents a specific image-classification system and its evaluation.