a busca de exemplos concretos de incompletude em matemática ainda vai dar panos para a manga
Picking holes in mathematics -- Marianne Freiberger http://plus.maths.org/content/picking-holes-mathematics (o artigo inclui em particular um exemplo interessante, mesmo que não seja recente, de uma sentença indecidível que envolve uma coleção finita de árvores finitas) jm _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
