Prezados colegas, hoje o nosso saudoso professor e mestre Newton da Costa faria 97 anos (espero que se esteja preparando uma grande festa para o seu centenário em 2029). Lendo publicações precoces do Newton encontrei uma de 1957 publicada no Anuário da Sociedade Paranaense de Matemática (vol. 4) intitulada "Kurt Gödel e os problemas da matemática atual". Esse texto foi publicado em co-autoria do professor Leo Barsotti, colega do Newton na época e colaborador na antiga Escola de Curitiba liderada por Newton, e ampliada pelo próprio Newton em publicação posterior na Revista Brasileira de Filosofia (1959) sob o título "O significado da obra de Kurt Gödel para os fundamentos da matemática". Nesse primeiro texto, os autores chamam à atenção para as críticas que estavam surgindo a respeito do aparecimento de antinomias, desde finais do século XIX, na lógica simbólica (chamada também de logística) e na teoria dos conjuntos de Cantor, gerando uma desconfiança dos "working mathematicians" a respeito desses estudos. Um dos principais críticos dessa situação de crise nos fundamentos da matemática foi Henri Poincaré que na sua obra "Ciência e Método" (1908) faz a seguinte afirmação (transcrita por nossos autores no texto mencionado): "Seja o que for, a Logística deve ser refeita e não se sabe bem o que se poderá salvar. Inútil acrescentar que só o Cantorismo e a Logística estão na questão; a verdadeira Matemática, a que serve para alguma coisa, poderá continuar a se desenvolver segundo seus próprios princípios, sem se preocupar com as tormentas que fora dela se desenvolvem, e prosseguir passo a passo, nas suas conquistas costumeiras, que são definitivas e que jamais terá que abandonar"., O resto do artigo de Newton e Barsotti, debruça-se sobre as contribuições de Gödel, mencionando também Russell e Hilbert dentre outros, para "salvar" a logística como apontado inicialmente por Poincaré. Mas, não podemos deixar de nos "iludir" por outro trecho da citação de Poincaré, a saber, "a verdadeira Matemática ... poderá continuar a se desenvolver segundo seus próprios princípios, sem se preocupar com as tormentas que fora dela se desenvolvem", o que pode ser parafraseado como "a verdadeira matemática poderá continuar sem medo das antinomias", talvez um pré-anúncio (sem Poincaré ser ciente disso) de uma matemática, na prática, "inconsistente" mas não trivial. Acho que Newton com seu grande poder de percepção pode também ter sido inspirado precocemente por esse texto de Poincaré, até porque também cita, na sequência, a seguinte frase dele (Poincaré): "A Logística não é estéril, ela gera a antinomia", a que deve ser lida positivamente e não negativamente. Um grande abraço para todos e "salve" Newton.
-- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYAQwid5qqG6_vSLQRQqpxnVCZwppCmGJ8ks_3xhz8Kyc0Q%40mail.gmail.com.
