Alonzo church

INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO SUL DE MINAS GERAIS
CAMPUS MUZAMBINHO
-------------------------------------------------
Bacharelado em Ciência da Computação

ADRIANO CARVALHO
EMERSON DIAS DO PRADO
MARCELO VIANA MAGALHÃES SEABRA

ALONZO CHURCH

-------------------------------------------------

-------------------------------------------------

Muzambinho
2011
ADRIANO CARVALHO
EMERSON DIAS DO PRADO
MARCELO VIANA MAGALHÃES SEABRA

ALONZO CHURCH

Trabalho apresentado ao curso de Bacharelado em Ciência da Computação do Instituto Federal de Educação, Ciência e Tecnologia do Sul de Minas Gerais – Campus Muzambinho para o seminário de Linguagens Formais e Autômatos.

Orientadora: Professora Aracele Garcia de Oliveira

Muzambinho
2011
1 – INTRODUÇÃO

Este trabalho retrata o matemático estaduniense Alonzo Church. De princípio, haverá uma explanação a respeito de sua vida e contribuições. Logo após, contribuições estas, serão dissertadas com explicação das circunstâncias que ocorreram.

2 – VISÃO GERAL

Alonzo Church (Washington, DC, 14 de junho de 1903 – Hudson (Ohio) – 8 de novembro de 1995) foi um matemático que atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação. Tendo influenciado as linguagens de programação, principalmente as linguagens funcionais, como o LISP. Suas principais contribuições destacam: * Prova negativa do “Entscheidungsproblem” (problema de decisão) * A tese de Church, ou tese de Church-Turing * Foi o editor fundador do “Journal of Symbol Logic” * Criou o cálculo lambda.

3 – JORNAL DA LÓGICA SIMBOLÍCA

Fundado em 1963, o periódico, é publicado trimestralmente atualmente, pela Associação da Lógica Simbólica. A lógica matemática e suas aplicações são temáticas em suas publicações. É imprescindível, as submissões estarem contidas de inovações e não apenas pequenas variações de trabalhos já estabelecidos.
Á Lógica Simbólica