12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 21:34, 16 June 2009
, 21:34, 16 June 2009→Note 25: segment text + set off graphics
Line 4,100:
Line 4,100:
style of differential field picture that we drew for the
style of differential field picture that we drew for the
tacit extension !e![pq] : EX -> B.
tacit extension !e![pq] : EX -> B.
+</pre>
+{| align="center" cellspacing="10" style="text-align:center; width:90%"
+|
+<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| |
| |
Line 4,137:
Line 4,141:
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 25-1. Enlargement E[pq] : EX -> B
Figure 25-1. Enlargement E[pq] : EX -> B
+</pre>
+|}
+<pre>
A very important conceptual transition has just occurred here,
A very important conceptual transition has just occurred here,
almost tacitly, as it were. Generally speaking, having a set
almost tacitly, as it were. Generally speaking, having a set
Line 4,154:
Line 4,161:
mod 2, then the common loop drops out, leaving the 6 arrows of
mod 2, then the common loop drops out, leaving the 6 arrows of
D[pq] = !e![pq] + E[pq] that are illustrated in Figure 25-2.
D[pq] = !e![pq] + E[pq] that are illustrated in Figure 25-2.
+</pre>
+{| align="center" cellspacing="10" style="text-align:center; width:90%"
+|
+<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| |
| |
Line 4,191:
Line 4,202:
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 25-2. Difference Map D[pq] : EX -> B
Figure 25-2. Difference Map D[pq] : EX -> B
+</pre>
+|}
+<pre>
The differential features of D[pq] may be collected cell by cell of
The differential features of D[pq] may be collected cell by cell of
the underlying universe X% = [p, q] to give the following expansion:
the underlying universe X% = [p, q] to give the following expansion:
