You are in the accessibility menu

Please use this identifier to cite or link to this item: http://acervodigital.unesp.br/handle/unesp/360660
Title: 
Proofs in multiway systems
Author(s): 
Moraldo, Hernán
Language: 
eng
Description: 
  • Knowlegde about Graph Theory
  • This 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
  • Componente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática
Issue Date: 
  • 11-Sep-2008
  • 11-Sep-2008
  • 2008
  • 11-Sep-2008
  • 9-Sep-2008
Keywords: 
  • Foundations of Mathematics
  • Graph Theory
  • NKS / Wolfram Science
  • Educação Superior::Ciências Exatas e da Terra::Matemática::Matemática Aplicada
Notes: 
Show proofs in multiway systems
Credits: 
This demonstration needs the "MathematicaPlayer.exe" to run. Found in http://objetoseducacionais2.mec.gov.br/handle/mec/4737
Source: 
http://objetoseducacionais2.mec.gov.br/handle/mec/5264
URI: 
http://acervodigital.unesp.br/handle/unesp/360660
Rights: 
Demonstration freeware using Mathematica Player
Type: 
outro
Appears in Collections:MEC - Objetos Educacionais (BIOE) - OE

There are no files associated with this item.
 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.