BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260624T050843Z
DTSTART;TZID=America/New_York:20150403T100000
DTEND;TZID=America/New_York:20150403T120000
SUMMARY:Potential versus actual infinity: insights from reverse mathematics
UID:20260625T132510Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:America/New_York
LOCATION:Storrs\, United States\, 06269
DESCRIPTION:<p><strong>Annual Logic Lecture</strong></p>\n<p>Every year in the Spring term\, the UConn Logic Group hosts a Scholar of Consequence. The Scholar delivers the Annual Logic Lecture\, which is open to the public\, and over the course of a few days engages in various working sessions with the members of the Group.</p>\n<p><strong>Stephen G. Simpson\, Pennsylvania State University.</strong></p>\n<p><em><strong>Potential versus actual infinity: insights from reverse mathematics &nbsp\;</strong></em></p>\n<p>In the philosophy of mathematics\, there is a crucial distinction between potential infinity and actual infinity. This distinction gives rise to four contrasting viewpoints: ultrafinitism\, finitism\, predicativism\, and infinitism. I am convinced that of these four\, finitism is the most objective. This conviction heightens the importance of Hilbert&rsquo\;s program of finitistic reductionism. Some relevant formal systems are PRA\, WKL0\, IR\, ATR0\, and ZFC. Foundational research over several decades has revealed that large parts of contemporary mathematics\, including the applicable parts\, can be formalized in systems such as WKL0 which are finitistically reducible. This seems to provide a possible outline for an objective justification of much of contemporary mathematics.</p>
ORGANIZER;CN=Damir Dzhafarov;CN=Marcus Rossberg:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR