Alan Turing (1912 - 1954)
Alonzo Church (1903 - 1995) (jan 1, 1939 – jan 1, 1945)
Description:
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.
Added to timeline:
trabalho_Lógica_12:57
Date: