Olá, > 2009/5/30 Marcelo Finger <[email protected]> escreveu: > > O que poucas pessoas parecem perceber é que pela segunda lei da >> termodinâmica, todo programa que rode em qualquer computador real >> eventualmente termina; possivelmente, sem dar resposta nenhuma. >> Portanto, via Física, o problema da parada na prática é decidível, e >> a decisão é sempre sim. >> Neste caso, o que é indecidível é prever qto tempo um programa demora >> pra parar. E se ele dará resposta ou não antes de parar.
O conto "The Last Question" (http://www.multivax.com/last_question.html), do Isaac Asimov, relaciona computacao (de certa forma, "automated theorem proving", mais especificamente) e a segunda lei da termodinamica de uma maneira interessante... Até mais, Bruno -------------------------------- Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
