BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Decision Problems in Group Theory - Maurice Chiodo
DTSTART:20120304T171500Z
DTEND:20120304T174500Z
UID:TALK36738@talks.cam.ac.uk
CONTACT:Mary Fortune
DESCRIPTION:Around the 1930's\, Alan Turing developed the concept of a Tur
 ing 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 problem
 s are referred to as "incomputable"\, and they appear in many areas of mat
 hematics\, from set theory\, to algebra\, and even to geometry and topolog
 y. 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 g
 ive examples of some corresponding incomputable problems in geometry.
LOCATION:Winstanley Lecture Theatre\, Trinity College
END:VEVENT
END:VCALENDAR