BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240329T104717Z DTSTART;TZID=Australia/Melbourne:20170428T070000 DTEND;TZID=Australia/Melbourne:20170428T090000 SUMMARY:Diagonal Theory UID:20240329T104717Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Australia/Melbourne LOCATION:Old Quad\, Parkville\, Australia\, 3010 DESCRIPTION:
Toby Meadows (Queensland) will present "Diagonal Theory" at 11 in Old Quad G09.
\nAbstract: Diagonal arguments are a foundation stone in many areas of mathematical and philosophical logic\, but few if any formal descriptions of them are accepted. I will compare three contemporary approaches and suggest how we should think about their relationships with each other. After that\, I will highlight some interesting open questions and future projects.\n \; ORGANIZER;CN=Shawn Standefer: METHOD:PUBLISH END:VEVENT END:VCALENDAR