Evolución de las teorias de la lógica matemática

  • Period: 427 BCE to 347 BCE

    Platón

    Crea la Academia de Atenas.
    Establece la teoría del conocimiento para justificación del poder preeminente del filósofo y los pensamientos Socráticos; La búsqueda de conceptos de las ideas abstractas, sostiene la existencia de dos mundos, el mundo de las ideas y el mundo físico de los objetos. Según Platón, lo concreto se entiende en función de lo abstracto y con el resultado de un mundo sensible por el mundo de las ideas. (Alvarez, Freyre, & Rivera, s.f.)
  • Period: 400 BCE to 368 BCE

    Euxodo de Cnido

    Matemático de la Academia de Platón. Su contribución fundamental a la matemática fue la Teoría de las proporciones; Con el objetivo de evitar el uso de los irracionales como números sin dejar a un lado la geometría. (Poncaire, 2007)
  • Period: 384 BCE to 332 BCE

    Aristóteles

    Gracias a la obra denominada Organón, contiene las leyes del pensamiento en relación del conocimiento. Intento al establecer la lógica como ciencia a través de una clasificación de las reglas del razonamiento silogístico. La lógica no lo considera una disciplina metafísica sino al pensamiento lógico. (Alvarez, Freyre, & Rivera, s.f.)
  • Period: 325 BCE to 265 BCE

    Euclides

    Matemático y autor de las obras “Elementos” texto más conocido a lo largo de la historia, recopilación de trece libros, con un gran valor en el uso de método deductivo entre principios de (definiciones, axiomas, postulados y teoremas). Los principios de naturaleza geométrica, en cuanto la existencia y unicidad de la recta por dos puntos: de una circunferencia de centro y radio. (Poncaire, 2007)
  • Renè Descartes

    Renè Descartes
    Filósofo y matemático entre sus aportaciones importantes es la creación de la geometría analítica al mismo tiempo con un corpus cuantitativo al asunto y permite el uso de métodos algebraicos; Que permiten el desarrollo más rápido que los métodos sistemáticos, requeridos con un enfoque axiomático de la geometría clásica. (Poncaire, 2007)
  • Isacc Newton

    Isacc Newton
    Descubrió la gravitación universal, el desarrollo del calculo infinitesimal y descubrimientos sobre la óptica. Las leyes que rigen la mecánica clásica y el inicio de la mecánica cuántica. Su obra principal, “Principios matemáticos de la filosofía natural” (Alvarez, Freyre, & Rivera, s.f.)
  • Gottfried W. Leibniz

    Gottfried W. Leibniz
    Fundo la Academia de Ciencias de Berlín. Filósofo y matemático publico su obra “Nuevo método para la determinación de los máximos y mínimos” que expone ideas fundamentales del cálculo infinitesimal. Introdujo el símbolo de integral y de diferencial de una variable. En el área de la lógica matemática, publico su obra Generales inquisitiones de analysi notionum et veritatum y Fundamenta calculi logici. (Poncaire, 2007)
  • Georg F. Cantor

    Georg F. Cantor
    Matemática Alemán con la idea del infinito continuo, la posibilidad tomar consideración de los conjuntos infinitos dados simultáneamente. Creador de los números irracionales y de la "Teoría de los conjuntos". (Marquez & Marriaga Carvajal, 2010)
  • David Hilbert

    David Hilbert
    Matemático Alemán con varias aportaciones en los campos de la relatividad y la mecánica cuántica a través de la Teoría de Invariantes y el concepto de Espacio de Hilbert. Publica su obra Fundamentos de Geometría, que muestra sus principios de axiomatización de la geometría. (Poncaire, 2007)
  • Bertrand Rusell

    Bertrand Rusell
    Matematico Alemán con su obra basada en aportes a la lógica, al estudiar la lógica de Aristóteles y los trabajos de Cantor, con la "Teoría de conjuntos" varias paradojas que resolvió mediante la teoría de los tipos; Además, más tarde estableció una teoría similar de la jerarquía de los lenguajes y eliminación de las paradojas semánticas. Se propuso axiomatizar la matemática a partir de los conceptos lógicos y la lógica moderna formal con su obra “Principia Mathematica” (Cordova, 2020)