![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Thursday 12 October 2017, 15:00-16:00
Undecidability in geometry and topology
- 👤 Speaker: Henry Wilton (University of Cambridge)
- 📅 Date & Time: Thursday 12 October 2017, 15:00 - 16:00
- 📍 Venue: MR 14, CMS
Abstract
There is a beautiful tension in topology between positive classification theorems and negative “no-go” theorems. The positive results come from geometry, and often derive ultimately from analysis. The negative results, by contrast, come from undecidability results in logic. I’ll give a survey of the history of this tension, and mention the highlight theorems — examples include Markov’s theorem that 4-manifolds cannot be classified (on the negative side), and Perelman’s Geometrization Theorem in dimension 3 (on the positive side). I’ll then go on to describe some recent undecidability results, which limit possible computations in matrix groups. This is joint work with Martin Bridson.
Series This talk is part of the Applied and Computational Analysis series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- Applied and Computational Analysis
- bld31
- CMS Events
- DAMTP info aggregator
- Featured lists
- Interested Talks
- MR 14, CMS
- My seminars
- Type the title of a new list here
Note: Ex-directory lists are not shown.