While mathematical modelling is useful and I won’t take away from it its sheer power and practicality… it’s fundamentally 2 dimensional.
Axiom/Proof.
Law of excluded middle rests inbetween.
One dimensions is the “Axiom Proof” on a line and the other dimension is the Law of Excluded Middle.
The issue is deeply embedded. I don’t think there is a need for fancy quantum methodologies although it *does* get a lot of people employed and busy. A level of “fuzziness” in the system can equally be achieved by “going analog” but usually reframing the entire premise is enough to eliminate some issues altogether.
The problem that never was to begin with.
I know I’m simplifying, but your thoughts?