Aspectos da Tese de Church
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 arleison@ymail.com, ifreitasribeiro@hotmail.com, jearleson@hotmail.com, maioli@live.nl, rafaelcohot@hotmail.com
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,