Aportaciones cientificos

CIENTIFICO

APORTACION

NAGARJUNA

Desarrollo un método de análisis de las indiferencias denominado catuskoti o tetralema

DIGNAGA Y SU SUCESOR DHARMAKIRTI

Continuaron el trabajo de Nagarjuna, con quien la lógica budista alcanzo su máximo desarrollo

MOZI O MAESTRO

Fundo la escuela mohista que creo un conjunto de reglas encaminadas a la definición de lo que era la indiferencia valida y las condiciones de un juicio correcto, lo que propicio las bases para el estudio de la lógica formal

EUCLIDES DE NEGARA

Se intereso en la lógica proposicional, muy parecida a la lógica moderna

ARISTOTELES

Ocupo gran parte de su trabajo en la sistematización del conocimiento, escribiendo extensos, ordenados e importantes trabajos prácticamente sobre todas las ciencias conocidas.

Ofreció una clasificación completa de todas las cosas o nociones: sustancias, cantidad, relación, acción, pasión, diferencia, propiedad y accidente.

Estableció las reglas del razonamiento silogístico, y una correspondencia entre el pensamiento lógico y la estructura ontológica.

Su sistema lógico permaneció como el sistema más poderoso para ordenar el pensamiento racional prácticamente hasta el siglo XIX.

AL-GHAZALI, DE LA ESUCELA DE AHSARITA

Despunta Como uno de los más importantes y originales pensadores sobre lógica en el mundo islámico

´PEDRO DE ESPAÑA

Con su Tractatus influyo en la enseñanza de la lógica por muchos siglos

JEAN BURIDAN Y GUILLERMO DE OCKHAM

Con sus trabajos, la investigación en el medioevo alcanzo su punto más elevado en el siglo XIV sobre la teoría de la suposición

FRANCISCO SUAREZ Y JUAN DE SANTO TOMAS

Los últimos trabajos medievales se deben a ellos

AL-GWARIZMI

Invento el algebra y su aplicación a través de algoritmos, instrumentos que simplifican las operaciones de grandes números sustituyéndolos por símbolos

RENE DESCARTES

Primero en proponer que sería posible utilizar el algebra para la resolución de problemas científicos.

GOTTFRIED WILHEM LEIBNIZ

Llevo a la realidad la idea de Descartes al formular el primer sistema lógico basado en las matemáticas

Invención de la computación electrónica

FRIEDRICH G. FREGE

Con su trabajo Begriffsschift se le atribuye la extensión de la lógica formal hacia la lógica proposicional a través de una notación bidimensional

GEORGE BOOLE

Destaca en este ámbito debido a que a el se le debe la fundación del algebra de la lógica, que cristalizo el sueño de Leibniz de un lenguaje científico universal

Encontró un método general para formalizar la indiferencia deductiva, al representar raciocinios complicados mediante el uso de variables y relaciones entre ellas (ecuaciones)

ALAN TURING

Desarrollo el análisis lógico de los procesos computacionales, lo que culmino con la formulación de lo teoría de que era posible elaborar una maquina universal para la resolución de problemas, lo que implicaba que cualquier operación lógica era posible reducirla a una computación maquina

GARRETT BIRKHOFF Y JOHN VON NEUMANN

Se debe el concepto de lógica cuántica, que hace referencia a las operaciones lógicas necesarias para comprender las anomalías relacionadas con las medidas cuánticas

RICHARD FEYNMAN

Inicio el campo de la computación cuántica