Constructive Thoughts on Operator Algebras
Add to your list(s)
Download to your calendar using vCal
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 Bishopstyle 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:
Note that exdirectory lists are not shown.
