You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.
Comment author:MrMind
13 October 2016 07:57:45AM
*
1 point
[-]
it's just that it's unclear to me how seriously we should take them at this stage
Well, categorical quantum mechanics is a program under developement since 2008, and it gives you a quantum framework in any computational theory with enough symmetries (databases, linguistics, etc).
It spawned quantum programming languages and a graphical calculus. So I think it's pretty succesful and has to be taken seriously, albeit it's far from being complete (it lacks a unified treatment of infinite systems, for example).
Comments (24)
Well, categorical quantum mechanics is a program under developement since 2008, and it gives you a quantum framework in any computational theory with enough symmetries (databases, linguistics, etc).
It spawned quantum programming languages and a graphical calculus. So I think it's pretty succesful and has to be taken seriously, albeit it's far from being complete (it lacks a unified treatment of infinite systems, for example).