• Title of article

    Computational Processes and Incompleteness

  • Author/Authors

    Klaus Sutner، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2009
  • Pages
    9
  • From page
    226
  • To page
    234
  • Abstract
    We introduce a formal definition of Wolfram’s notion of computational process based on cellular automata, a physics-like model of computation. There is a natural classification of these processes into decidable, intermediate and complete. It is shown that in the context of standard finite injury priority arguments one cannot establish the existence of an intermediate computational process
  • Journal title
    Electronic Proceedings in Theoretical Computer Science
  • Serial Year
    2009
  • Journal title
    Electronic Proceedings in Theoretical Computer Science
  • Record number

    679687