Timeline for Classical logic in concern with QM Mathematics
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16, 2014 at 12:23 | answer | added | Nikolaj-K | timeline score: 1 | |
| Oct 16, 2014 at 10:27 | answer | added | Valter Moretti | timeline score: 4 | |
| Oct 16, 2014 at 6:36 | history | edited | Qmechanic♦ |
edited tags
|
|
| Oct 16, 2014 at 5:33 | comment | added | CuriousOne | As for quantum logic in physics, I believe the original hope was that one may describe general aspects of the dynamics of quantum systems with operations that are similar to logic and set theory. The naive initial approach was to weaken axioms of first order logic (e.g. Boolean algebra) in order to make propositions about quantum states which are elements of Hilbert spaces. I don't believe that the naive approach was particularly successful for general quantum systems, but the field is still in flux and probably refreshed by quantum computing, see e.g. arxiv.org/abs/1302.3465. | |
| Oct 16, 2014 at 5:05 | comment | added | CuriousOne | You are striking at the hearts of mathematics and physics at the same time. For one thing, the formal logical system used in mathematics is a historical convention. It is by no means unique and there has been plenty of work on alternatives. See en.wikipedia.org/wiki/Mathematical_logic#Formal_logical_systems for a million foot overview of what is a highly technical and strongly debated field among mathematicians. In contrast, quantum logic tries to develop a system of "reasoning" about quantum mechanical observables. So it's not an "either-or", but an "it's complicated in both realms". | |
| Oct 16, 2014 at 3:57 | review | First posts | |||
| Oct 16, 2014 at 4:27 | |||||
| Oct 16, 2014 at 3:53 | history | asked | andrew | CC BY-SA 3.0 |