Lorraine Ford
Hi Lorraine,
You can have your points of view, you have this free will. But when we assert things, we must develop them and be consistent with our current mathematics, physics, and computing. What Bob Coecke does is exactly this,, he creates and tries to understand, and it is concrete. It is not only words or ideas he expresses, he actually create concrete, useful physical tools, testable even. If you have better models, then you must formalize them with consistency, dear Lorraine, because speaking is one thing, and creating equations, tools, mathematical developments, relevant formalisms, and innovative, physically grounded laws an other.
I can understand your skepticism, but I see things differently. Bob Coecke’s work is not merely about reducing quantum phenomena to symbolic representations or boring equations.What he does is formalize quantum processes in a way that is operationally concrete, his ZX calculus, diagrams, and formalisms allow us to reason rigorously about quantum systems, quantum computing, and interactions in ways that words alone cannot. The calculus is not about minimizing difference,it is about capturing the complex behaviors of quantum systems in tools that can be applied and tested. It is concrete. Quantum behavior is indeed radically different from classical expectationsand I agree that this difference is crucial. But the strength of Coecke’s approach is that it does not ignore this difference, instead,it translates it into a formal, manipulable language.This allows us to explore consequences, possibilities, probablilities, model processes, and innovate in physics and quantum information in a concrete way.The Schrodinger equation or other quantum formalisms are useful, but Coecke diagrams go further simply for me, they make quantum operations intuitive, composable, and testable, bridging abstract concepts with operational reality and it is relevant ,we can even explore deeper possibilities with his reasonings.
A real world mathematical system, as you point out, must interact with its surroundings,it must be adaptable, responsive, and capable of generating new insights. Coecke framework does exactly that, it is not in the business of proving abstract axioms for their own sake, but in providing tools to create, predict, and formalize quantum behavior in real world applications.
So, while the difference in quantum behavior is indeed extreme, formalization through concrete methods like Coecke works is not an attempt to minimize that difference,it is the only way to reliably work with it. Without formal tools, our ideas about quantum systems remain speculative and untestable. Words and intuition alone cannot replace consistent, rigorous formal structures when exploring the quantum world. Regards