Historia de la Lógica
Euclides (300 BCE)
Geometria plana
Introdujo el atgoritmo del maximo comun divisor
Se le conoce como padre de la geometria
Platón (427 BCE)
el dialogo (dialecta)
se transmite de persona en persona
concebia dos mundos
de las ideas
de los objetos
Prótagoras de Abdera (450 BCE)
"El hombre es la medida de todas las cosas"
introdujo la idea del relativismo
Alan Turing
Creo una maquina
resolver cualquier problema matematico
algoritmo
desifraba mensajes
test de Turing
verificaba si una maquina era inteligente
padre de la inteligencia artificial
Aristoteles (400 BCE)
utilizo lenguaje ordinario
fue el primer filosofo en identificar y dar forma ala reglas
padre de la lógica clásica
destaco los silogismos
deductivos
Gotfffried Leibniz
calculo infinitesimal
invento una maquina para realizar calculos
raiz cuadrada
multiplicacion
division
Issac Newton
ley de la gravitacion
ley de la dinamica
leyes de movimiento
George Boole
Álgebra boleana
logica binaria
verdadero o falso
fundamento de las bases de las computadoras