Da Incompletude da Representação e dos Limites do Conhecimento Formal O problema não está em afirmar que a matemática é incapaz de conhecer. Ao contrário: precisamente porque a matemática conhece com rigor, seus próprios limites tornam-se filosoficamente significativos. Os teoremas da incompletude de Kurt Gödel pertencem, em sua demonstração imediata, ao domínio da lógica matemática. Eles dizem respeito a sistemas formais suficientemente expressivos, consistentes e capazes de representar determinada aritmética. Sob essas condições, existem proposições que não podem ser demonstradas dentro do próprio sistema. A consequência rigorosa não é que “tudo seja incognoscível”, nem que a realidade seja necessariamente incompleta. A consequência é mais precisa e, por isso mesmo, mais profunda: um sistema de representação não coincide necessariamente com a totalidade das verdades que podem ser formuladas a respeito do domínio que ele representa. Essa distinção tem alcance epistemológico. ...