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.
