Kalkyylien historiaa
Lukujärjestelmät:
- < 6000 eKr: viivakirjanpito (ehkä jo 30.000 eKr)
- < 3000 eKr: lukumerkit käytössä Egyptissä
- < 1300 eKr: positiojärjestelmä Kiinassa
- n. 800: nolla käyttöön Kiinassa (Intiasta?)
- n. 850: Al-Khowarizm, Al-jabr wa’l muqabalah
- intialaisperäisen aritmetiikan oppikirja
- 1120: käännös, Dixit algorismi
-
Käsitekalkyylit (logiikka):
- Aristoteles (384-322 eKr): oikean päättelyn säännöt
- G. W. Leibniz (1646-1716): päättely kalkyylina
- G. Boole, G. Frege, B. Russell & A. N. Whitehead (1800/1900-luvut): loogisen päättelyn formalisointi