BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20170312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20161106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a25e9d5c5122
DTSTART;TZID=America/Toronto:20170720T160000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20170720T160000
URL:https://uwaterloo.ca/pure-mathematics/events/graduate-student-colloquiu
 m-6
SUMMARY:Graduate Student Colloquium
CLASS:PUBLIC
DESCRIPTION:BRANDON DOHERTY\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY O
 F\nWATERLOO\n\n\"Goodstein sequences and the Hydra game\"\n\nGödel's inco
 mpleteness theorem proves the existence of certain\nstatements about the 
 natural numbers that can be neither proven nor\ndisproven using basic firs
 t-order arithmetic. The kinds of statements\nconstructed in the standard 
 proof of the incompleteness theorem\,\nhowever\, are extremely technical\
 , and not very interesting in and of\nthemselves. 
DTSTAMP:20260607T215949Z
END:VEVENT
END:VCALENDAR