University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Constructive Thoughts on Operator Algebras

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Constructive Thoughts on Operator Algebras

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 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:

Note that ex-directory lists are not shown.

Other lists

https://us06web.zoom.us/j/84909272851?pwd=MWh4VTFZd3ovRjN3LzZ4eU9yOVdpUT09 The obesity epidemic: Discussing the global health crisis Centre for Mathmatical Sciences, Central Core Building, University of Cambridge

Other talks

Discussion II continued Fairy Tales Title to be confirmed The search for a new population of strong gravitational lenses with JWST Online Causal Inference Seminar What Can a Spectrum Learn? AI Perspectives on the Kohn Laplacian of Sphere Quotients
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity