newsBooleanAlgebrasIntro2 - News

 
 

Atomizer or What's a Guy Gotta Do To Get paid around heres!

Item posted by Daniel Wyckoff <deluger> on Tue 15 Mar 2022 04:24:35 AM UTC.

I always knew Coq wouldn't be enough for my work, both financially and scientifically, and thought that maybe embedded development could complement it, but now I'm putting the embers on low for that.  Now aged 45, I gotta think more practically, and nothing's more practical than binary files, and therefore binary file formats, and therefore byte-morphic binary files.  What's a byte-morphic binary file?  One that preserves mathematical relationships between parameters and bytes, for neat computation.  Any binary file format is game, provided you stick with it enough, and I'm using a simple 8-byte binary word to encode guitar chords that we will literally morph into other chords in ways that make processing them easier and more efficient.  Any tonal relationship between bytewise interesting correlations is entirely accidental and untenable.  What a relief!   Atomizer will provide all the templates and precedence for taking any small enough program and modeling the memory usage, the function applications, the binary file format with partial Boolean algebras with operators, and compute for naturally specified scenarios (like animation screen-refresh or big data indexed search).  Imagine water seeping through soil and leavening all the little nooks and cracks -- and in the same way, a map on generators expands to include all generated elements purely.  It does this when Sikorski's Extension Criterion is fulfilled, and so homomorphic extension and two other extensions in our branches of our Coq niche of Young Tableaux and Partial Algebras (permutation degree and assignment) will be the focal point of Atomizer as applied math.  The exciting thing is that this is practical math, as practical as binary files, and as mathematical as advanced algebra.  Coq, on the other hand, no one seems to concur as to how it helps, beyond a very slow aid for insecure mathematicians.  Or to check things we usually already know.  It does enough for me, but not enough for investors! 
Atomizer, hopefully, will eventually be developed in CWEB, the literate programming C and documentation language developed by Donald Knuth and colleagues, to be published professionally. 
All this while doing Coq in the background. 
Regarding the Recursion Theorem in Coq, I have a final outline, and I'm not rushing it, because of the nature of the byzantine beast and intense focus!

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code