Hipótese de Church

Alonzo Church
1903-1995

Alonzo Church
•Vida & Obra

• Nasceu a 14 de Junho de 1903 em Washington DC (EUA); • Filho de Samuel Robbins Church, juiz do tribunal municipal do distrito da Colombia; • Estudou na Universidade de Princeton onde se licenciou em Matemática; • Três anos depois viria a tornar-se Ph.D em matemática;

Alonzo Church
•Vida & Obra

• Foi professor na Universidade de Harvard (1927-1928), na Universidade de Göttingen e na Universidade de Amsterdão no ano seguinte; • Deu aulas em Princeton (1929–1967) e na Universidade de California, Los Angeles, (1967–1990). • Perdeu a vida no dia 11 de Agosto de 1995;

Alonzo Church
•Hipótese de Church-Turing

• Após a proposta da Máquina de Turing, surgiram diversos outros trabalhos, que resultaram em conceitos equivalentes ao de Turing.

Alonzo Church
•Hipótese de Church-Turing

“A capacidade de computação representada pela Máquina de Turing é o limite máximo que pode ser atingido por qualquer dispositivo de computação”

Alonzo Church
•Hipótese de Church-Turing

“Toda 'função que seria naturalmente considerada computável' pode ser computada por uma Máquina de Turing.”

Sign up to vote on this title
UsefulNot useful