Programmeerimiskeel
Mõtestatud tekst koosneb kas (a) loogika ja matemaatika formaalsetest väidetest või (b)
konkreetsete teadusharude fakte esitavatest lausetest. Igasugusel fakti esitaval väitel on sisu ainult
siis, kui on võimalik öelda, kuidas selle väite kehtivust kontrollida. Metafüüsilised väited, mis ei
lange punktide 1 ja 2 alla, on sisutud. Kõik moraali, esteetikat ja religiooni käsitlevad väited on
mittekontrollitavad ja mõttetud.
1945
Konrad Zuse began work on Plankalkul (plan Calculus). The first algorithmic programming
language, with an aim of creating the theoretical preconditions for the formulation of
problems of a general nature.
John von Neumann wrote "First Draft of a Report on the EDVAC."
Grace Hopper recorded the first actual computer "bug."
1946
In February, the public got its first glimpse of the ENIAC, a machine built by John Mauchly and
J. Presper Eckert that improved by 1,000 times on the speed of its contemporaries.