BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logic and the Physical World: Topos theory as a foundation for phy
 sics - Professor Christopher Isham (Imperial College)
DTSTART:19011213T204552Z
DTEND:19011213T204552Z
UID:TALK6203@talks.cam.ac.uk
CONTACT:4847
DESCRIPTION:Classical physics and 'classical' mathematics (ie\, mathematic
 s based on set theory) fit together naturally with the Boolean algebra of 
 the subsets of a set serving perfectly as a model for propositions in phys
 ics. However\, this is known to fail in quantum theory\, where the inheren
 t logic is non-distributive. \n In this lecture I will describe some recen
 t work that aims to construct a new way of looking at quantum mechanics in
  which the theory 'looks like' classical physics\, but in a topos other th
 an the topos of sets. In fact\, we go well beyond this and claim that any 
 theory of physics should/can be expressed in a pseudo-classical form in wh
 ich each system has its own topos in which the physical theory is formulat
 ed.
LOCATION:Centre for Mathematical Sciences\, Cambridge
END:VEVENT
END:VCALENDAR