Pesquisa
ASPECTOS DO PRIMEIRO TEOREMA DA INCOMPLETUDE DE KURT GÖDEL E UMA ANÁLISE DA PROVA TEORÉTICO INFORMACIONAL DE GREGORY CHAITIN
O TRABALHO BUSCA ELUCIDAR E COMPREENDER ASPECTOS RELEVANTES NA ESTRUTURA DAS SENTENÇAS INDECIDÍVEIS PARADOXAIS EM SISTEMAS FORMAIS CONSISTENTES QUE CONTENHAM A ARITMÉTICA DE DEDEKIND-PEANO. O PRIMEIRO CAPÍTULO EXPÕE AS INVESTIGAÇÕES E AVANÇOS NA MAT…
Demonstração do Segundo Teorema de Incompletude de Gödel
A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Godel Considera, com especial atenção, aquelas feitas por Shoenfield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der…
UMA PROVA DE INCOMPLETUDE DA ARITMÉTICA BASEADA NO TEOREMA DAS DEFINIÇÕES RECURSIVAS
ESTA DISSERTAÇÃO ESTABELECE A INCOMPLETUDE DE UM SISTEMA FORMAL CUJAS ÚNICAS CONSTANTES NÃO-LÓGICAS SÃO 0 E S (RESPECTIVAMENTE, O NÚMERO NATURAL 0 E A FUNÇÃO SUCESSOR SEGUNDO A INTERPRETAÇÃO STANDARD), FUNDAMENTANDO-SE, PARA TANTO, EM UM TEOREMA CUJ…
Uma Generalização Construtiva do primeiro Teorema de Incompletude de Gödel
Neste trabalho queremos dar especial ênfase à essencial conexão entre conjuntos recursivamente enumeráveis e o “fenômeno” da incompletude em sistemas formais. Nosso objetivo é fazer a exposição de uma generalização construtiva do Primeiro Teorema da…
PROPRIEDADES ALEATÓRIAS DE SISTEMAS FORMAIS
NO INÍCIO DOS ANOS 90, OS PROFS. NEWTON DA COSTA E FRANCISCO DORIA OBTIVERAM UMA SÉRIE DE RESULTADOS DE INCOMPLETUDE EM MECÂNICA CLÁSSICA A PARTIR DOS TEORIEMAS DE D. RICHARDSON DESCOBERTOS NOS ANOS 60. POSTERIORMENTE, VERIFICOU-SE QUE TAIS RESULTAD…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.