HISTORIA DE LA LÓGICA MATEMÁTICA

  • 800 BCE

    Lógica árabe

    Lógica árabe
    doctrinas filosóficas en la época medieval practicada por los pensadores de los pueblos del Oriente, centran su atención en la filosofía de Aristóteles, en la que predominaba el interés por los problemas de las ciencias naturales y la lógica.
  • 600 BCE

    Platón

    Platón
    Los principios formales de las matemáticas, este periodo se conoce como el periodo clásico, lo concreto se entiende en función de lo abstracto, Además el mundo sensible parte del mundo de las ideas.
  • 322 BCE

    Aristóteles

    Aristóteles
    Reconocido como el fundador de la Lógica. Esta es una parte de la filosofía que consiste en la investigación acerca de los principios del razonamiento. La lógica no es ciencia, sino un instrumento (órganon) para el pensamiento correcto.
  • Descartes

    Descartes
    Matemático, físico y filósofo francés cuyas aportaciones fueron una revolución en el campo científico y filosófico. La “duda metódica” nos acerca a la verdad: “Para investigar la verdad es preciso dudar, en cuanto sea posible, de todas las cosas”.
  • Isaac Newton

    Isaac Newton
    La principal aportación de Newton a las matemáticas fue la constitución de una teoría coherente, el cálculo infinitesimal. - Ley de la inercia. -Ley de la interacción y la fuerza. - Ley de acción-reacción.
  • Augustus de Morgan

    Augustus de Morgan
    Matemático inglés, escribió varias obras de lógica en las que se encuentra la idea de aplicar los métodos matemáticos. La negación de la conjunción es igual a la disyunción de las negaciones; y la negación de la disyunción es igual a la conjunción de las negaciones.
  • George Boole

    George Boole
    Considerado como el padre de las operaciones lógicas, introdujo la lógica en las matemáticas. Sus estudios sentaron las bases de la computación moderna.
  • Gottlob Frege

    Gottlob Frege
    Filósofo alemán, abordó el problema de los fundamentos de las matemáticas al establecer una estrecha relación entre la definición filosófica de la esencia del conocimiento matemático y la rigurosa descripción de los procesos demostrativos. Elaboró una sofisticada filosofía del lenguaje que influiría sobre la filosofía analítica.
  • KURT GÖDEL

    KURT GÖDEL
    Su mayor interés radicó en la completitud de sistemas formales. Enunció 23 problemas, conocidos como “los 23 problemas de HIlbert”. El objetivo era mostrar que la matemática tenía unas bases sólidas y lógicas. Demostró que la matemática está compuesta de axiomas correctamente escogidos, y que ese sistema de axiomas podría probarse de forma consistente.