Jan Jitse Venselaar
|
Registered User
|
Mathematics Postdoc at Caltech
|
|
Apr 23 |
comment |
Intuitionistic logic as quantization of classical logic? @Paul: There is an approach by Heunen, Landsman and Spitters (arxiv.org/abs/0709.4364) where they combine quantum mechanics, noncommutative geometry, and toposes, where one of the main point of toposes is that the internal logic is intuitionistic. I'm not well-versed enough in topos theory to really make sense of that article though. |
|
Feb 4 |
awarded | ● Nice Answer |
