Constructive Thoughts on Operator Algebras

Add to your list(s) Download to your calendar using vCal

• Bridges, D (University of Canterbury)
• Tuesday 24 January 2012, 16:30-17:00
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact Mustapha Amrani.

Semantics and Syntax: A Legacy of Alan Turing

Operator algebra theory, in its classical form, is developed in about as nonconstructive a manner as one could imagine: typical existence proofs use contradiction arguments and applications of Zorn’s lemma. Finding a viable constructive development of, or perhaps alternative to, operator algebra theory would seem to be a major test of Bishop-style constructive mathematics (or, indeed, of any other approach to extracting the computational content of a classical theory). In my talk I shall present some of the background, some recent progress, and some of the major problems that lie at the very start of such a development.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.