![[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)
Maurice Chiodo
Sunday 04 March 2012, 17:15-17:45
Decision Problems in Group Theory
- đ¤ Speaker: Maurice Chiodo
- đ Date & Time: Sunday 04 March 2012, 17:15 - 17:45
- đ Venue: Winstanley Lecture Theatre, Trinity College
Abstract
Around the 1930’s, Alan Turing developed the concept of a Turing machine, the basic framework for what would eventually become modern computation. However, this construction rests on a paradox: such machines cannot always compute their own future behaviour. Such classes of problems are referred to as “incomputable”, and they appear in many areas of mathematics, from set theory, to algebra, and even to geometry and topology. In this talk I will give an overview of Turing’s construction, outline how this gives rise to some incomputable problems in group theory, and give examples of some corresponding incomputable problems in geometry.
Series This talk is part of the Trinity Mathematical Society series.
Included in Lists
Note: Ex-directory lists are not shown.