-
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. -
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. -
Aporto uno de los elementos más relevantes que es su texto matemático de la historia del pensamiento científico. -
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 -
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. -
Descubrió la gravitación universal, el desarrollo del cálculo infinitesimal y varios descubrimientos sobre la óptica. -
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. -
Es el autor de la “ciencia como lógica”, con este trabajo se le constituye en la constitución de la lógica dialectal. -
Fundó la Geometría No Euclidiana y renovó los fundamentos que hasta esa época establecía la ciencia de la geometría. -
Fundamentó la teoría de las relaciones y la lógica matemática y formuló las leyes de Morgan. -
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. -
Considerado el creador de la teoría de los números irracionales y de los conjuntos, posibilitó la idea del infinito continuo. -
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. -
Elaboró su obra Formularie en la cual quedaron contenidos la enunciación de los principios de lógica matemática y su aplicación. -
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. -
Fue un matemático y lógico alemán que fundó la escuela de la lógica intuicionista en contra del formalismo de Hitler. -
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 -
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. -
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. -
Formuló la prueba de consistencia de un sistema de aritmética clásica. -
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. -
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.