130 citations · 277 across the 11 of their papers we have counts for
9 papers · 1 filter
The parliament of observers - Against the observable axiom of quantum mechanics
Markus Frembs, Andreas Döring
The 'unreasonable effectiveness of mathematics in the natural sciences' may at times give the impression that natural science, especially modern theoretical physics, is all but a f…
A Bridge Between Q-Worlds
Andreas Döring, Benjamin Eva, Masanao Ozawa
Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics that share a great deal of conceptual and…
Unsharp Values, Domains and Topoi
Andreas Doering, Rui Soares Barbosa
The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics. There i…
Classical and Quantum Probabilities as Truth Values
Andreas Doering, Chris J. Isham
We show how probabilities can be treated as truth values in suitable sheaf topoi. The scheme developed in this paper is very general and applies to both classical and quantum physi…
The physical interpretation of daseinisation
Andreas Doering
We provide a conceptual discussion and physical interpretation of some of the quite abstract constructions in the topos approach to physics. In particular, the daseinisation proces…
Topos Quantum Logic and Mixed States
Andreas Doering
The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to…
`What is a Thing?': Topos Theory in the Foundations of Physics
Andreas Doering, Chris Isham
The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address cert…
Topos theory and `neo-realist' quantum theory
Andreas Doering
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this a…
Kochen-Specker theorem for von Neumann algebras
Andreas Doering
The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence…