Changes

MyWikiBiz, Author Your Legacy — Tuesday April 30, 2024
Jump to navigationJump to search
→‎Note 20: cleanup
Line 3,650: Line 3,650:  
|}
 
|}
   −
The Reader may be wondering what happened to the announced subject of "Dynamics And Logic".  What happened was a bit like this:
+
The Reader may be wondering what happened to the announced subject of ''Dynamics And Logic''.  What happened was a bit like this:
   −
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.
+
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 barely 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.
    
==Note 21==
 
==Note 21==
12,080

edits

Navigation menu