12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 20:08, 4 March 2009
, 20:08, 4 March 2009→Note 10: markup
==Note 10==
==Note 10==
It is time to formulate the differential analysis of a logical transformation, or a ''mapping of discourse''. It is wise to begin with the first order differentials.
It is time to formulate the differential analysis of
a logical transformation, or a "mapping of discourse".
It is wise to begin with the first order differentials.
We are considering an abstract logical transformation
We are considering an abstract logical transformation <math>F = (f, g) : [u, v] \to [x, y]</math> that can be interpreted in a number of different ways. Let's fix on a couple of major variants that might be indicated as follows:
F = <f, g> : [u, v] -> [x, y] that can be interpreted
in a number of different ways. Let's fix on a couple
of major variants that might be indicated as follows:
<pre>
Alias Map. <x , y > = F<u, v> = <((u)(v)), ((u, v))>
Alias Map. <x , y > = F<u, v> = <((u)(v)), ((u, v))>