UNIVERSIDADE FEDERAL DA BAHIA

INSTITUTO DE MATEMATICA
DISCIPLINA: TEORIA DA COMPUTAAO

CONTRIBUICOES CIENTIFICAS DOS MATEMATICOS

HILBERT, GODEL, TURING, CHURCH, KLEENE.

SALVADOR - 2015
David Hilbert
Hilbert frequentemente considerado como um dos maiores matemticos do sculo XX,
. Devemos a ele principalmente a lista de 23 problemas, alguns dos quais no foram resolvidos
at hoje, apresentada em 1900 no Congresso Internacional de Matemticos em Paris.[3]
Suas contribuies matemtica so diversas:
Consolidao da teoria dos invariantes, que foi o objeto de sua tese.
Transformao da geometria euclidiana em axiomas, com uma viso mais formal
que Euclides, para torn-la consistente(Fundamentos da geometria).
Trabalhos sobre a teoria dos nmeros algbricos, retomando e simplificando, com a ajuda
de seu amigo Minkowski, os trabalhos
de Kummer, Kronecker, Dirichlet e Dedekind(Relatrio sobre os nmeros).
Criao dos espaos que levam seu nome, durante seus trabalhos
em anlise sobre equaes integrais.
Contribuio para as formas quadrticas, bases matemticas da teoria da
relatividade de Albert Einstein.
Na universidade de Gttingen, Hilbert era cercado por um crculo social de alguns dos mais
importantes matemticos do sculo XX, como Emmy Noether e Alonzo Church.
Notvel na teoria dos nmeros reais, geometria, topologia, equaes diferenciais, clculo de
variaes e outros campos, sua consagrao definitiva veio com uma coleo de vinte e trs
postulados conhecidos como axiomas de Gilbert, reduzindo a geometria a uma srie de axiomas
e dando uma contribuio crucial para os fundamentos formalsticos da matemtica.substituindo
os axiomas tradicionais de Euclides por um conjunto mais formal, evitando as fraquezas
encontradas na argumentao daquele. Ainda assim, o texto de Euclides usado como livro
texto padro.
A abordagem de Hilbert marca a transio para o mtodo axiomtico moderno, no qual axiomas
agora no so mais verdades auto-evidentes. Apesar da Geometria tratar de objetos a respeito
dos quais temos forte intuio, no se faz necessrio ter significado explcito para conceitos
indefinidos tais como o ponto, a reta, o plano e as relaes de pertinncia, congruncia e estar
entre. Segundo Hilbert no era mais necessrio tratar dos objetos comuns geometria (reta,
ponto e plano), podendo substitu-los por objetos cotidianos. A discusso, entretanto, no se
baseia nos objetos, mas sim nas relaes entres eles estabelecendo o que chamamos de
axiomas de incidncia, ordem, congruncia, paralelismo de retas e continuidade.
A preocupao de Hilbert era fazer um trabalho bem feito sob o ponto de vista lgico, tanto que
na introduo do seu livro ele diz que estabelecer os axiomas da Geometria equivalente a
anlise lgica da nossa percepo do espao.

Kurt Gdel
Publicou um artigo que de uma vez por todas provou que uma nica Teoria de Tudo realmente
impossvel. A descoberta de Gdel foi chamada de O Teorema da Incompletude.
A descoberta de Gdel no se aplica somente matemtica, mas literalmente a todos os ramos
da cincia, lgica e conhecimento humano. Kurt Gdel, publicou um artigo que de uma vez por
todas provou que uma nica Teoria de Tudo realmente impossvel, O Teorema da
Incompletude em que afirma que qualquer coisa em que voc pode desenhar um crculo ao
redor no pode ser explicada por si mesma sem se referir a algo fora do crculo algo que voc
tem que assumir mas no pode provar.

Expresso em Linguagem Formal:

