Logica

La evolución de la lógica

  • Platón - 427 - 347
    427 BCE

    Platón - 427 - 347

    Sostiene la existencia de dos mundos:
    Mundo de las ideas
    Mundo físico de los objetos
  • Aristóteles -384 -332
    384 BCE

    Aristóteles -384 -332

    El órganon, tratados de lógico representa el primer intento serio que funda la lógica como ciencia.
  • Euclides -300
    300 BCE

    Euclides -300

    Elementos: Uno de los textos matemáticos mas relevantes de la historia del pensamiento científico.
  • Apolonio de Perga
    262 BCE

    Apolonio de Perga

    Autor de la obra: Sobre curvas cónicas "Geómetra de la época helenística"
  • René Descartes 31 de marzo de 1596 - 11 de febrero de 1650 (53 años)

    René Descartes 31 de marzo de 1596 - 11 de febrero de 1650 (53 años)

    Geometría analítica, aporta un corpus cuantitativo al asunto y permite el uso de métodos algebraicos.
  • Isaac Newton (Lincolnshire; 25 de diciembre de 1642j

    Isaac Newton (Lincolnshire; 25 de diciembre de 1642j

    Descubrimiento de la gravitación universal, desarrollo calculo infinitesimal y descubrimientos optica.
  • Gottfried Wilhelm Leibniz,(Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716)

    Gottfried Wilhelm Leibniz,(Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716)

    Publica "Generales inquisiciones de análisis de nociones. Fundamenta Calculo lógico."
  • Georg Wilhelm Friedrich Hegel (Stuttgart, 27 de agosto de 1770 - Berlín, 14 de noviembre de 1831)

    Georg Wilhelm Friedrich Hegel (Stuttgart, 27 de agosto de 1770 - Berlín, 14 de noviembre de 1831)

    Autor "Ciencia de la lógica"
    Constitución de la lógica dialéctica.
  • Nikolái Ivánovich Lobachevsk (1 de diciembre de 1792-24 de febrero de 1856)

    Nikolái Ivánovich Lobachevsk (1 de diciembre de 1792-24 de febrero de 1856)

    Funda Geometría No Euclidiana y renueva fundamentos que hasta ese momento cimentaban la geometría.
  • Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, 18 de marzo de 1871)

    Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, 18 de marzo de 1871)

    Formulario de las leyes de Morgan.
    Teoría del desarrollo de las relaciones y la lógica matemática.
  • George Boole Inglaterra, 2 de noviembre de 1815 - Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de 1864)

    George Boole Inglaterra, 2 de noviembre de 1815 - Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de 1864)

    Aplica el calculo Matemático la lógica fundado el algebra de la lógica.
  • Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918)

    Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918)

    Idea de infinito continuo. Teoría de los números irracionales y de los conjuntos.
  • Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925)

    Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925)

    Introduce los cuantificadores u operadores y en elaborar una teoría de la cuantificación.
  • Giuseppe Peano (Spinetta, 27 de agosto de 1858 - Turín, 20 de abril de 1932)

    Giuseppe Peano (Spinetta, 27 de agosto de 1858 - Turín, 20 de abril de 1932)

    Autor de formularios de matemáticas.
    Sus ideas permiten definir el conjunto de los números naturales.
  • Luitzen Egbertus Jan Brouwe  - 27 de febrero de 1881 Ver y modificar los datos en Wikidata Overschie (Países Bajos) - 2 de diciembre de 1966 Ver y modificar los datos en Wikidata (85 años)

    Luitzen Egbertus Jan Brouwe - 27 de febrero de 1881 Ver y modificar los datos en Wikidata Overschie (Países Bajos) - 2 de diciembre de 1966 Ver y modificar los datos en Wikidata (85 años)

    Fundador de la escuela de la lógica intuicionista.
  • Norbert Wiener Estados Unidos, 26 de noviembre de 1894 - 18 de marzo de 1964 Ver y modificar los datos en Wikidata (69 años)

    Norbert Wiener Estados Unidos, 26 de noviembre de 1894 - 18 de marzo de 1964 Ver y modificar los datos en Wikidata (69 años)

    Publica un libro el cual habla sobre cibernética.
  • Alfred Tarski 14 de enero de 1901—26 de octubre de 1983

    Alfred Tarski 14 de enero de 1901—26 de octubre de 1983

    Matemático, lógico y filosofo. Realizo estudios sobre algebra y matemática en general.
  • Gerhard Gentzen 	24 de noviembre de 1909 - 4 de agosto de 1945 Ver y modificar los datos en Wikidata (35 años)

    Gerhard Gentzen 24 de noviembre de 1909 - 4 de agosto de 1945 Ver y modificar los datos en Wikidata (35 años)

    Formulo la prueba de consistencia de un sistema aritmético clásica..