BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:How do human mathematicians avoid big searches? - William Timothy 
 Gowers (University of Cambridge)
DTSTART:20170728T123000Z
DTEND:20170728T133000Z
UID:TALK75411@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:I shall try to explain why I believe that computers will proba
 bly surpass humans at finding proofs within a small number of decades. The
  main content of the talk will be a close analysis of a few example proble
 ms of varying difficulty for humans\, focusing on what humans do in order 
 to reduce the size of the search space. Thus\, it will be in the spirit of
  Polya\, but with the ultimate goal of educating computers rather than hum
 ans.  <br><br><br><br>
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR