I found a free “Logic Minimizing” tool called “Logic Friday”. You can enter gates OR Truth Tables OR Equations and it uses a heuristic (best guess) to minimize redundant circuits. NOR gates have fascinated me for years because of how their truth tables work, especially when layered. My first experiment is with 4 4-input NOR gates that narrow down through 1 4-input NOR gate to produce 1 function (output). What’s it gonna do? No idea.

I found a free
[read full article]
 

Oh, I think I like P-systems. Objects are “consumed by rules” (akin to anonymous lambda variables/functions) and membranes (akin to categories) can be dissolved as needed. It’s MAXIMAL, not minimal. Yes I like this a lot. ======== Rule application At each step of a computation an object may only be used once, as they are consumed by rules when applied. The method of applying a rule within a membrane is as follows: Assign symbols from a membrane’s content to the rule’s inputs If all inputs are satisfied, remove all assigned symbols from membrane Create output symbols and hold until all rule assignment, for all membranes, has taken place. Add output symbols to targeted membranes. Dissolve membranes as necessary Outputs are not passed immediately into membranes because this would contravene the maximally parallel nature of rule application, instead they are distributed after all possible rules have been applied. =================

Oh, I think I
[read full article]
 

It’s not a mess but it’s complicated. In my view, which I consider a universal truth, there is a question: Can you be assured that the Universe can be described in an untyped (or single typed) fashion or must you have a multitude of type? A two type system might be: TRUE vs FALSE. Universal vs Singularity. An untyped system, such as untyped lambda calculus might be: Function. Or Uncertainty. Or another singular that can describe all things.

It’s not a mess
[read full article]
 

Ah! I know why I’m working on all this stuff for so long. I want to be able to accurately summarize anything presented to me in any form in the shortest time possible to anyone who wants to know and mostly, to myself in a way that is accurately representative of my position that I am willing to stand behind. (put my name to) To a lesser but only slightly lesser extent, it is important to do so in such a way that accomplishes this in forms that will be comprehended and understood by anybody, in some way, but not in any way requiring their agreement with my position. I want to also be able to unfold the summary nugget as needed to whatever level of zoom I am capable of, which will likely fail at the level of a formulatic precision but be precise at any level between executive summary and precise formula. I want to be able to translate into different fields. That’s where I’m at right now. More to come. But this was a big one and so simple: Being understood.

Ah! I know why
[read full article]
 

Going to try my brain at: The Moment of Change: A Systematic History in the Philosophy of Space and Time Nico Strobach Since Dewey Decimal 115 Time showed up as overwhelmingly the topic I seem to talk about when I did my DDC analysis in 2015. I went to: https://www.librarything.com/mds/115 – poked around for an interesting title that might fit my interest. So, I’ll see how it goes.

Going to try my
[read full article]