O Computador Universal

A Estrada de Leibniz Turing

Por Martin Davis
Professor Emrito, New York University
Traduzido de: http://library.nu/docs/RZX95LM28E/

"Um dos pioneiros mundiais no desenvolvimento de cincia da

computao oferece uma histria fascinante de computadores.
Computadores esto em toda parte hoje - no trabalho, no banco, em
estdios de arte, s vezes at em nossos bolsos - mas que permanecem
para muitos de ns objetos de mistrio irredutvel. Como podem os
computadores de hoje realizarem uma tal variedade desconcertante de
tarefas de computao, se computao apenas glorificada
aritmeticamente ?
A resposta, como Martin Davis, lucidamente ilustra, reside no fato de
que os computadores so essencialmente motores da lgica. Seu
hardware e software incorporam conceitos desenvolvidos ao longo dos
sculos, por lgicos, tais como Leibniz, Boole, e Godel, culminando com
as idias incrveis de Alan Turing.
O livro Computador Universal: a estrada de Leibniz a Turing - traa
o desenvolvimento desses conceitos, explorando com cativantes
detalhes, a vida e a obra dos gnios que primeiro os formulou. Os
leitores vo ter um entendimento revelador de como e porque os
computadores funcionam e como os algoritmos dentro deles, vieram a
ser o que hoje podemos fazer para programar computadores.
Computadores dependem de coisas da eletrnica digital, tais como
semicondutores, chips de memria e da eletricidade. Mas eles tambm
contam com um corpo de conhecimento cientfico duramente
conquistado, que permitiu que os dispositivos agora onipresentes possam
realizar clculos complexos em sistemas operacionais multitarefa
(Linux, Windows, Mac) e at mesmo jogar no computador.
Martin Davis, uma intrprete fluente da matemtica e da filosofia,
localiza a fonte desse conhecimento no trabalho do notvel pensador
alemo G. W. Leibniz, que, entre outras realizaes, foi um ilustre

jurista, engenheiro de minas e um diplomata, mas encontrou tempo para

inventar um mecanismo chamado "Roda de Leibniz", uma espcie de
calculadora que pudesse realizar as quatro operaes bsicas de
aritmtica. Leibniz, subsequentemente, desenvolveu um mtodo de
clculo, chamado Calculus Raciocinator, um tipo de calculador, uma
inovao que seu sucessor, George Boole estendeu, nas palavras de
Davis, transformando lgica em lgebra. Boole surge como um
personagem profundamente de carter simptico nas pginas de Davis,
ao invs de poeira seca que figura em outras histrias. Como
explicado, nos relatrios de Davis, Boole voltou-se para a matemtica,
porque ele tinha to pouco dinheiro como estudante para comprar livros,
e livros de matemtica proporcionavam mais valor do que dinheiro,
porque levavam muito mais tempo para trabalh-los. Em seu livro,
Martin Davis mostra o desenvolvimento desta lgica, essencial para o
advento das "mquinas pensantes", atravs dos estudos e das oficinas
(workshops) de pensadores como George Cantor, Kurt Gdel e Alan
Turing, cada um dos quais estavam intrigados com um pouco mais do
funcionamento do mundo - e que, na oportunidade, tornaram o presente
(o mundo de hoje), possvel".
O livro de Martin Davis, contm muito mais:
Computador Universal: a estrada de Leibniz a Turing
Tabela de Conteudo
Prefcio, ix
INTRODUO, xi
Captulo Um: O Sonho de Leibniz, pag. 3
Captulo Dois: Boole transforma a Lgica em lgebra, pag. 21
Captulo Trs: Frege: A partir da descoberta de Desespero,
pag. 41
Captulo Quatro: Cantor: Desvio atravs do Infinito, pag. 59
Captulo Cinco: Hilbert para o Resgate, pag. 83
Captulo Seis: Gdel vira o caldo, pag.107:
Captulo Sete: Turing concebe Turing o computador de
Propsito Geral, pag.139
Captulo Oito: Fazendo os primeiros computadores Universais,
pag. 177
Captulo Nove: Alm do Sonho de Leibniz, pag. 199
EPLOGO, pag. 209
NOTAS, pag. 211
Referncias, pag. 239

Leibniz

Nascimento
Morte
Nacionalidade
Campo(s)
Alma mater
Tese

1 de julho de 1646, Leipzig

14 de novembro de 1716 (70 anos), Hanver
Alemo
Matemtica, Filosofia
Universidade Altdorf
1666: Disputatio Inauguralis De Casibus Perplexis In
Jure

Orientador(es)
Orientado(s)

Erhard Weigel e Christiaan Huygens

