Changes

MyWikiBiz, Author Your Legacy — Tuesday November 19, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)

Revision as of 14:06, 15 March 2009

30 bytes added ,  14:06, 15 March 2009
→‎Note 24: markup
Line 1,986: Line 1,986:     
==Note 24==
 
==Note 24==
 +
 +
A complete description of <math>\operatorname{Stunt}(2)</math> in propositional form is obtained by conjoining one of the above choices for initial conditions with all of the following sets of propositions, that serve in effect as a simple type of ''declarative program'', telling us all that we need to know about the anatomy and behavior of the truncated TM in question.
    
<pre>
 
<pre>
−
A complete description of Stunt(2) in propositional form is obtained by
  −
conjoining one of the above choices for initial conditions with all of
  −
the following sets of propositions, that serve in effect as a simple
  −
type of "declarative program", telling us all that we need to know
  −
about the anatomy and behavior of the truncated TM in question.
  −
   
Mediate Conditions:
 
Mediate Conditions:
  
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/82325"

Navigation menu