O teorema de Gdel diz: Qualquer teoria efetivamente gerada capaz de expressar aritmtica
elementar no pode ser simultaneamente consistente e completa. Em particular, para qualquer
teoria formal consistente e efetivamente gerada, que prova certas verdades aritmticas bsicas,
existe uma afirmao aritmtica que verdadeira, mas que no pode ser provada em teoria.
Voc pode desenhar um crculo ao redor de todos os conceitos no seu livro de geometria do
colgio. Mas eles so todos feitos sobre os cinco postulados de Euclides, que claramente so
verdadeiros, mas que no podem ser provados. Esses cinco postulados esto fora do livro, fora
do crculo.
Gdel provou que h SEMPRE mais coisas que so verdadeiras do que voc pode provar.
Qualquer sistema de lgica ou nmeros que os matemticos possam desenvolver sempre se
basear em pelo menos umas poucas suposies que no podem ser provadas
Uma teoria de tudo seja na matemtica, na fsica ou na filosofia nunca ser encontrada.
Porque impossvel.

Alan Turing
Alan Turing foi um incrvel matemtico, lgico e criptoanalista, cujos estudos e projetos se
tornaram base para a tecnologia atual, considerado o Pai do Computador.
Criou em conjunto com uma organizao inglesa um sistema para traduzir os textos encriptados
pelos alemes chamado bombe. Sua mquina era extremamente eficaz contra o equipamento
inimigo, que usava uma encriptadora chamada Enigma para fazer com que as mensagens
captadas pelos britnicos no fossem compreensveis.
A bombe captava e identificava quando o sinal estava protegido pelo mesmo padro da Enigma,
para depois usar um padro de lgica que ignorava informaes que se contradiziam e gerar a
mensagem verdadeira. Na poca, j haviam algumas mquinas que faziam o mesmo, mas
nenhuma to bem quanto esta.O sistema da bombe usava mecanismos eletromecnicos e era
extremamente avanado para sua poca. Por isso, ele muitas vezes considerado como o
primeiro computador da histria.
Por mais que a criao da bombe seja impressionante, seu ttulo de pai da computao s veio
com a criao de sua mquina-automtica, atualmente conhecida por mquina de Turing.
A ideia do equipamento era bastante simples: o aparelho devia ser capaz de manipular smbolos
em uma fita de acordo com uma srie de regras para guardar informaes. A lgica por trs da
mquina de Turing pode imitar qualquer algoritmo de um PC, se mostrando especialmente til
para que as pessoas possam compreender as limitaes da computao.
Todo o conceito da mquina de Turing foi ento incorporado ao primeiro computador do
matemtico, chamado ACE (AutomaticComputingEngine ou motor de computao
automtica). Infelizmente, o projeto sofreu vrios problemas de atraso e custo, sendo construdo
apenas tempos depois e em uma verso mais simples. Foi nesta poca tambm que Alan Turing
criou seu famoso teste, usado at hoje para descobrir o nvel de inteligncia de um programa de
inteligncia artificial. Esse teste no foi criado para analisar a capacidade de um computador de
pensar por si mesmo, j que as mquinas so completamente incapazes disso, mas sim de
identificar o quo bem ele pode imitar o crebro humano. Para isso, uma pessoa deve mandar
uma srie de perguntas para o computador, analisando as respostas dadas por ele. Caso essa
pessoa no consiga diferenciar se o que foi dito pelo sistema foi elaborado por outro ser humano
ou se veio de uma mquina, a inteligncia artificial definida como inteligente.
Alan Turing foi um dos homens de maior importncia no s para seu tempo, como para a
atualidade. Com estudos que no s foram base para a existncia da inteligncia artificial, mas
de quase todos os aparelhos eletrnicos j feitos, e inventos que permitiram que as vidas de
incontveis pessoas fossem salvas durante a Segunda Guerra.

Alonzo Church
Entre suas maiores contribuies, esto o clculo lambda, um sistema matemtico formal que
investiga funes, aplicao de funes. Influenciou as linguagens de programao,
principalmente as linguagens funcionais, como o LISP (LISP 'puro' pode ser chamada de uma
linguagem funcional verdadeira).
O teorema de Church consiste fundamentalmente na demonstrao de que no existe algoritmo
capaz de enumerar as expresses no vlidas, de maneira que fica excludo a priori todo
procedimento de deciso para as expresses do "Clculo de predicados".
Church tambm era interessado no problema da indecibilidade de Hilbert. Church tinha
alcanado resultados, empregando o conceito de lambda-definibilidade (ao invs do computvel
por uma mquina de Turing definido por Turing), mostrando assim que lambda-definibilidade
equivalente ao conceito de recursividade de Gdel. O clculo-lambda, como sistema elaborado
por Church para ajudar a fundamentar a Matemtica era inconsistente, mas a parte do clculo-
lambda que tratava de funes recursivas estava correta e teve sucesso. Usando sua teoria,
Church props uma formalizao da noo de "efetivamente computvel", atravs do conceito
de lambda-definibilidade. Desta forma mostrou que o sistema de procedimentos de Turing eram
equivalente lambda-definibilidade. O trabalho de Church e Turing fundamentalmente liga os
computadores com as mquinas de Turing. Os limites das Maquinas de Turing, de acordo com a
tese de Church-Turing, tambm descreve os limites de todos os computadores.