Jacob Bernoulli, Christian von Wolff
Mnada, Harmonia pr-estabelecida, linguagem binria,
Conhecido(a) por
caractristica, Todiceia
Plato, Aristteles, Tomas de Aquino, Duns Scot,
Influncia(s)
Gassendi, Descartes, Locke, Bayle
Assinatura

Gottfried Wilhelm von Leibniz (Leipzig, 1 de julho de 1646

Hanver, 14 de novembro de 1716) foi um filsofo, cientista,
matemtico, diplomata e bibliotecrio alemo. A ele atribuda a criao
do termo "funo" (1694), que usou para descrever uma quantidade
relacionada a uma curva, como, por exemplo, a inclinao ou um ponto
qualquer situado nela. creditado a Leibniz e a Newton o
desenvolvimento do clculo moderno, em particular o desenvolvimento
da Integral e da Regra do Produto. Demonstrou genialidade tambm nos
campos da lei, religio, poltica, histria, literatura, lgica, metafsica e
filosofia.

Charles Babbage

Nascimento 26 de Dezembro de 1791

Morte 18 de Outubro de 1871 (79 anos) Londres
Nacionalidade
Britnico
Campo(s) Cincia da computao, matemtica Prmio(s) Medalha de
Ouro da RAS (1824)
Charles Babbage (26 de Dezembro de 1791 Londres, 18 de Outubro

de 1871) foi um cientista, matemtico e inventor ingls nascido em

Teignmouth, Devon. Charles Babbage mais conhecido e, de certa
forma, reverenciado como o inventor que projetou o primeiro
computador de uso geral, utilizando apenas partes mecnicas, a mquina
analtica. Ele considerado o pioneiro da computao. Seu invento,
porm, exigia tcnicas bastante avanadas e caras na poca, e nunca foi
construdo. Sua inveno tambm no era conhecida dos criadores do
computador moderno.
Mais recentemente, entre 1985 e 1991, o Museu de Cincia de Londres
construiu outra de suas invenes inacabadas, a mquina diferencial 2,
usando apenas tcnicas disponveis na poca de Babbage.
Charles Babbage estudou em Cambridge, onde depois lecionou
matemtica. Foi um dos fundadores, juntamente com Herschel e
Peacock, da Analitical Society (1811) do Trinity College, em
Cambridge. Eleito membro da Royal Society of London (1816), recebeu
uma bolsa do governo para projetar uma calculadora com capacidade
para at a vigsima casa decimal (1823).
Enquanto desenvolvia sua mquina era professor de matemtica na
University of Cambridge (1828-1839). Apresentou sua mquina analtica
em 1833, tendo sido considerada o ponto de partida para os modernos
computadores eletrnicos.
Publicou diversos artigos sobre matemtica, estatstica, fsica e geologia.
Tambm colaborou para a modernizao do sistema de cdigo postal
ingls, alm de ser o primeiro matemtico que conseguiu colocar em
desuso a cifra de Vigenre, utilizando mtodos de cripto-anlise (anlise
de frequncia).

George Boole

Nascimento 2 de Novembro de 1815

Lincoln
Morte 8 de dezembro de 1864 (49 anos)
Ballintemple
Nacionalidade

Britnico

Conhecido(a) por lgebra Booleana

Prmio(s) Medalha Real (1844).
George Boole (2 de Novembro de 1815 8 de Dezembro de
1864) foi um matemtico e filsofo britnico, criador da
lgebra Booleana, base da atual aritmtica computacional.

Ada Lovelace

Nome completo Ada Augusta Byron King

Conhecido(a) por ser a primeira programadora de computadores da
histria.
Nascimento 10 de dezembro de 1815, Londres, Inglaterra
Reino Unido
Morte 27 de novembro de 1852 (36 anos), Londres, Inglaterra
Reino Unido
Parentesco Lord Byron (filha)
Ttulo Condessa de Lovelace
Ada Augusta Byron King, Condessa de Lovelace (10 de Dezembro de
1815 - 27 de Novembro de 1852) principalmente conhecida por ter
escrito um programa que poderia utilizar a mquina analtica de Charles
Babbage.
Lady Lovelace reconhecida como a primeira programadora de toda a
histria.
Durante o perodo em que esteve envolvida com o projeto de Babbage,
ela desenvolveu os algoritmos que permitiriam mquina computar os
valores de funes matemticas, alm de publicar uma coleo de notas
sobre a mquina analtica.

George Cantor

Nascimento George Ferdinand Ludwig Philipp Cantor 3 de

Maro de 1845, So Petersburgo
Morte 6 de Janeiro de 1918 (72 anos) Halle an der Saale
Residncia Rssia (18451856), Alemanha (18561918)
Nacionalidade Russo
Campo(s) Matemtica
Instituies Universidade de Halle-Wittenberg
Alma mater Instituto Federal de Tecnologia de Zurique,
Universidade Humboldt de Berlim
Tese 1867: De aequationibus secundi gradus indeterminatis
Orientador(es) Ernst Kummer e Karl Weierstrass
Conhecido(a) por Conjunto de Cantor, Poeira de Cantor,
Argumento de diagonalizao de Cantor, Teorema de CantorBernstein-Schroeder
Prmio(s) Medalha Sylvester (1904)
George Ferdinand Ludwig Philipp Cantor

Conhecido por ter elaborado a moderna teoria dos conjuntos.

Cantor provou que os conjuntos infinitos no tm todos a mesma
potncia (potncia significando "tamanho"). Fez a distino entre
conjuntos numerveis (ou enumerveis), que se podem contar e
conjuntos contnuos ou no-enumerveis, que no se podem contar).
Provou que o conjunto dos nmeros racionais Q enumervel, enquanto
que o conjunto dos nmeros reais
contnuo (logo, maior que o

anterior). Foi ele que utilizou pela primeira vez o smbolo

para

representar o conjunto dos nmeros reais.

Os conceitos matemticos inovadores propostos por Cantor enfrentaram
uma resistncia significativa por parte da comunidade matemtica da
poca. Os matemticos modernos, por seu lado, aceitam plenamente o
trabalho desenvolvido por Cantor na sua Teoria dos Conjuntos,
reconhecendo-a como uma mudana de paradigma da maior
importncia.
Nas palavras de David Hilbert:
"Ningum nos poder expulsar do Paraso que Cantor criou."
David Hilbert (Knigsberg, 23 de janeiro de 1862
Gttingen, 14 de fevereiro de 1943) foi um matemtico
alemo que contribuiu para a matemtica com idias
brilhantes que distriburam-se a diversas de suas reas.
Hilbert freqentemente considerado como um dos
maiores matemticos do sculo XX.

Alonzo Church

Nascimento Alonzo Church 14 de junho de 1903

Washington, D.C., EUA

Morte 8 de novembro de 1995 (92 anos)

Hudson, Ohio, EUA
Residncia Estados Unidos
Nacionalidade Estadunidense
Campo(s) matemtica e lgica
Instituies Princeton University (19291967)
University of California, Los Angeles (19671995)
Alma mater Princeton University
Orientador(es) Oswald Veblen
Orientado(s) C. Anthony Anderson, Peter Andrews, George Alfred
Barnard, Martin Davis, Leon Henkin, David Kaplan, John George
Kemeny, Stephen Kleene, Michael Rabin, Hartley Rogers, Jr, J. Barkley
Rosser, Nathan Salmon, Dana Scott, Raymond Smullyan, Alan Turing
Alonzo Church (Washington, DC, 14 de junho de 1903 Hudson (Ohio) - 8 de novembro de 1995) foi um matemtico
norte-americano que atuou principalmente nas reas de lgica
matemtica e teoria da computao. Entre suas maiores
contribuies, esto o Clculo Lambda, um sistema
matemtico formal que investiga funes e aplicao de
funes como base para paradigma de programao funcional.
Influenciou,
assim,
as
linguagens
de
programao,
principalmente as linguagens funcionais, como o LISP (LISP
'puro' pode ser chamada de uma linguagem funcional
verdadeira).

Kurt Gdel

Kurt Gdel, em 1925

Nascimento 28 de Abril de 1906
Brnn, Morvia, ustria-Hungria (hoje pertencente Repblica
Checa)
Morte 14 de janeiro de 1978 (71 anos)

Princeton, Nova Jrsei,

Estados Unidos
Nacionalidade

Austraco
Americano

Campo(s) Matemtica, Lgica matemtica

Instituies Instituto de Estudos Avanados de Princeton
Alma mater Universidade de Viena
Tese 1929: ber die Vollstndigkeit des Logikkalkls
Orientador(es) Hans Hahn
Conhecido(a) por Teorema da Incompletude de Gdel
Teorema da completude de Gdel
Prova da consistncia da hiptese do continuum com os axiomas de
Zermelo-Fraenkel
Prmio(s) Prmio Albert Einstein (1951), Medalha Nacional de Cincias
(1974)
Postura religiosa Tesmo

Assinatura

Kurt Gdel e Albert Einstein

Kurt Gdel (em alemo, pronuncia-se AFI: [kt dl]

oua)

(Brnn, ustria-Hungria[1], 28 de Abril de 1906 Princeton,

Estados Unidos, 14 de Janeiro de 1978) foi um matemtico
austraco, naturalizado americano.

O trabalho mais famoso de Gdel seu teorema da incompletude, no de

sistemas axiomticos. Isto significa que existiro proposies que no
podero ser nem comprovadas nem negadas por este sistema axiomtico.

