Hiptese 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 Matemtica; Trs anos depois viria a tornar-se Ph.D em matemtica;

Alonzo Church
Vida & Obra

Foi professor na Universidade de Harvard (1927-1928), na Universidade de Gttingen e na Universidade de Amsterdo no ano seguinte; Deu aulas em Princeton (19291967) e na Universidade de California, Los Angeles, (19671990). Perdeu a vida no dia 11 de Agosto de 1995;

Alonzo Church
Hiptese de Church-Turing

Aps a proposta da Mquina de Turing, surgiram diversos outros trabalhos, que resultaram em conceitos equivalentes ao de Turing.

Alonzo Church
Hiptese de Church-Turing

A capacidade de computao representada pela Mquina de Turing o limite mximo que pode ser atingido por qualquer dispositivo de computao

Alonzo Church
Hiptese de Church-Turing

Toda 'funo que seria naturalmente considerada computvel' pode ser computada por uma Mquina de Turing.