12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 18:38, 10 March 2009
, 18:38, 10 March 2009→Note 15: missing <math> bracket
In particular, the linear functions that we want will be linear functions in the differential variables <math>du\!</math> and <math>dv.\!</math>
In particular, the linear functions that we want will be linear functions in the differential variables <math>du\!</math> and <math>dv.\!</math>
As it turns out, there are just four linear propositions in the associated ''differential universe'' <math>\operatorname{d}U^\circ = [du, dv],</math> and these are the propositions that are commonly denoted: <math>\texttt{0}, \texttt{du}, \texttt{dv}, \texttt{du + dv},</math> in other words, \texttt{()}, \texttt{du}, \texttt{dv}, \texttt{(du,~dv)}.</math>
As it turns out, there are just four linear propositions in the associated ''differential universe'' <math>\operatorname{d}U^\circ = [du, dv],</math> and these are the propositions that are commonly denoted: <math>\texttt{0}, \texttt{du}, \texttt{dv}, \texttt{du + dv},</math> in other words, <math>\texttt{()}, \texttt{du}, \texttt{dv}, \texttt{(du, dv)}.</math>
==Note 16==
==Note 16==