BooleanAlgebrasIntro2 - News
Rest Assured
Item posted by Daniel Wyckoff <deluger> on Mon 12 Nov 2018 03:19:47 AM UTC.
So, contrary to previous news post, at the very least I will have to get to free algebras, come hell or high water. This is essential to prove that the Great Spirit has a computational aspect, analogous to humans having a genetic aspect. I'm using the expression Great Spirit, since the metaphysical aspect of a free algebra of at least countably infinite cardinality is consistent with my notion of a perceivable spiritual force that is in tune with every logical interaction, every living creature, and has a binary omniscience. I'm not deeply familiar with Native American or hermetic original sources, so might be using this definition erroneously.
Regarding alternating between metatheory and formalization, I'm the only person I know interested in doing bool2, and the meta-theory is somewhat secondary, since there are professional mathematicians and computer scientists who could get curious about that, and wield their definitions better than I can, haha!
Powered by Savane 3.15-e6e5.
Corresponding source code