-
980 BCE
Mariela Bussi - UNIBE - Inteligencia Artificial - Dra. Rina Familia
-
384 BCE
Precedentes Científicos - Aristoteles
Leyes de la Lógica
– Ley de Identidad
– Ley de la Negación
– Ley del Tercer Excluido https://es.wikipedia.org/wiki/Lógica_aristotélica -
Blaise Pascal - Mecanización del Razonamiento
La pascalina fue la primera calculadora que funcionaba a base de ruedas y engranajes, inventada en 1642 por el filósofo y matemático francés Blaise Pascal (1623-1662). Tambien Blaise es conocido por sus posiciones sobre la diferencia entre el pensamiento y el conocimiento. -
GOTTFRIED LEIBNITZ
Cálculo Infinitesimal
• Cálculo del
Razonamiento
• Sistema Binario de
Numeración -
Rene Descartes
“Cogito ergo sum” ¨Pienso luego existo¨
• Separación Cuerpo Mente
• Hombre como máquina -
CHARLES BABBAGE
Diseñó y parcialmente implementó una máquina para calcular, de diferencias mecánicas para calcular tablas de números. También diseñó, pero nunca construyó, la máquina analítica para ejecutar programas de tabulación o computación; por estos inventos se le considera como una de las primeras personas en concebir la idea de lo que hoy llamaríamos una computadora, por lo que se le considera como «El Padre de la Computación» -
ADA AUGUSTA BYRON
Fue una matemática y escritora británica cuya fama le viene principalmente por su trabajo sobre la máquina calculadora mecánica de uso general de Charles Babbage, la denominada máquina analítica. Entre sus notas sobre la máquina se encuentra lo que se reconoce hoy como el primer algoritmo destinado a ser procesado por una máquina, por lo que se la considera como la primera programadora de ordenadores. -
George Boole
Leyes básicas del pensamiento (Conectivas And, Or y Not)
• Tablas de Verdad
Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación -
GOTTLOB FREGE
Cálculo de Predicados
• Casa(Verde)
• Verde(Casa)
