Como presente aos colegas lógicos, envio um poema instrutivo: A proof that the Halting Problem is undecidable --Geoffrey K. Pullum http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html
JM _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
