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).
= 27d567bc2d48d9f40e9ccc20ea370b15)
= 783df68a0f980790206b9ea87794c5b6)
= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
= f037147d6e6c911a85753b9abdedda8d)
Comments (32)
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).