Changes

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==

+

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>

−

~~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:

Jon Awbrey

12,154

edits