Alonzo church

Disponível somente no TrabalhosFeitos
  • Páginas : 6 (1297 palavras )
  • Download(s) : 0
  • Publicado : 17 de novembro de 2011
Ler documento completo
Amostra do texto
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

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

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

Muzambinho2011
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 atuouprincipalmente 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 SymbolLogic”
* 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 contémduas ramificações:
* Lógica proposicional – proposições possuem valores-verdade booleanos
* Lógica de predicados – estendida com quantificadores existencial e universal
Para a ciência da computação, a lógica simbólica possui aplicações bastante importantes. Temos como exemplo os circuitos lógicos que se utilizam a lógica booleana para estabelecer se em um determinado local ocorre àpassagem de corrente elétrica. Baseado fortemente na lógica proposicional, outro exemplo, é o trabalho de Gödel no teorema da incompletude, que possui muitas repercussões no campo da computação.
Há um paradigma de programação denominado programação lógica. A programação lógica foi posta em debate no final dos anos 1960, e a pioneira é a linguagem chamada Planner, desenvolvida no MIT (Instituto deTecnologia de Massachusetts), por Carl Hewitt.
Outra linguagem que utiliza programação lógica é a Prolog, a qual é utilizada em aplicações de inteligência artificial e de lingüística computacional. Ela se baseia na lógica de predicados e foi desenvolvida por Alain Colmerauer e Philippe Roussel.

4 – ENTSCHEIDUNGSPROBLEM

Proposto por David Hilbet em 1928, o problema solicita de um algoritmoque receba como entrada a descrição de uma linguagem formal e um enunciado nessa linguagem, para decidir-se se esse enunciado e verdadeiro ou falso. Nos anos 1936 e 1937, Church e Turing, respectivamente, publicaram artigos independentes onde demonstram que uma solução para este método é impossível. Esse resultado foi denominado Teorema de Church ou Teorema de Church-Turing.
O berço daproblemática é remetido à Gottfried Leibniz, no século XVII, onde depois de criar sua máquina de calcular, sonhava em construir uma máquina para manipular símbolos lógicos com o intuito de determinar a valoração-verdade de enunciados matemáticos. Para dar o primeiro passo, ele percebeu que seria necessário o estabelecimento de uma linguagem formal, muito de seu trabalho subseqüente foi dirigido a esse...
tracking img