Changes

MyWikiBiz, Author Your Legacy — Tuesday April 30, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Dynamics And Logic (view source)

Revision as of 03:48, 15 June 2009

300 bytes added ,  03:48, 15 June 2009
→‎Note 20: markup
Line 3,638: Line 3,638:  
==Note 20==
 
==Note 20==
   −
<pre>
+
{| cellpadding="2" cellspacing="2" width="100%"
−
You may be wondering what happened to the announced subject
+
| width="60%" | &nbsp;
−
of "Dynamics And Logic". What occurred was a bit like this:
+
| width="40%" |
 +
the way of heaven and earth<br>
 +
is to be long continued<br>
 +
in their operation<br>
 +
without stopping
 +
|-
 +
| height="50px" | &nbsp;
 +
| valign="top"  | &mdash; i ching, hexagram 32
 +
|}
   −
We happened to make the observation that the shift operators {E_ij}
+
The Reader may be wondering what happened to the announced subject of "Dynamics And Logic".  What happened was a bit like this:
−
form a transformation group that acts on the set of propositions of
  −
the form f : B x B -> B.  Group theory is a very attractive subject,
  −
but it did not draw us so far from our intended course as one might
  −
initially think.  For one thing, groups, especially the groups that
  −
are named after the Norwegian mathematician Marius Sophus Lie, turn
  −
out to be of critical importance in solving differential equations.
  −
For another thing, group operations provide us with an ample supply
  −
of triadic relations that have been extremely well-studied over the
  −
years, and thus they give us no small measure of useful guidance in
  −
the study of sign relations, another brand of 3-adic relations that
  −
have significance for logical studies, and in our acquaintance with
  −
which we have scarcely begun to break the ice.  Finally, I couldn't
  −
resist taking up the links between group representations, amounting
  −
to the very archetypes of logical models, and the pragmatic maxim.
     −
Biographical Data for Marius Sophus Lie (1842-1899):
+
We made the observation that the shift operators <math>\{ \operatorname{E}_{ij} \}</math> form a transformation group that acts on the set of propositions of the form <math>f : \mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math>  Group theory is a very attractive subject, but it did not draw us so far from our intended course as one might initially think.  For one thing, groups, especially the groups that are named after the Norwegian mathematician [http://www-history.mcs.st-andrews.ac.uk/Biographies/Lie.html Marius Sophus Lie (1842&ndash;1899)], have turned out to be of critical utility in the solution of differential equations.  For another thing, group operations provide us with an ample supply of triadic relations that have been extremely well-studied over the years, and thus they give us no small measure of useful guidance in the study of sign relations, another brand of 3-adic relations that have significance for logical studies, and in our acquaintance with which we have scarcely begun to break the ice.  Finally, I couldn't resist taking up the links between group representations, amounting to the very archetypes of logical models, and the pragmatic maxim.
−
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Lie.html
  −
</pre>
      
==Note 21==
 
==Note 21==
Jon Awbrey
12,080

edits

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

Navigation menu