Alan Turing

Nascimento Alan Mathison Turing 23 de Junho de 1912 Maida Vale,

Londres, Reino Unido
Morte 7 de Junho de 1954 (41 anos) Wilmslow, Cheshire, Reino Unido,
Suicidou-se comendo uma ma envenenada.
Residncia
Reino Unido
Nacionalidade

Britnico

Campo(s) Matemtica, lgica e criptoanlise

Instituies Universidade de Manchester, National Physical Laboratory,
Universidade de Cambridge
Alma mater Universidade de Cambridge, Universidade de Princeton
Orientador(es) Alonzo Church
Orientado(s) Robin Gandy
Conhecido(a) por Mquina de Turing, Problema da parada, Teste de
Turing, Prmio Turing
Prmio(s) Officer of the Order of the British Empire
Fellow of the Royal Society
Alan Mathison Turing (OBE; 23 de Junho de 1912 7 de Junho de
1954) foi um matemtico, lgico, criptoanalista e cientista da
computao britnico. Foi influente no desenvolvimento da cincia da
computao e proporcionou uma formalizao do conceito de algoritmo
e computao com a mquina de Turing, desempenhando um papel
importante na criao do moderno computador.
A mquina de Turing um dispositivo terico conhecido como
mquina universal, que foi concebido pelo matemtico britnico Alan
Turing (1912-1954), muitos anos antes de existirem os modernos

computadores digitais (o artigo de referncia foi publicado em 1936).

Num sentido preciso, um modelo abstrato de um computador, que se
restringe apenas aos aspectos lgicos do seu funcionamento (memria,
estados e transies) e no sua implementao fsica. Numa mquina
de Turing pode-se modelar qualquer computador digital.
Uma mquina de Turing consiste em:
1. Uma fita que dividida em clulas, uma adjacente outra. Cada

clula contm um smbolo de algum alfabeto finito. O alfabeto

contm um smbolo especial branco (aqui escrito como ) e um
ou mais smbolos adicionais. Assume-se que a fita
arbitrariamente extensvel para a esquerda e para a direita,
isto , a mquina de Turing possui tanta fita quanto necessrio
para a computao. Assume-se tambm que clulas que ainda no
foram escritas esto preenchidas com o smbolo branco.
2. Um cabeote, que pode ler e escrever smbolos na fita e mover-se

para a esquerda e para a direita.

3. Um registrador de estados, que armazena o estado da mquina

de Turing. O nmero de estados diferentes sempre finito e h

um estado especial denominado estado inicial com o qual o
registrador de estado inicializado.
4. Uma tabela de transio de estado que diz mquina que

smbolo escrever, como mover o cabeote (

para esquerda e

para direita) e qual ser seu novo estado, dados o smbolo

que ele acabou de ler na fita e o estado em que se encontra. Se
no houver entrada alguma na tabela para a combinao atual
de smbolo e estado ento a mquina pra.

Note que cada parte da mquina finita; sua quantidade de fita

potencialmente ilimitada que d uma quantidade ilimitada de espao de
armazenamento. Logo, descobrir as fronteiras entre funes
computveis e no-computveis equivalente a descobrir os limites

do computador. Entretanto, o conjunto das funes computveis

equivalente ao conjunto de funes computveis numa mquina de
Turing.
Durante a Segunda Guerra Mundial, Turing trabalhou num centro
especializado em quebra de cdigos. Por um tempo ele foi chefe da
seo responsvel pela criptoanlise da frota naval alem. Planejou uma
srie de tcnicas para quebrar os cdigos alemes. Aps a guerra,
trabalhou no Laboratrio Nacional de Fsica do Reino Unido, onde criou
um dos primeiros projetos para um computador de programa
armazenado. aqui que comea a construo do computador de
hoje. aqui que comea o que se chama de Teoria da Computao,
que a base para a Cincia da Computao atual.

Martin David Davis

Born 1928 New York City

Nationality American
Institutions New York University
Alma mater Princeton University, Doctoral advisor Alonzo Church
Known for Davis-Putnam algorithm (DPLL algorithm)
Martin David Davis, (nascido em 1928, New York City) um
matemtico americano, conhecido por seu trabalho baseado no trabalho
de Hilbert. Ele Ph.D. pela University of Princeton em 1950, onde seu
oreintador de doutorado foi Alonzo Church. professor emrito na New
York University. Suas pesquisas proporcionam trabalhos sobre
Computabilidade, Complexidade e Linguagens, que esto na Second
Edition do livro: Fundamentals of Theoretical Computer Science, um
livro-texto sobre a Teoria da Computabilidade (a teoria que estuda o
que computvel por um computador), consistindo em trabalhos ps
Alan Turing.