BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Constructive Thoughts on Operator Algebras - Bridges\, D (Universi
 ty of Canterbury)
DTSTART:20120124T163000Z
DTEND:20120124T170000Z
UID:TALK35794@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:Operator algebra theory\, in its classical form\, is developed
  in about as nonconstructive a manner as one could imagine: typical existe
 nce proofs use contradiction arguments and applications of Zorn's lemma. F
 inding a viable constructive development of\, or perhaps alternative to\, 
 operator algebra theory would seem to be a major test of Bishop-style cons
 tructive mathematics (or\, indeed\, of any other approach to extracting th
 e computational content of a classical theory). In my talk I shall present
  some of the background\, some recent progress\, and some of the major pro
 blems that lie at the very start of such a development.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR