BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260605T043933Z
DTSTART;TZID=Europe/London:20130330T090000
DTEND;TZID=Europe/London:20130331T180000
SUMMARY:Second Workshop on the Limits and Scope of  Mathematical Knowledge
UID:20260607T030418Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/London
LOCATION:University of Bristol\, Bristol\, United Kingdom
DESCRIPTION:<p>In 1951\, G&ouml\;del argued convincingly for a disjunctive thesis: either the human mathematical mind exceeds the output of a Turing machine\, or there exist absolutely undecidable mathematical propositions. Since then\, attempts have been made to decide one or both of the disjuncts\, but no decisive progress has been made so far. For instance\, Lucas&rsquo\; arguments for the first disjunct are widely regarded as unconvincing. At the same time\, formal frameworks have in the decades following G&ouml\;del&rsquo\;s publication been developed which could be fruitfully applied to this question: epistemic arithmetic (Shapiro&nbsp\;<em>et al.</em>)\, progressions of formal theories (Feferman\, Beklemishev\,&nbsp\;<em>et al.</em>)\, the logic of proofs (Artemov)\, ...</p>\n<p>The research question of the conference is whether some of these formal frameworks (or combinations of these frameworks) can be used to obtain arguments for statements that are stronger than G&ouml\;del&rsquo\;s disjunctive thesis.</p>\n<p>This is a second follow-up conference on the same theme as the&nbsp\;first. The hope is that in the one-year interval between the two\, real progress has been made on some of the key issues discussed at the first conference.</p>\n<p>The conference is generously supported by a grant awarded by the Templeton Foundation.</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR