Alan Turing (1912 - 1954) Alonzo Church (1903 - 1995) (1 gen 1939 anni – 1 gen 1945 anni)

Descrizione:

O surgimento da teoria da computação começa a tomar forma quando os matemáticos Alonzo Church (1903 - 1995) e
Alan Turing (1912 - 1954) publicam um trabalho idealizando a existência de uma máquina perfeita de calcular com
memória infinita e processamento instantâneo – estabelecendo –, mesmo, neste caso, que há limitações de computação
numérica. Eles partiram dos resultados lógicos já idealizados por Kurt Gödel em 1931 referentes à completeza e
incompleteza para desenvolver tal teoria. Dois teoremas importantes estabelecidos por estes matemáticos são: 1)
Teorema de Church: a lógica de predicados ou de primeira ordem é dotada de indecibilidade; 2) Tese de Church-
Turing: deu origem às máquinas de Turing, ou seja, que uma máquina com processamento recursivo não possui um
algoritmo geral para dizer sempre 1 ou 0 a uma string qualquer de entrada.

Aggiunto al nastro di tempo:

Data: