them
27-04-2007, 02:38 AM
Another Reality?
A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
Authors: A. Doering, C.J. Isham
(Submitted on 7 Mar 2007)
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos. In this paper we discuss two different types of language that can be attached to a system, S. The first is a propositional language, PL(S); the second is a higher-order, typed language L(S). Both languages provide deductive systems with an intuitionistic logic. The reason for introducing PL(S) is that, as shown in paper II of the series, it is the easiest way of understanding, and expanding on, the earlier work on topos theory and quantum physics. However, the main thrust of our programme utilises the more powerful language L(S) and its representation in an appropriate topos.
What's Topos Theory? http://en.wikipedia.org/wiki/Background_and_genesis_of_topos_theory
.....there may be myriad ways of viewing reality, each based on its own topos. Together with Andreas Doering of Imperial, he has shown that every physical system - from an electron to the whole universe - has a unique mathematical identity that dictates how it will appear when viewed through the prism of a particular topos.
Seen via the topos of set theory, an atom takes on its classical appearance with nice, well-defined properties. Viewed through the topos associated with quantum theory, it becomes altogether fuzzier and strange.
We needn't stop there. Why not opt for another topos? It could lead to a view of reality even more astonishing and successful than quantum theory. "What we're hoping is that topos theory becomes the basis for a whole new way of constructing theories", says Isham.....
http://www.fqxi.org/images/aw-isham.gif
The big idea (http://www.arxiv.org/PS_cache/quant-ph/pdf/0703/0703060v1.pdf)
http://www.fqxi.org/aw-isham2.html
A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
Authors: A. Doering, C.J. Isham
(Submitted on 7 Mar 2007)
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos. In this paper we discuss two different types of language that can be attached to a system, S. The first is a propositional language, PL(S); the second is a higher-order, typed language L(S). Both languages provide deductive systems with an intuitionistic logic. The reason for introducing PL(S) is that, as shown in paper II of the series, it is the easiest way of understanding, and expanding on, the earlier work on topos theory and quantum physics. However, the main thrust of our programme utilises the more powerful language L(S) and its representation in an appropriate topos.
What's Topos Theory? http://en.wikipedia.org/wiki/Background_and_genesis_of_topos_theory
.....there may be myriad ways of viewing reality, each based on its own topos. Together with Andreas Doering of Imperial, he has shown that every physical system - from an electron to the whole universe - has a unique mathematical identity that dictates how it will appear when viewed through the prism of a particular topos.
Seen via the topos of set theory, an atom takes on its classical appearance with nice, well-defined properties. Viewed through the topos associated with quantum theory, it becomes altogether fuzzier and strange.
We needn't stop there. Why not opt for another topos? It could lead to a view of reality even more astonishing and successful than quantum theory. "What we're hoping is that topos theory becomes the basis for a whole new way of constructing theories", says Isham.....
http://www.fqxi.org/images/aw-isham.gif
The big idea (http://www.arxiv.org/PS_cache/quant-ph/pdf/0703/0703060v1.pdf)
http://www.fqxi.org/aw-isham2.html