-
322 BCE
Silogismo de aristoteles
Aristoteles emplea la logica -
1275
Ramon Llul, Ars Magna
Ramon Llul define la posibilidad de crear máquinas racionales -
Descartes cuerpo y alma
Propone que el cuerpo es una máquina compleja dividiendo cuerpo y alma -
Calculadora de Pascal
Pascal crea una calculadora básica -
Contribuciones de Leibniz
Mejora de la calculadora, calculo de lógica e invención del sistema numérico binario -
Calculadora programable de Babbage y Lovelace
Se crea la primera calculadora capaz de programarse -
Lógica booleana
George Boole define un álgebra para la lógica -
Lógica formal de Bertrand Rusell
Escribe un libro que revoluciona la lógica formal
