12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 04:08, 13 March 2009
, 04:08, 13 March 2009→Note 20: delete confusing expression
|}
|}
A more fine combing of the second Table brings to mind a rule that partly covers the remaining cases, that is, <math>\texttt{du~=~v}, ~\texttt{dv~=~(u)}.</math> To vary the formulation, this Table characterizes Orbit 2 by means of the following vector equation: <math>(\texttt{du}, \texttt{dv}) = (\texttt{v}, \texttt{(u)}).</math> This much information about Orbit 2 is also encapsulated by the extended proposition, <math>\texttt{(uv)((du, v))(dv, u)},</math> which says that <math>u\!</math> and <math>v\!</math> are not both true at the same time, while <math>du\!</math> is equal in value to <math>v,\!</math> and <math>dv\!</math> is opposite in value to <math>u.\!</math>
A more fine combing of the second Table brings to mind a rule that partly covers the remaining cases, that is, <math>\texttt{du~=~v}, ~\texttt{dv~=~(u)}.</math> This much information about Orbit 2 is also encapsulated by the extended proposition, <math>\texttt{(uv)((du, v))(dv, u)},</math> which says that <math>u\!</math> and <math>v\!</math> are not both true at the same time, while <math>du\!</math> is equal in value to <math>v\!</math> and <math>dv\!</math> is opposite in value to <math>u.\!</math>
==Note 21==
==Note 21==