12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday December 02, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 20:50, 2 July 2008
, 20:50, 2 July 2008→Taking Aim at Higher Dimensional Targets: format epitext
===Taking Aim at Higher Dimensional Targets===
===Taking Aim at Higher Dimensional Targets===
{| width="100%" cellpadding="0" cellspacing="0"
| width="40%" |
| width="60%" |
The past and present wilt . . . . I have filled them and<br>
emptied them,<br>
emptied them,<br>
And proceed to fill my next fold of the future.</p>
And proceed to fill my next fold of the future.
|-
|
| align="right" | — Walt Whitman, ''Leaves of Grass'', [Whi, 87]
|}
In the next Subdivision I consider a logical transformation ''F'' that has the concrete type ''F'' : [''u'', ''v''] → [''x'', ''y''] and the abstract type ''F'' : ['''B'''<sup>2</sup>] → ['''B'''<sup>2</sup>]. From the standpoint of propositional calculus, the task of understanding such a transformation is naturally approached by parsing it into component maps with 1-dimensional ranges, as follows:
In the next Subdivision I consider a logical transformation ''F'' that has the concrete type ''F'' : [''u'', ''v''] → [''x'', ''y''] and the abstract type ''F'' : ['''B'''<sup>2</sup>] → ['''B'''<sup>2</sup>]. From the standpoint of propositional calculus, the task of understanding such a transformation is naturally approached by parsing it into component maps with 1-dimensional ranges, as follows:
