UMA VIAGEM INFORMAL AO  TEOREMA DE GÖDEL 

UMA VIAGEM INFORMAL AO TEOREMA DE GÖDEL ou (O preço da matemática é o eterno matemático) Ricardo S. Kubrusly IM/UFRJ Introdução O teorema de Gödel é talvez o mais surpreendente e o mais comentado resultado matemático do século. Com certeza, é o mais incompreendido e um dos únicos teoremas que se presta a discussões filosóficas acaloradas e imediatas. Não é preciso estudá-lo a fundo para notar a semelhança entre suas conseqüências e a de algumas máximas da física moderna ou mesmo da metafísica, onde, diferentemente da matemática, a liberdade interpretativa empresta um delicioso sabor de trapaça a qualquer verdade enunciada. Da mesma maneira que um cidadão educado é capaz de lançar mão dos resultados da mecânica quântica e/ou relativística para inferir, logicamente é claro, quase que qualquer extravagância, transformando as árduas noites de Dirac, Schröedinger, Bohr, Einstein entre outros, numa comédia esotérica de fazer frente a qualquer ilusionista do interior, o teorema de Gödel, ou melhor, suas conseqüências, também permitem interpretações, quanto às possíveis, ou quem sabe prováveis, incertezas que eventualmente desestabilizem a sempre certa e poderosa matemática. Então, a matemática também erra e gera falsidades de suas tão eternas verdades? E 2+2, continua a ser igual a 4 depois do teorema de Gödel, ou, dando razão aos poetas, não poderia ser reinterpretado sob um novo olhar pós-modernista? A incompletude e a consistência não seriam provas…

DANIEL SOUZA TEOREMA DA INCOMPLETUDE Gõdel, Hilbert e a origem do teorema Durante o inicio do seculo vinte, varias escolas de matemática começaram a questionar a validade logica dos fundamentos da matemática após a descoberta de vários paradoxos como o paradoxo de Russel, houve um período de deliberação onde aconteceu uma partição entre as escolas em dois principais campos de pensamento, o intuitivalista e o formalista, as ideias do campo formalista culminarão no programa de Hilbert. …

codificação, tal como uma numeração de Gödel, as cadeias podem ser codificadas como números naturais. Para manter a definição de formalidade simples, ela é colocada em termos de subconjuntos dos números naturais. Formalmente, um problema de decisão é um subconjunto dos números naturais. O problema correspondente de maneira informal é o de se decidir se um dado número está no conjunto. Um problema de decisão A é chamado decidível ou efetivamente solúvel se A é um conjunto recursivo.…

Kurt Gödel : Muito Além da Lógica Kurt Gödel ● Um Pouco de história. ○ Nascido em (hoje Brno, na República Tcheca) ○ Vida acadêmica na Viena. Brünn cidade de ● Contribuições. ○ Descobertas no campo matemática. ○ Sobre a completude lógico. ○ Teorema da Incompletude. da do lógica cálculo 1 Descobertas no campo da logica matemática ● A interpretação de Brouwer Gödel em uma das suas teses toma partido a contradições e influencias de ideias…

Trabalho de Evolução da Ciência Prof: Osvaldo Pereira Alunos: Larissa Moraes Raphael Nagel Ricardo Gomes Thaisa Cezar Assuntos Abordados: 1. 2. 3. 4. Reatores de Fusão Conceito da Navalha de Occam Biografia de Kurt Gödel Biografia de José Lutzenberger. Objetivo: Diminuir o abismo de mútua incompreensão das Ciências. Reatores de Fusão Índice: 1. Reatores Nucleares 2. Fusão e Fissão Nucleares 3. Requisitos para a Fusão 4. Reatores de Fusão 5. Tipos de Reatores de Fusão 6.…

ser considerada como pseudociência, onde uma teoria infalseável é constantemente adaptada para que os resultados experimentais se ajustem a ela. Relações com o teorema da incompletitude de Gödel Um pequeno número de cientistas afirma que o Teorema da incompletude de Gödel prova que qualquer tentativa de construir uma teoria de tudo está destinada ao fracasso. O teorema de Gödel diz que qualquer teoria matemática não trivial é inconsistente ou incompleta. Stanley Jaki assinalou em seu…

exemplo os circuitos lógicos que se utilizam a lógica booleana para estabelecer se em um determinado local ocorre à passagem de corrente elétrica. Baseado fortemente na lógica proposicional, outro exemplo, é o trabalho de Gödel no teorema da incompletude, que possui muitas repercussões no campo da computação. Há um paradigma de programação denominado programação lógica. A programação lógica foi posta em debate no final dos anos 1960, e a pioneira é a linguagem chamada Planner,…

http://www.advivo.com.br/blog/luisnassif/brasil-tem-deficit-de-oferta-de-engenheiros sab, 16/03/2013 - 15:09 Um caso Gödel, Einstein, Heisenberg e os engenheiros Por José Roberto Castilho Piqueira Em 1965 eu cursava a terceira série ginasial, depois rebatizada como sétima série do Ensino Fundamental e, atualmente, como oitavo ano. Tomar o ônibus para sair do meu delicioso bairro e ir para a região nobre assistir aulas desinteressantes soava como condenação para meus 12…

não são acessíveis a uma máquina de Turing. Isso foi proposto inicialmente pelo matemático Kurt Gödel no artigo de 1951 intitulado: ‘Some basic theorems on the foundations of mathematics and their implications’ e posteriormente retomado por inúmeros matemáticos e filósofos como J.R. Lucas, Ernest Nagel ou Roger Penrose. Irei reproduzir o argumento dado por Penrose no livro ‘Shadows of the mind’ de 1994 fazendo uso livre do simbolismo lógico previamente apresentado: Seja a serie de…

na era do Cabaret.4 " “As festas em casa de von Neumann eram frequentes, famosas, e longas.5 " Conduzia de maneira perigosa (a ler um livro, por exemplo) o que frequentemente resultava em acidente. Certo dia relatou o acidente da seguinte maneira: “As árvores à direita estavam a passar por mim de uma maneira ordenada, a 60 milhas por hora. De repente, uma delas atravessou-se no meu caminho!” Também não se inibia de contar piadas insensíveis nem de olhar persistentemente para as pernas…