BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260604T214543Z
DTSTART;TZID=Europe/London:20120317T090000
DTEND;TZID=Europe/London:20120318T170000
SUMMARY:The Scope and Limits of Mathematical Knowledge
UID:20260606T184100Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/London
LOCATION: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 et alii)\, progressions of formal theories (Feferman\, Beklemishev\, et alii)\, the logic of proofs (Artemov)\, and so on.&nbsp\;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.&nbsp\;<br> <br> About one year after the first conference\, there will be a second follow-up conference on the same theme. The hope is that in the one-year interval\, real progress has been made on some of the key issues discussed at the first conference.</p>\n<strong>Conference programme</strong> <strong>Saturday\, March 17th</strong> 10.45: welcome 11.00-13.00: S. Shapiro - 'Idealization\, Mechanism and Knowability' 13.00-14.30: Lunch 14.30-16.30: D. Isaacson - 'How to express knowledge about numbers and sets that cannot be formally expressed' 16.30-17.00: Break 17.00-19.00: G. Leach-Krouse - 'Some Modal Omega Logic' Conference dinner <strong>Sunday\, March 18th</strong> 9.00-11.00: W. Dean and S. Walsh - 'Reversals and Sameness of Computational Resource' 11.00-11.30: Break 11.30-13.30: S. Artemov - TBC 13.30-15.00: Lunch 15.00-17.00: T. Williamson - TBC 17.00-17.30: Break 17.30-19.30: T. Carlson - TBC <strong>Registration</strong> Attendance is free\, but registration is required. Please contact Marianna Antonutti (<a#0000cc\;"  href="https://webmail.bris.ac.uk/webmail/src/compose.php?send_to=plmam%40bristol.ac.uk"  target="_blank">plmam@bristol.ac.uk</a>).\n<p>For further details about the venue and the conference programme\, see:&nbsp\;</p>
ORGANIZER;CN=Marianna Antonutti;CN=Leon Horsten:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR