Proofs in multiway systems

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (UNESP)-
Autor(es): dc.creatorMoraldo, Hernán-
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/360660-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/5264-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/466866-
Descrição: dc.descriptionKnowlegde about Graph Theory-
Descrição: dc.descriptionThis Demonstration allows the generation of "proofs" in the first axiom system shown on page 778 of A New Kind of Science, going from the initial string used there to any other ending string. The proof graphs generated (when the ending string is found within the maximum search depth) show alternative ways to go from the initial string to the ending string through the application of the string rewriting rules-
Descrição: dc.descriptionComponente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática-
Relação: dc.relation72ProofsInMultiwaySystems.nbp-
Direitos: dc.rightsDemonstration freeware using Mathematica Player-
Palavras-chave: dc.subjectFoundations of Mathematics-
Palavras-chave: dc.subjectGraph Theory-
Palavras-chave: dc.subjectNKS / Wolfram Science-
Palavras-chave: dc.subjectEducação Superior::Ciências Exatas e da Terra::Matemática::Matemática Aplicada-
Título: dc.titleProofs in multiway systems-
Tipo de arquivo: dc.typetexto-
Aparece nas coleções:Repositório Institucional - Acervo Digital Unesp

Não existem arquivos associados a este item.