University of Cambridge > > Trinity Mathematical Society > Decision Problems in Group Theory

Decision Problems in Group Theory

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

If you have a question about this talk, please contact Mary Fortune.

Part of the TMS Symposium

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.

This talk is part of the Trinity Mathematical Society series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity