Por Jonathon Keats

EM 1935, Alan Turing começou a construir uma reputação por outflanking líderes do mundo matemático. Turing tinha 22 anos, e um novo companheiro em Cambridge. Seu alvo, David Hilbert, foi o venerado professor da Universidade de Göttingen que estabeleceu sozinho a agenda de pesquisa para a matemática do século XX.

Hilbert foi páreo para os Britânicos, o upstart. Em seu livro Turing’s Vision, Chris Bernhardt mostra habilmente como Turing destruiu uma das grandes ambições de Hilbert com uma prova magistral – no curso da qual ele inadvertidamente inventou o computador moderno.

o título do artigo de Turing, “sobre números computáveis, com uma aplicação para o problema Entscheidungsproblem” (o que significa “problema de decisão”), dificilmente é convidativo, e a leitura requer treinamento avançado. Isso pode explicar por que, à medida que a fama de Turing explodiu, a escrita mais popular focou em seu codebreaking em tempo de guerra, sua escrita pós-guerra em inteligência artificial – ou sua perseguição e acusação por ser gay e póstumo perdão real.mas o que falta no livro de Bernhardt em drama, compensa em uma explicação lúcida. A visão de Turing permite que leitores cuidadosos apreciem a prova que fez o nome de Turing e, como bônus, entendam o básico dos computadores modernos.o Entscheidungsproblem foi parte do trabalho de Hilbert para mostrar que os axiomas básicos da matemática são logicamente consistentes. Para esse fim, Hilbert buscou um algoritmo – um procedimento computacional – que indicasse se uma dada afirmação matemática poderia ser provada apenas a partir desses axiomas. Turing mostrou decisivamente que não havia tal algoritmo.

“Turing provou que não houve mecânica conjunto de regras para as soluções de todos os problemas matemáticos”

Para fazer isso, sarah Bernhardt explica, Turing teve que primeiro estabelecer uma definição para o termo algoritmo para definir o que significa computar. Turing olhou para “computadores” humanos-pessoas que fizeram computações. A tarefa envolve escrever símbolos no papel, ele observou. “O comportamento do computador a qualquer momento é determinado pelos símbolos… ele está observando e seu ‘estado de mente’.”

quebrando cogitação aparentemente complexa em procedimentos aritméticos simples, Turing tornou a computação explícita e eliminou o elemento humano. “A nova visão de Turing foi definir algoritmos em termos de máquinas de computação teórica”, escreve Bernhardt. “Qualquer coisa que possa ser computada pode ser computada por uma máquina de Turing.”

é por isso que as máquinas eram centrais para o trabalho de Turing. Mostrar que havia algoritmos que máquinas de Turing funcionariam indefinidamente e inconclusivamente era uma maneira de mostrar que Hilbert estava enganado. Turing provou “que havia perguntas que estavam além do poder dos algoritmos para responder”. Seu triunfo foi espetacular, e devastador para aqueles que acreditavam (como Hilbert fez) que todos os problemas poderiam ser resolvidos.

no entanto, tão cruciais quanto as máquinas teóricas eram para a prova de Turing, eles acabaram por ter ainda mais impacto em seu próprio direito, fornecendo um modelo conceitual para computadores modernos. A influência foi direta, informando o projeto pioneiro de John von Neumann de 1945 para computadores eletrônicos, e as máquinas do tamanho de sala que aplicaram sua arquitetura. Como as máquinas de Turing, os computadores usavam uns e zeros para codificar programas e dados. Isso continua sendo essencial para Línguas e redes de alto nível, então ao aprender sobre máquinas de Turing, os leitores pegam os princípios da ciência da computação.

Existem também ramificações filosóficas hoje em dia. Tendo baseado computadores no comportamento humano, Turing observou que as pessoas são realmente máquinas de Turing. Os computadores são nossos espelhos: quer nos maravilhemos ou estremecemos no último AI, estamos meramente olhando para nós mesmos.

este artigo apareceu na impressão sob a manchete ” Are we Turing machines?”

(*Quando você compra através de links nesta página podemos ganhar uma pequena comissão, mas isso não tem papel no que nós revisamos ou nossa opinião sobre ele.)

More on these topics:

• mathematics
• computing
• algorithms