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