Changes

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

Revision as of 04:14, 6 March 2009

84 bytes added , 04:14, 6 March 2009

→‎Note 11: markup

Line 537: Line 537:

==Note 11==

+

By way of getting our feet back on solid ground, let's crank up our current case of a transformation of discourse, <math>F : U^\circ \to X^\circ,</math> with concrete type <math>[u, v] \to [x, y]</math> or abstract type <math>\mathbb{B}^2 \to \mathbb{B}^2,</math> and let it spin through a sufficient number of turns to see how it goes, as viewed under the scope of what is probably its most straightforward view, as an elsewhen map <math>F : [u, v] \to [u', v'].</math>

<pre>

−

~~By way of getting our feet back on solid ground, let's crank up~~

−

~~our current case of a transformation of discourse, F : U% -> X%,~~

−

~~with concrete type [u, v] -> [x, y] or abstract type B^2 -> B^2,~~

−

~~and let it spin through a sufficient number of turns to see how~~

−

~~it goes, as viewed under the scope of what is probably its most~~

−

~~straightforward view, as an elsewhen map F : [u, v] -> [u', v'].~~

−

Elsewhen Map. <u', v'> = <((u)(v)), ((u, v))>

Jon Awbrey

12,080

edits