newsBooleanAlgebrasIntro2 - News

 
 

Back from the dead!

Item posted by Daniel Wyckoff <deluger> on Fri 23 Dec 2022 06:40:21 AM UTC.

Having given up on financial "day jobs" with C and Boolean Algebras (Atomizer), for the past many months or so, I've been working on my new long-term goal in Coq that will take many many years to get to -- exhibiting the free generators of the interval algebra on rational endpoints.  I had always wanted to get Topology back into the development, but previously it only entered in the regular open algebra, and Stone topology is too advanced and not on the platter.  So, as I had been computing the free generators, I had noticed that in order to satisfy independence (the Sikorski criterion), we would need some kind of nested set of free generators (intervals), with a jagged edge between reals and rationals to account for the required non-empty intersection of any finite number of generators (intervals) and complements.  This "jagged edge" will be accomplished through some properties of the Sorgenfrey Line (cf. Ryszard Engelking's "General Topology.").  I haven't outlined the proof yet, and it's exciting to be more than just "filling in the gaps." The chief application is virology.  (Or the "sane" application!)  With trillion dollar coins supposedly circulating in CoVid futures, the one thing I know for sure is that Boolean algebras are relevant to DNA.  As for my financial needs, it's convenient that you are conscionably required to pat down mysterious metaphysics, after you consciously interact with consistent metaphysics. Classical alchemy is really the best solution. (If it's good enough for Newton ...!)

The conscionable mesmer is really the lazy California way of being a workaholic.  It works on a principle of "I don't want to be as annoying in other people's mind's eyes as they are to me."  (Better than heated solitary arguments!)  And as your head reflexively nods back and forth, the freedom of focus gets you motivated easier than anything!

I think Coq's main application is digital alchemy, and it's exciting after you figure out the Hermetic code to learn our most innocent occult system by investing in a truly magical alchemy book that works (which you'll see in triune primordial focal ability)!  For starters, I'm quite excited by AE Waite's "The Secret Tradition in Alchemy," published in the early 20th century.  Hard to find unless you know it by name, and it has a wonderful warm antiquarian tinge to it!  Happy hacking!

Back to the top

Powered by Savane 3.13-02a9.
Corresponding source code