Olá a todos Acabei de ver a seguinte discussão no mathoverflow:
http://mathoverflow.net/questions/40920/what-if-current-foundations-of-mathematics-are-inconsistent Não vi a palestra, mas é possível notar pelo título a identificação de fundamentos com um sistema formal (ZFC?). Nesse sentido parece que há apenas duas possibilidades para fundamentos: 1. o pensamento matemático chegou a uma forma acabada e o único problema que sobra para os fundamentos é o de consistência do sistema formal. Como não há esperança de fazer avanços significativos referentes a esse problema nesse nível, fundamentos é uma atividade de desespero e especulação ("e se for inconsistente?"). 2. o pensamento matemático está em evolução, nesse caso os "fundamentos atuais" deverão ser substituídos por "outros fundamentos" e essa atividade consiste em formalizar em alguma linguagem a atividade matemática (para que?) e especular sobre sua consistência. Em qualquer caso, a concepção implícita nessa identificação não é nada generosa com fundamentos. Abraço Rodrigo _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
