-
RENÉ DESCARTES
René Descartes, también llamado Renatus Cartesius, fue un filósofo, matemático y físico francés, considerado como el padre de la geometría analítica y de la filosofía moderna, así como uno de los nombres más destacados de la revolución científica.
Destacado por:
“Cogito ergo sum”Separación Cuerpo-MenteHombre como máquina -
-
Gottfried Leibniz
Fue uno de los grandes pensadores de los siglos XVII y XVIII, y se le reconoce como "El último genio universal". Realizó profundas e importantes contribuciones en las áreas de metafísica, epistemología, lógica, filosofía de la religión, así como a la matemática, física, geología, jurisprudencia e historia.
Realizo grandes aportes en AI:
Cálculo InfinitesimalCálculo del RazonamientoSistema Binario de Numeración -
Charles Babbage
Charles Babbage FRS fue un matemático británico y científico de la computación. Diseñó y parcialmente implementó una máquina para calcular, de diferencias mecánicas para calcular tablas de números. Considerado como el padre del computador Electronico . Destacado por :
El surgimiento de la máquina Diferencia -
ADA AUGUSTA BYRON
Augusta Ada King, Condesa de Lovelace, conocida habitualmente como Ada Lovelace, fue una matemática británica.
Reconocida por :
Condesa de LovelaceSistema BinarioPrimera Programadora -
DAVID HILBERT
matemático alemán, reconocido como uno de los más influyentes del siglo XIX y principios del XX. Estableció su reputación como gran matemático y científico inventando o desarrollando un gran abanico de ideas, como la teoría de invariantes, la axiomatización de la geometría y la noción de espacio de Hilbert, uno de los fundamentos del análisis funcional. Destacado en la IA por sus grandes aportes como :
Axiomatización de la GeometríaTeoría de la DemostraciónMetamatemática -
BERTRAND RUSSELL
filósofo, matemático, lógico y escritor británico ganador del Premio Nobel de Literatura y conocido por su influencia en la filosofía analítica, sus trabajos matemáticos y su activismo social. Aportando a la IA:
PrincipiaMathematicaLa Matemática tiene sus raíces en la LógicaAlfred North Whitehead -
ALONSO CHURCH
Matemático estadounidense. Profesor en la Universidad de Princeton, se especializó en lógica matemática, metalógica y metamatemática. Es notable su concepto de calculabilidad y su demostración de la indecidibilidad de la lógica de primer orden. Desarrolló el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas.
Destacan sus obras Cálculo de conversión lambda (1941) -
Kurt Gödel
Reconocido como uno de los más importantes lógicos de todos los tiempos, el trabajo de Gödel ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. -
ALAN TURING
Alan Mathison Turing, OBE fue un matemático, lógico, científico de la computación, criptógrafo y filósofo británico.Es considerado uno de los padres de la ciencia de la computación. MÁQUINA DE CÁLCULO ABSTRACTA -
John McCarthy
fue un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial. De hecho, fue el responsable de introducir el término “inteligencia artificial”, concepto que acuñó en la Conferencia de Dartmouth en 1956. -
GEORGE BOOLE
George Boole fue un matemático y lógico británico.
Destacado por :
Leyes básicas del pensamiento (Conectivas And, Or y Not)Tablas de Verdad -
GOTTLOB FREGE
Friedrich Ludwig Gottlob Frege fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica,
Da los siquientes aportes :
Cálculo de PredicadosCasa(Verde)Verde(Casa) (Para todo x) (Existe un x) -
ARISTÓTELES
Filósofo griego que formulo las :
Leyes de la Lógica
Ley de Identidad
Ley de la Negación
Ley del Tercer Excluido
