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:Isaac Newton Institute Seminar Series
SUMMARY:How do human mathematicians avoid big searches? -
William Timothy Gowers (University of Cambridge)
DTSTART;TZID=Europe/London:20170728T133000
DTEND;TZID=Europe/London:20170728T143000
UID:TALK75411AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/75411
DESCRIPTION:I shall try to explain why I believe that computer
s will probably surpass humans at finding proofs w
ithin a small number of decades. The main content
of the talk will be a close analysis of a few exam
ple problems of varying difficulty for humans\, fo
cusing on what humans do in order to reduce the si
ze of the search space. Thus\, it will be in the s
pirit of Polya\, but with the ultimate goal of edu
cating computers rather than humans.
LOCATION:Seminar Room 1\, Newton Institute
CONTACT:INI IT
END:VEVENT
END:VCALENDAR