Marcelo Viana > Kurt Gödel e as contradições da política Voltar
Comente este texto
Leia Mais
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.
Busca
De que você precisa?
Fale com o Agora
Tire suas dúvidas, mande sua reclamação e fale com a redação.
Marcelo Viana > Kurt Gödel e as contradições da política Voltar
Comente este texto