O que é a integridade Turing?

A integridade é quando uma linguagem de programação é capaz de executar as funções de uma máquina de Turing. Este é um conceito para um computador mecânico muito básico, às vezes descrito como a máquina mais simples que pode ser considerada um computador. Praticamente todas as linguagens de programação em uso hoje e, em teoria, os computadores que os administram têm integridade. Entre seu trabalho sobre computação estava o desenvolvimento de uma filosofia do que um computador poderia realmente fazer. Isso incluiu o conceito de que os computadores funcionam simplesmente executando algoritmos. Ou seja, eles seguem um conjunto fixo de regras para processar dados e, por sua vez, resolver problemas. Isso significa que um computador não "pensa" ou toma decisões como uma pessoa pode.

para ilustrar o conceito,Turing descreveu uma máquina hipotética que ele chamou de "A-Machine", com o "A" defendendo automático; Outros mais tarde chamaram de Turing Machine. A máquina processaria um carretel de fita que poderia voltar ou para frente e continha uma linha de símbolos. A qualquer momento, a máquina poderia processar um símbolo e, se necessário, alterá -la. Para os propósitos do conceito, o rolo de fita poderia ser infinitamente longo, o que significa que a memória do computador não era inerentemente limitada. Essa é uma analogia para a ideia de que, uma vez que um computador tenha um conjunto de instruções a seguir, a quantidade de dados para a qual pode aplicar essas instruções está sujeito apenas a limites físicos.

Ironicamente, a maioria dos computadores atualmente não tem integridade. Isso ocorre porque eles têm limitações no espaço de armazenamento disponível e, portanto, os dados que podem processar. Eles também têm limitações físicas, principalmente que eventualmente eles se desgastarão. Na verdade, é a linguagem de programação que tem integridade.Por esse motivo, um computador executando esse programa não é um computador Turing, mas pode ser usado para simular um.

A integridade não deve ser confundida com o teste de Turing. Este foi um experimento projetado por Turing para ver se os computadores podem conversar em linguagem natural. O princípio do teste é que, se um humano não puder dizer a diferença entre uma conversa somente para texto com o computador e outro humano, o computador passa no teste. Enquanto alguns computadores passaram no teste quando a variedade de assuntos de conversa é restrita, nenhum o fez em conversas irrestritas.