Assine SUPER por R$2,00/semana
Continua após publicidade

O homem e a máquina

Por Da Redação Materia seguir SEGUIR Materia seguir SEGUINDO
Atualizado em 31 out 2016, 18h52 - Publicado em 31 ago 1988, 22h00

Luiz Barco

No começo do século, o matemático alemão David Hilbert (1862-1943) propôs uma série de 23 problemas que, previa ele, marcariam os rumos da Matemática nos anos seguintes. Uma frase do texto com que apresentou esses problemas foi marcante: “Enquanto um ramo da ciência oferece uma abundância de problemas (a resolver), ele está vivo”. Em 1931, um então ainda jovem matemático austríaco, Kurt Gôdel, apresentou um trabalho de algumas dezenas de páginas, cheias de símbolos, e nele deixou claro que Hilbert não estava inteiramente certo nas suas concepções.

Gõdel nasceu em 1906 na cidade de Brno, que na época estava no território austro-húngaro (atualmente pertence à Tchecoslováquia). Formou-se em Matemática e Física na Universidade de Viena e lá lecionou até 1938. Fugindo da guerra, viajou para os Estados Unidos, tornou-se cidadão americano e integrou-se ao famoso Instituto para Estudos Avançados da Universidade de Princeton. Morreu em 1978, aos 72 anos, e já então era tido como um revolucionário da ciência.

A Matemática é sempre considerada uma ciência sem contradições. Supõe-se que quando alguma coisa éprovada matematicamente, fica irrefutável. Essa crença gerou expressões populares do tipo “tão certo como dois e dois são quatro”. Gôdel mostrou que mesmo dentro de um sistema rigidamente lógico, como o que foi desenvolvido para a Aritmética, podem ser formuladas proposições que são indecidíveis ou indemonstráveis, dentro dos axiomas desse sistema. Isto é, dentro do sistema existem enunciados precisos que não podem ser provados nem negados. Portanto, não se pode, usando os métodos comuns, provar que os axiomas da Aritmética não são autocontraditórios.

Essas idéias de Gõdellevaram a um novo ramo da lógica matemática, a teoria da indecidibilidade. Em suas implicações, a descoberta de proposições indec cidíveis foi tão perturbadora no século XX quanto deve ter sido para os pitagóricos, no século IV a.C., a revelação, por Hippasus, da existência de grandezas incomensuráveis. Mas uma conseqüência que ultrapassa os limites da Matemática é a que parece condenar um perseguido ideal da ciência: inventar uma coleção de axiomas dos quais todos os fenômenos do mundo natural possam ser deduzidos.

Continua após a publicidade

Gõdel, diga-se a bem da verdade, não tinha a aparencia e um revolucionário. Magro, modos gentis, falava pouco – e preferia a solidão.

Em Princeton, costumava abrigar-se na cantina para. Fugir aos visitantes sempre ansiosos por ver uma celebridade como ele. Mas suas proposições eram revolucionárias – tanto que provocaram longas e acirradas discussões, não apenas entre matemáticos, mas também entre os filósofos. A idéia de que é impossível provar por meios matemáticos que a Matemática não esteja em contradições mudou radicalmente muita coisa. E isso também em outros territórios, como os da Física e da Biologia.

Mas eis que uma outra luz se acende no infinito túnel do conhecimento. Recentemente, alguns teoremas tidos como indemonstráveis (pelo menos pelo saber aceito ortodoxamente) têm sido provados com a ajuda de calculadoras ou computadores. Por exemplo, o teorema das quatro cores. Bastam quatro cores para colorir um mapa (ou uma colcha de retalhos) de modo que nenhum país (ou retalho) seja vizinho de outro da mesma cor? Em 1976, os americanos W. Haken e K. Apple demonstraram que sim, trabalhando com um computador durante 1 200 horas.

Para muitos matemáticos, o uso de computadores em demonstrações desse tipo seria como usar um trator para escavar um sítio arqueológico. Acham que eles produzem uma cadeia finita de verificações, enquanto uma demonstração matemática deve ser breve, concisa e elegante. Para mim, isso é um exagero. Nós nos encontramos no limiar de novos tempos e por certo no século XXI teremos preocupações que talvez encontrem resposta na multidisciplinaridade. Mas é certo que jamais, como hoje, a intuição humana contrapôs-se à lógica mecânica. Quando Gõdel garantia que os formalismos são limitados, estava mostrando, em síntese, que o homem será sempre superior à máquina.

Publicidade

Matéria exclusiva para assinantes. Faça seu login

Este usuário não possui direito de acesso neste conteúdo. Para mudar de conta, faça seu login

Domine o fato. Confie na fonte.

10 grandes marcas em uma única assinatura digital

MELHOR
OFERTA

Digital Completo
Digital Completo

Acesso ilimitado ao site, edições digitais e acervo de todos os títulos Abril nos apps*

a partir de R$ 2,00/semana*

ou
Impressa + Digital
Impressa + Digital

Receba Super impressa e tenha acesso ilimitado ao site, edições digitais e acervo de todos os títulos Abril nos apps*

a partir de R$ 12,90/mês

*Acesso ilimitado ao site e edições digitais de todos os títulos Abril, ao acervo completo de Veja e Quatro Rodas e todas as edições dos últimos 7 anos de Claudia, Superinteressante, VC S/A, Você RH e Veja Saúde, incluindo edições especiais e históricas no app.
*Pagamento único anual de R$96, equivalente a R$2 por semana.

PARABÉNS! Você já pode ler essa matéria grátis.
Fechar

Não vá embora sem ler essa matéria!
Assista um anúncio e leia grátis
CLIQUE AQUI.