Gödelization

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (UNESP)-
Autor(es): dc.creatorZeleny, Enrique-
Data de aceite: dc.date.accessioned2019-08-21T18:14:11Z-
Data de disponibilização: dc.date.available2019-08-21T18:14:11Z-
Data de envio: dc.date.issued2016-10-26-
Data de envio: dc.date.issued2016-10-26-
Fonte completa do material: dc.identifierhttp://acervodigital.unesp.br/handle/unesp/360662-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/5261-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/466868-
Descrição: dc.descriptionMathematical Logic-
Descrição: dc.descriptionIn 1931 Kurt Gödel established a representation between a formal system and the set of natural numbers to prove his famous incompleteness theorem. An axiom or a proof is encoded by assigning to each symbol in the expression odd numbers as the powers of successive primes. The expression can be recovered by factoring the number-
Descrição: dc.descriptionComponente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática-
Relação: dc.relation75Goedelization.nbp-
Direitos: dc.rightsDemonstration freeware using Mathematica Player-
Palavras-chave: dc.subjectMathematical logic-
Palavras-chave: dc.subjectComputer systems-
Palavras-chave: dc.subjectDiscrete mathematics-
Palavras-chave: dc.subjectLógica matemática-
Palavras-chave: dc.subjectEducação Superior::Ciências Exatas e da Terra::Matemática::Análise Numérica-
Título: dc.titleGödelization-
Tipo de arquivo: dc.typetexto-
Aparece nas coleções:Repositório Institucional - Acervo Digital Unesp

Não existem arquivos associados a este item.