Evolución de la lógica matemática. KAREN CORTEZ

Platón

427 BCE

Postula la probabilidad de la existencia de dos mundos, los que son:
El mundo de las ideas y el mundo físico de los objetos.
Escogió el formato del diálogo como la transmisión del pensamiento.

Aristóteles

384 BCE

Es el primero en deducir que la lógica es una CIENCIA que estudia los razonamientos correctos. Para Aristóteles el tipo de razonamiento llamado silogismo era el más fundamental para la ciencia.

Euclides

300 BCE

Aporto uno de los elementos más relevantes que es su texto matemático de la historia del pensamiento científico.

Apolonio de Perge

262 BCE

Contribuyó con su obra: Sobre curvas cónicas un geómetra de la época helenística, el cual se convirtió en un manual en medio del Renacimiento

René Descartes

1596

Como filósofo matemático aportó con la creación de la geometría y un corpus cuantitativo que permite el uso de métodos algebraicos.

Isaac Newton

1642

Descubrió la gravitación universal, el desarrollo del cálculo infinitesimal y varios descubrimientos sobre la óptica.

Gottfried, W. Leibniz

1646

Su principal trabajo publicado es el “nuevo método para la determinación de los máximos y mínimos”.
Publicó “Generales inquisiciones de análisis de nociones”.
También se dedicó a fundamentar el cálculo.

Georg Wilhelm Friedrich Hegel

1770

Es el autor de la “ciencia como lógica”, con este trabajo se le constituye en la constitución de la lógica dialectal.

Nikolái Lobachevski

1792

Fundó la Geometría No Euclidiana y renovó los fundamentos que hasta esa época establecía la ciencia de la geometría.

Augustus De Morgan

1806

Fundamentó la teoría de las relaciones y la lógica matemática y formuló las leyes de Morgan.

George Boole

1815

Planteó un método general para formalizar la inferencia deductiva, representando complicados raciocinios, aplicó el cálculo matemático a la lógica y fundó el álgebra de la lógica.

Georg F. Cantor

1845

Considerado el creador de la teoría de los números irracionales y de los conjuntos, posibilitó la idea del infinito continuo.

Friedrich G. Frege

1848

Renovó y desarrollo la lógica clásica hasta el momento, introdujo los cuantificadores u operadores en elaborar la Teoría de la cuantificación.

Giuseppe Peano

1858

Elaboró su obra Formularie en la cual quedaron contenidos la enunciación de los principios de lógica matemática y su aplicación.

Bertrand Rusell

1872

Creador de la logística y gran pensador con mayor influencia en la filosofía científica contemporánea. Era una persona anti aristotélica, deducía que el que quiera iniciar en la lógica no debe estudiar la lógica de Aristóteles.

Luitzen Brouwer

1881

Fue un matemático y lógico alemán que fundó la escuela de la lógica intuicionista en contra del formalismo de Hitler.

Norbert Wiener

1894

Público su libro que lo llevó a la fama "Cibernética, o control y comunicación en el animal y la máquina", en el cual utilizó por primera vez la palabra CIBERNÉTICA

Alfred Tarski

1902

Al ser polaco y un matemático lógico realizó importantes estudios de álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos, y las metamatemáticas.

Kurt Gödel

1906

Estableció que es imposible construir un sistema de cálculo lógico en el que todos sus teoremas y enunciados sean reducibles dentro de un problema.

Gentzen

1909

Formuló la prueba de consistencia de un sistema de aritmética clásica.

Alan Turing

1912

Contribuyó a importantes análisis lógicos de los procesos computacionales,con su Máquina de Turing intenta determinar si si la matemática se puede reducir a un tiempo simple de computación.

Benoit Mandelbrot

1924

Impulsor de la matemática contemporánea y pionero de la geometría fractal, siendo estos el corpus principal de sus investigaciones además contemplaban los sistemas irreversibles.