I think your grandiose off-hand assertions are likely correct as well. It’s angels on a head of a pin. Yet…
I think there’s definitely _value_ in it: there’s little mazes that haven’t been traveled yet WITHIN each of these systems that busting through will give us greater abilities in other areas.
Will it be The One Ring That Rules Them All? Nah. But is it worth looking? Sure! They’ll find lots of good stuff. If nothing else, I look forward to better technology arising from better theory: For example, look at all the wasted heat generated from computers. Binary/boolean itself is a working-assumption that actually happen to be very pragmatic and works.
But when applied on a really small scale it generates an awful lot of heat. Excluded middle. All these little mazes and tunnels whirring about, flip/flopping.
What about that excluded middle? Let’s get an “I don’t know” circuit going already and put that energy being wasted as head into a nice “I don’t know” set of processes. Might make computer circuit boards and chips into cubes instead of flat, or instead of fans they will be wires running up into other systems that can make use of it.
It’ll result in cooler computers that can do a whole lot more.
But whatever – there’s wasted stuff right now that we’ll be able to harness at some point. That’s where this stuff is good, in my book.
Boolean is reaching a limit. Qubits may or may not be the way to go; there may be other ways to explore logics.
I still find it really fascinating that people are pursuing it. I like seeing what’s happening at the “ultimate” boundaries of systems and then trying to figure out, “How can this eventually be useful for something?”
I can see some useful stuff coming out of multivalued logics and these homotopy of type theories – this grand unification idea – whether or not they ACHIEVE IT, will result in better uses of the materials we got to work with.