-
A comienzos de siglo pasado, Hilbert consideraba a la lógica como una teoría axiomatizada.
-
Se debe a Gentzen
con el desarrollo de la técnica natural de
deducción y el cálculo sucesivo, con los que creó un
64 Revista Educación en Ingeniería • Enero a Junio de 2013
kit de herramientas sintácticas. -
Se una la ingenieria en comunicacion y ingenieria de trasmision.
-
Fue publicada por Melvin J. Kelly
-
Newell
y Simon desarrollaron el General Problem
Solver y Newell, Shaw y Simon diseñaron el
sistema Logic Theorist, con los que impactaron la
Inteligencia Artificial contemporánea. -
La Bell Thelephone plantea un origen para la ingenieria en sistemas.
-
En los años 50, cuando los computadores fueron
accesibles, Davis y Putnam (1960) utilizaron los resultados de Herbrand y elaboraron el primer algoritmo
de computador para demostrar el teorema. -
Por otro lado, Herbrand
aportó la probabilidad de insatisfacción sobre
los universos de Herbrand mediante un modelo teórico
e hizo posible la re-escritura del problema de decisión
de primer orden. -
Una definicion de ingenieros de sistemas.
-
Se crean las nuevas carreras sobre computación en los institutos técnicos de mexico.
-
El primero
utiliza el algoritmo del British Museum, un método
de búsqueda horizontal a ciegas de bajo rendimiento,
con base en los axiomas y reglas de inferencia dadas
por Russell y Whitehead .
