Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein:

Dr. Andreas Doering, Theoretical Physics Group, Blackett Laboratory, Imperial College London: The topos approach to the formulation of physical theories

Beginn: 02.09.2008, 15:00 Uhr Ort: TU Braunschweig, Mendelssohnstraße 3, Raum MS 3.3 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2008-09-02-doering.html Kontakt: Prof. Dr. Jirí Adámek

I will report on recent work with Chris Isham on the application of topos theory to physics. The Kochen-Specker theorem shows that a naive realist description of quantum systems is impossible. This can be understood as the inapplicability of Boolean logic to quantum systems. In order to arrive at a more realist description, one can use the internal logic of a certain topos of presheaves. The choice of this topos is irectly motivated from the Kochen-Specker theorem. I will show which structures within this topos are of physical significance and how propositions about physical quantities are assigned truth-values. The whole topos scheme is not bound to quantum theory, but allows for major generalisations, potentially in the direction of a future theory of quantum gravity.