Leptons #electron are smooth vortices #Quark are conflicted vortices.Quark carry color charge, their 7-Dancer routine is out o' sync by specific algebraic phase : SU(3) subgroup of the #Octonions Internal conflict create more friction & is why quarks are heavier than #lepton counterparts #VSA-TOE

Just shared my new pre-print “From Projection to Particle: Octonionic Relational Motion as a Framework for Emergent Physics and Meaning.” It unifies spacetime, quantum fields & even cognition via an 8D octonionic projection. DM me for a link. #QuantumGravity #Emergence #Octonions

Formalize the Octonions Project Summary: Formalize the Octonions in the same spirit as the Reals, Complex, and Quaternions. Earlier work in Mizar. The Cayley-Dickson construction has been formalized in Mizar in the CAYLDI…

Want to formalize something in the #Mizar #proofassistant?

Formalize the #Octonions!

I have sketched out what this would look like, and relate it to pre-existing formalizations in Mizar.

thmprover.wordpress.com/2024/12/19/f...