IA timeline

  • Silogismo de aristoteles
    322 BCE

    Silogismo de aristoteles

    Aristoteles emplea la logica
  • Ramon Llul, Ars Magna
    1275

    Ramon Llul, Ars Magna

    Ramon Llul define la posibilidad de crear máquinas racionales
  • Descartes cuerpo y alma

    Descartes cuerpo y alma

    Propone que el cuerpo es una máquina compleja dividiendo cuerpo y alma
  • Calculadora de Pascal

    Calculadora de Pascal

    Pascal crea una calculadora básica
  • Contribuciones de Leibniz

    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

    Calculadora programable de Babbage y Lovelace

    Se crea la primera calculadora capaz de programarse
  • Lógica booleana

    Lógica booleana

    George Boole define un álgebra para la lógica
  • Lógica formal de Bertrand Rusell

    Lógica formal de Bertrand Rusell

    Escribe un libro que revoluciona la lógica formal