¿Qué es la integridad de Turing?

La integridad

es cuando un lenguaje de programación puede llevar a cabo las funciones de una máquina Turing. Este es un concepto para una computadora mecánica muy básica, a veces descrita como la máquina más simple que puede considerarse una computadora. Prácticamente todos los lenguajes de programación en uso en la actualidad, y en teoría, las computadoras que los ejecutan, tienen una integridad. Entre su trabajo sobre informática estaba el desarrollo de una filosofía de lo que realmente podría hacer una computadora. Esto incluyó el concepto de que las computadoras funcionan simplemente ejecutando algoritmos. Es decir, siguen un conjunto fijo de reglas para procesar datos y, a su vez, resolver problemas. Esto significa que una computadora no "piensa" o toma decisiones como una persona puede.

para ilustrar el concepto,Turing describió una máquina hipotética que llamó una "máquina A", con el "A" que se situó automático; Otros más tarde lo llamaron la máquina Turing. La máquina procesaría un carrete de cinta que podría retroceder o hacia adelante y contenía una línea de símbolos. En cualquier momento, la máquina podría procesar un símbolo y, si es necesario, alterarla. A los fines del concepto, el carrete de cinta podría ser infinitamente largo, lo que significa que el recuerdo de la computadora no era inherentemente limitado. Esta es una analogía para la idea de que una vez que una computadora tiene un conjunto de instrucciones a seguir, la cantidad de datos a los que puede aplicar esas instrucciones está sujeto solo a límites físicos.

Irónicamente, la mayoría de las computadoras hoy en día en realidad no tienen una integridad. Esto se debe a que tienen limitaciones en el espacio de almacenamiento disponible y, por lo tanto, los datos que pueden procesar. También tienen limitaciones físicas, sobre todo que eventualmente se desgastarán. En realidad, es el lenguaje de programación el que tiene integridad.Debido a esto, una computadora que ejecuta dicho programa no es una computadora Turing, sino que se puede usar para simular una.

La integridad

no debe confundirse con la prueba de Turing. Este fue un experimento diseñado por Turing para ver si las computadoras pueden conversar en lenguaje natural. El principio de la prueba es que si un humano no puede notar la diferencia entre una conversación solo de texto con la computadora y otro humano, la computadora pasa la prueba. Si bien algunas computadoras han pasado la prueba cuando el rango de sujetos de conversación está restringido, ninguna lo ha hecho en una conversación sin restricciones.