33
/de/
AIzaSyB4mHJ5NPEv-XzF7P6NDYXjlkCWaeKw5bc
November 1, 2025
1159260
348144
2
Public Timelines
FAQ Das Premium bekommen

Alan Turing (1912 - 1954) Alonzo Church (1903 - 1995) (1 Jan 1939 Jahr – 1 Jan 1945 Jahr)

Beschreibung:

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.

Zugefügt zum Band der Zeit:

Datum:

1 Jan 1939 Jahr
1 Jan 1945 Jahr
~ 6 years