Thread Links |
Date Links |
||||
---|---|---|---|---|---|

Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |

*To*: Ontology <ontology@ieee.org>*Subject*: ONT Re: Differential Analytic Turing Automata*From*: Jon Awbrey <jawbrey@att.net>*Date*: Tue, 09 Mar 2004 11:56:54 -0500*References*: <403F546C.D69B6918@att.net> <40476DB3.BC029F0@att.net> <404BB2D9.B81EF7A2@att.net> <404C0A1A.CFBAC3D@att.net> <404C8319.89C2BC35@att.net> <404CD392.1DE2C4A@att.net> <404CF289.BDFA49CF@att.net>*Sender*: owner-ontology@majordomo.ieee.org

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o DATA. Note 17 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o We have been conducting the differential analysis of the logical transformation F : [u, v] -> [u, v] such that F : <u, v> ~> <((u)(v))>, ((u, v))>, and this means starting with the extended transformation EF : [u, v, du, dv] -> [u, v, du, dv] and breaking it into an analytic series, EF = F + dF + d^2.F + ..., and so on until there is nothing left to analyze any further. As a general rule, one proceeds by the following stages: 1. EF = [d^0]F + [r^0]F 2. [r^0]F = [d^1]F + [r^1]F 3. [r^1]F = [d^2]F + [r^2]F 4. ... In our analysis of the current transformation F, we carried out Step 1 in the more familiar form EF = F + DF, and we have just reached Step 2 in the form DF = dF + rF, where rF is the residual term that remains for us to examine next. NB. I'm am trying to give quick overview here, and this forces me to omit many picky details. The picky reader may wish to consult the more detailed presentation of this material in the following ur-neighborhoods: Jon Awbrey, "Differential Logic and Dynamic Systems" DLOG D. http://stderr.org/pipermail/inquiry/2003-May/thread.html#478 DLOG D. http://stderr.org/pipermail/inquiry/2003-June/thread.html#553 Especially: DLOG D40. http://stderr.org/pipermail/inquiry/2003-May/000521.html DLOG D71. http://stderr.org/pipermail/inquiry/2003-June/000554.html Take your pick, Gimli ... Jon Awbrey o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o inquiry e-lab: http://stderr.org/pipermail/inquiry/ o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

**Follow-Ups**:**ONT Re: Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

**References**:**ONT Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

**ONT Re: Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

**ONT Re: Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

**ONT Re: Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

**ONT Re: Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

**ONT Re: Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

**ONT Re: Differential Analytic Turing Automata***From:*Jon Awbrey <jawbrey@att.net>

- Prev by Date:
**ONT Re: Differential Analytic Turing Automata** - Next by Date:
**ONT Re: Differential Analytic Turing Automata** - Prev by thread:
**ONT Re: Differential Analytic Turing Automata** - Next by thread:
**ONT Re: Differential Analytic Turing Automata** - Index(es):