Kleene
Um dos estudantes mais notrios de Alonzo Church, Kleene reconhecido junto com Alan
Turing e outros como um fundador da ramificao da lgica matemtica conhecida por teoria da
computabilidade. Seu trabalho fundamentou o estudo de que funes so computveis. Diversos
conceitos matemticos tm seu nome, como a hierarquia de Kleene, a lgebra de Kleene,
o fecho de Kleene, oteorema da recurso de Kleene e o teorema do ponto fixo de Kleene. Ele
tambm o inventor das expresses regulares.
A teoria da computabilidade, tambm chamada de teoria da recurso, um ramo da lgica
matemtica que foi originado na dcada de 30 com o estudo das funes computveis e dos
graus de Turing. O ramo se estendeu e passou a incluir o estudo generalizado da
computabilidade e definibilidade.

Correlao entre Eles

O clculo-lambda, como sistema elaborado por Church para ajudar a fundamentar a Matemtica
era inconsistente, como o mostraram Kleene. Mas a parte do clculo-lambda que tratava de
funes recursivas estava correta e teve sucesso. Usando sua teoria, Church props uma
formalizao da noo de efetivamente computvel, atravs do conceito de lambda-
definibilidade. Turing, em 1936 e 1937, ao apresentar a sua noo de computabilidade
associada a uma mquina abstrata, mostrou que a noo Turing-computvel equivalente
lambda-definibilidade. O trabalho de Church e Turing liga fundamentalmente os computadores
com as MT. Os limites das MT, de acordo com a tese de Church-Turing, tambm descreve os
limites de todos os computadores. O processo que determina o valor de uma funo atravs
dos argumentos dessa funo chamado de clculo da funo. Como foi observado, a mquina
de Turing pode ser matematicamente interpretada como um algoritmo e, efetivamente, toda ao
de uma mquina algortmica como o computador pode ser considerada como a de calcular o
valor de uma funo com determinados argumentos. Este insight interessante, pois fornece
uma maneira de se medir a capacidade computacional de uma mquina. Necessita-se somente
identificar as funes que se capaz de computar e usar.
A partir dos resultados de Gdel, Turing e Church, pode-se dizer que existem funes para as
quais no existe uma sequncia de passos que determinem o seu valor, com base nos seus
argumentos. Dizendo-se de outra maneira, no existem algoritmos para a soluo de
determinadas funes. So as chamadas funes no computveis. Isso significa que para tais
funes no h nem haver capacidade computacional suficiente para resolv-las. Logo,
descobrir as fronteiras entre funes computveis e no computveis equivalente a descobrir
os limites do computador em geral. A tese de Church-Turing representa um importante passo
nesse sentido. A percepo de Turing foi a de que as funes computveis por uma MT eram
as mesmas funes computveis acima referidas. Em outras palavras, ele conjeturou que o
poder computacional das MT abarcava qualquer processo algortmico, ou, analogamente, o
conceito da MT propicia um contexto no qual todas as funes computveis podem ser
descritas. Em sntese: as funes computveis so as mesmas funes Turing-computveis. A
importncia disso est na possibilidade de se verificar o alcance e limites de um computador.
Na figura que segue pode-se visualizar como se d a ligao entre os mundos formal,
matemtico e computacional.

Bibliografia:

Rezende, Eliane Q. F. e de Queiroz, Maria Lcia B., Geometria Euclidiana Plana e Construes
Geomtricas, Ed. UNICAMP, 2000;
www.wikipedia.org;
http://www.emis.de/journals/BAMV/conten/vol13/Godel.pdf
http://rmu.sbm.org.br/Conteudo/n06/n06_Artigo01.pdf