BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Trinity Mathematical Society
SUMMARY:Decision Problems in Group Theory - Maurice Chiodo
DTSTART;TZID=Europe/London:20120304T171500
DTEND;TZID=Europe/London:20120304T174500
UID:TALK36738AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/36738
DESCRIPTION:Around the 1930's\, Alan Turing developed the conc
ept of a Turing machine\, the basic framework for
what would eventually become modern computation. H
owever\, this construction rests on a paradox: suc
h machines cannot always compute their own future
behaviour. Such classes of problems are referred t
o as "incomputable"\, and they appear in many area
s 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\, o
utline how this gives rise to some incomputable pr
oblems in group theory\, and give examples of some
corresponding incomputable problems in geometry.
LOCATION:Winstanley Lecture Theatre\, Trinity College
CONTACT:Mary Fortune
END:VEVENT
END:VCALENDAR