Wolfram Alpha

Será que o sonho dos anos 60 da Inteligência Artificial (IA) de se construir um programa que resolva tudo quanto é problema (antigamente batizado de GPS para General Problem Solver – Resolvedor Geral de Problemas) vai se concretizar? A comunidade acadêmica, o mundo da tecnologia e os usuários da web em geral terão ainda que esperar algumas semanas para saber se a façanha está mesmo próxima de se realizar. Stephen Wolfram, o idealizador do popular software científico Matemática e escritor de A New Kind of Science, começou um tímido, mas já barulhento, processo de divulgação do Wolfram Alpha. Os que tiveram a oportunidade de ver a versão em preparação (a versão oficial só será lançada em Maio) se surpreenderam com o que está sendo proposto. Wolfram Alpha é um site que responde perguntas sobre, bem, sobre simplesmente tudo! Não se trata de um Google que acha páginas sobre tudo. Ele responde perguntas! Por exemplo, se você pergunta sobre “usuários de internet na Europa” ele não só diz a quantidade, como mostra gráficos por países e estatísticas de uso. Trata-se de um trabalho que requereu a construção de uma enorme base de conhecimento (em um formato ad hoc e ainda não conhecido pela comunidade científica) e de mecanismos para explorá-la. Wolfram Alpha usa muito do código do Matemática para construir o que o autor chama de Um Motor de Conhecimento Computacional para a Web. Falar mais sobre o que é ou será o projeto não me parece interessante, pois é só especulação. Será a tão esperada “killer application” da Inteligência Artificial? Não sei, mas que vai fazer muito barulho, isso vai.

Paradoxos II

Fiquei surpreso pelo silêncio dos leitores no que se refere a resposta ao paradoxo que apresentei semana passada (veja-o aqui). Provei que um era igual a dois, mas ninguém tinha conseguido dizer porque minha prova era errada. Só ontem, depois que já tinha acabado de escrever esse texto, é que Hermann postou a resposta correta. Já estava ficando preocupado e por isso já havia decidido divulgar a solução. Depois poderia alguém começar a achar que um era igual a dois, né? O erro está no fato de que a simplificação especificada na linha 6 implica que os dois termos teriam que ser divididos por (x-x). Isso seria o mesmo que dividir por zero o que é impossível. Como tinha dito, trata-se aqui de um paradoxo por falácia. Existem outros que são bem mais complexos. Por exemplo: teríamos como provar que a seguinte frase é verdadeira?

“Essa frase é falsa”

Digam-me o que pensam

Paradoxos: Um é Igual a Dois?

A leitura do livro Labyrinths of Reason (Labirintos da razão) de William Poundstone é uma maravilhosa viagem ao mundo dos parodoxos. Dá-se o nome de paradoxo a um conjunto de afirmações (chamadas ainda de premissas) que normalmente levam a uma contradição muitas vezes recorrentes que chegam a desafiar a nossa intuição. Por terem essa característica desafiadora são normalmente irônicos e divertidos. Paradoxos aparecem muitas vezes sob a forma de falácias. Nesse caso há uma ou mais de uma premissa que embora aparentemente consistente, é falsa, mas que não é tão simplesmente percebida. Para aqueles que gostam de desafios, deixem-me descrever uma pequena prova para servir de exemplo de um paradoxo por falácia. Vou provar algo que todos nós concordamos que é falso : de que um é igual a dois (1=2).




Simples não? Onde está o erro? (ou será que um é igual a dois é verdadeiro?)
Espero a contribuição de vocês