Aspectos da Tese de Church

Aspectos da tese de Church-Turing
Arleison Meira Rocha Lacerda1, Iran Freitas Ribeiro1, Jearleson Lacerda, José Pedro Cavalcante Maioli Menezes1, Rafael Cardoso Oliveira1,
1Curso de Ciência da Computação
Universidade Estadual do Sudoeste da Bahia (UESB) – Vitória da Conquista, BA - Brazil [e-mail], [e-mail], [e-mail], [e-mail], [e-mail]
Abstract. This article presents some of the aspects of the Church-Turing thesis, explaining your impact in the scientific community and exemplifying yours applications. During the of intrduction, a brief resum about the life the of two scientific is showed. Next, the explaining of the thesis itself.
Resumo. Este artigo aborda a tese de Church-Turing, explicando seu impacto na comunidade científica e exemplificando suas aplicações. No decorrer da introdução, um breve resumo sobre a vida dos dois cientistas é apresentado. Em seguida, a explicação da tese propriamente dita.
1.Introdução
Alonzo Church foi um matemático e filósofo estado-unidense, nascido em Washington, D.C., e exerceu atividades acadêmicas nas universidades de Princeton e Califórnia, Los Angeles (UCLA). Foi membro da Academia Nacional de Ciências dos EUA. No rol de suas contribuições para a comunidade científica está a famosa Tese de Church (1936). Morreu em Hudson, Ohio aos 92 anos.
Matemático britânico nascido em 1912, Alan Mathison Turing formou-se nas universidades de Princeton e Cambridge, sendo considerado um dos maiores pioneiros na teoria da computação. Publicou no mesmo ano da Tese de Church um paper chamado On Computable Numbers, introduzindo um conceito essencial para a teoria da computação: uma máquina computacional hipotética conhecida atualmente por Máquina de Turing. Mais tarde, trabalhou como criptógrafo para os aliados durante a Segunda Guerra Mundial. Suicidou-se em 1954, em decorrência de crises de depressão causadas por tratamentos médicos forçados por ser homossexual, ou seja,