Ele , Wagner Waneck Martins nunca falava em política e sim, na pura matemática ligado à lógica matemática, apesar que este falecido professor de lógica, lançou a lógica linguística, através da Aritmética Booleana, foi taxado na USP , como um professor Maluco na Poli, através de uma de uma entrevista ao jornal da USP que circula nos meios universitários dessa universidade. Até lá ninguém conheceu Godel para o debate e ele sim foi conversar com Godel nas décadas finais de 70.

Este senhor Marcelo está no caminho de meu pai Wagner Waneck Martins, que descobriu a Aritmética Booleana, tudo o que ele disse, meu pai já dizia, meu pai nunca tivera verbas do governo para mostrar ao mundo como chegou à Aritmética,sem incentivos governamentais, ele foi incentivado por uma instituição de ensino Tereza Martin, para dar conhecimento das soluções de Kurt Godel, conheceu em sua vida este grande matemático que soube que existia soluções para os paradoxos da matemática de Godel.

"Deus existe porque a Matemática é consistente, mas o Diabo também porque não podemos provar". Andre Weil, um dos cérebros por trás de Bourbaki.

Não só a constituição americana... E uma coisa é a inconsistência residual de um projeto axiomático sério. Outra é o cipoal contraditório de artigos e parágrafos votados por centenas de pessoas, com direito a acordos, destaques e jabutis de última hora.

Gödel fazia parte do empirismo lógico e positivismo lógico do Círculo de Viena. A revista Erkenntnis, editada por Carnap e Reichenbach, trazia artigos que insistiam no empirismo na epistemologia e enfatizavam a importância da lógica moderna e rejeitavam a especulação metafísica. Quine e Hanson atacaram algumas crenças dos positivistas lógicos. Hanson manteve que ver é impregnado de teoria.

O artigo de Gödel em1931, era: "Sobre sentenças formalmente indecidíveis de Principia Mathematica e sistemas afins ". Gödel resume seus resultados na famosa revista Erkenntnis, do Círculo de Viena, no mesmo ano. As consequências eram decisivas. Qualquer formalismo, suficientemente forte para expressar partes básicas da teoria elementar dos números era incompleto. A matemática não podia ser formalizada de maneira absoluta; destruía os métodos finitistas de Hilbert.

Quine disse, em Quiddities, que a matemática era onde a prova está; supunha-se; a ciência natural vai além com tentativa e erro. A matemática, achava-se, procedia, inexoravelmente de verdades auto-evidentes pelos passos infalíveis da inferência, ao estilo dos Elementos de Euclides. A auto-evidência foi pedir demais. Esperava-se achar auto-evidência nos fundamentos da aritmética pura. Em1931, Gödel mostrou que um sistema dedutivo completo para o fragmento mais básico da matemática era impossível

Valeu, professor Marcelo! Saúde, prosperidade e boa sorte!

Seu texto foi removido porque infringe as regras de uso do site.