Changes

MyWikiBiz, Author Your Legacy — Friday December 12, 2025
Jump to navigationJump to search

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==
 
==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>
 
<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))>
 
Elsewhen Map.  <u', v'>  =  <((u)(v)), ((u, v))>
  
Jon Awbrey
12,176

edits

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

Navigation menu