Historia de la Lógica (Luis Rodriguez, Paola Martínez,Armando Manríquez)
-
-
Sostiene la existencia de dos mundos:
El mundo de las ideas
El mundo físico de los objetos
Aparte de crear la academia de atenas -
Planteo el Organón unos tratados de la lógica que representa el primer intento serio que funda la lógica como ciencia
-
Realizo uno de los textos matemáticos más relevantes de la historia del pensamiento científico llamada los celebres elementos una exhaustiva compilación de las matemáticas conocidas en el año 300 a.c
-
le dio el interés de la lógica de los enunciados simples con sujeto y predicado s los enunciando complejos
-
Fue el autor de una obra que habla de las curvas cónicas, una manera de geometría de la época helenistica
-
crea la Geometría analítica, aporta un corpus cuantitativo al asunto y permite el uso de métodos algebraicos
-
Realizo distintos descubrimientos como el de la gravitación universal, desarrollo cálculo infinitesimal y descubrimientos óptica
considerados los principios matemáticos de la filosofía natural -
El Publica la obra “Generales inquisiciones de
análisis de nociones que fundamenta el cálculo lógico
Fundo la Academia de ciencias de Berlin en 1700 -
Fue el autor de “Ciencia de la lógica” y
Constitución de la lógica dialéctica. -
Funda la Geometría No Euclidiana y renueva fundamentos que hasta ese momento cimentaban la Geometría
-
su mayor contribución a la lógica fueron la creación de las leyes de Morgan y su teoría del desarrollo de las relaciones de la lógica y las matemáticas
-
Aplico el calculo matematico a la logica
-
el le da a la lógica el nombre de lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas propuso el uso de los puntos auxiliares
-
Fue el fundador de la escuela de la Lógica intuicionista
-
Sus contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica. Sobre las proposiciones indecibles de los sistemas de matemática formal establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decibles dentro del sistema
