Os computadores são capazes de fazer descobertas?
Eles certamente contribuíram para uma série de descobertas, em áreas que vão da matemática à astronomia, passando pela bioquímica. Mas, durante os anos 1950, alguns cientistas da computação acreditaram que suas máquinas poderiam, um dia, fazer descobertas sozinhas. A previsão pareceu se concretizar em 1982, quando um programa baseado em lógica chamado AM (Automated Mathematician), desenvolvido por Douglas Lenat, na Universidade de Stanford, anunciou sua convicção de que cada número inteiro par maior do que 2 pode ser expressado como a soma de dois números primos. Evidentemente, os humanos chegaram primeiro: o matemático alemão Christian Goldbach fez a mesma afirmação em 1742, embora nem ele nem ninguém jamais tenha sido capaz de provar conclusivamente que todos os números inteiros obedecem a essa regra. Mesmo assim, a “Conjectura de Goldbach” é amplamente aceita como a primeira (re)descoberta feita por um computador, sem intervenção humana evidente. |
publicidade
publicidade