Timeline for In the topos-theoretic interpretation of Physics by Isham & Doering what role does intuitionistic logic play? [closed]
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:40 | history | edited | CommunityBot |
replaced http://physics.stackexchange.com/ with https://physics.stackexchange.com/
|
|
| Sep 11, 2013 at 13:04 | review | Reopen votes | |||
| Sep 11, 2013 at 13:06 | |||||
| Aug 26, 2013 at 7:08 | comment | added | Urs Schreiber | The types in the internal logic of a Bohr topos (ncatlab.org/nlab/show/Bohr%20topos) associated with a $C^\ast$-algebra are the "presheaves on classical contexts", hence all things that can be "probed" by commuting subalgebras of the given $C^\ast$-algebra of quantum operators. This is, so far, a proposal only for how to formulate phase spaces of quantum states in topos theory. For a synthetic formulation of quantum field theory comprehensively in higher toposes see ncatlab.org/schreiber/show/Synthetic+Quantum+Field+Theory | |
| Aug 26, 2013 at 4:40 | comment | added | Evan Jenkins | John Baez has written a bit about this work here: math.ucr.edu/home/baez/week257.html | |
| S Aug 26, 2013 at 4:27 | history | closed | François G. Dorais | Not suitable for this site | |
| S Aug 26, 2013 at 4:27 | comment | added | François G. Dorais | Crossposted from physics.se. Please post answers there. | |
| Aug 26, 2013 at 2:47 | comment | added | François G. Dorais | It's unclear what you are asking. Are you asking for the internal logic of a specific topos? A family of topoi? All topoi? Do you have one paper in mind or do you expect us to read them all? | |
| Aug 26, 2013 at 1:52 | history | asked | Mozibur Ullah | CC BY-SA 3.0 |