Professional Documents
Culture Documents
respecto a la electrnica
Walddys Emmanuel Dorrejo Cspedes
Walddysdorrejo@gmail.com
Sntesis
Las cosas ms notables que hizo Turing est el
concepto de mquina calculadora de capacidad infinita, en la
que el matemtico ide un modelo formal de ordenador
donde demostr que un sistema automtico de reglas muy
simples poda ejecutar cualquier clase de operaciones
matemticas expresadas en un lenguaje formal establecido,
sentando las bases del concepto moderno de algoritmo.
Durante 1936 resolvi el problema de decisin
con su mquina; este problema de lgica simblica
propugnaba que no exista nada parecido a un problema
insoluble; pero fue resuelto, de forma independiente, por l
y Church, y se conoce como Tesis Church-Turing.