aqui uma lista interessante e provocativa, incluindo Banach-Tarski, incompletude, geometrias não-euclidianas e o teorema central da recursão...
http://blog.computationalcomplexity.org/2010/03/theorems-that-you-simply-dont-believe.html parece que a Lógica é um campo particularmente apropriado para produzir coisas inacredtiáveis. jm _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
