BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of California\, Berkeley//UCB Events Calendar//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
DTSTART:19701029T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20171128T093811Z
DTSTART;TZID=America/Los_Angeles:20171201T161000
DTEND;TZID=America/Los_Angeles:20171201T170000
TRANSP:OPAQUE
SUMMARY:Logic Colloquium: What is ordinary mathematics?
UID:113503-ucb-events-calendar@berkeley.edu
ORGANIZER;CN="UC Berkeley Calendar Network":
LOCATION:60 Evans Hall
DESCRIPTION:Marianna Antonutti\, Munich Center for Mathematical Philosophy\n\nThe term “ordinary mathematics” is used to denote a collection of areas that are\, in some sense\, central to the practice of most working mathematicians\, typically taken to contain such fields as number theory\, real and complex analysis\, geometry\, and algebra. This notion has been taken for granted by both philosophers and logicians\; for example\, reverse mathematics is often described as the study of what set existence axioms are necessary to prove theorems of ordinary mathematics\, and the ability to recover ordinary mathematics has been considered a key measure of the success of a foundational framework at least since Russell. However\, the precise extent of this notion has not been explicitly discussed. This talk will propose two ways in which this notion can be made more precise. According to the first\, ordinary mathematics is that part of mathematics that concerns countable or countably representable objects. According to the second\, ordinary mathematics is that part of mathematics that does not make essential use of intrinsically set theoretic methods or concepts. I will discuss potential counterexamples to both views\, and assess the prospects for formulating a precise account of the notion of ordinary mathematics.\n\nThis is joint work with Benedict Eastaugh.
URL:http://events.berkeley.edu/index.php/calendar/sn/pubaff.html?event_ID=113503&view=preview
SEQUENCE:0
CLASS:PUBLIC
CREATED:20171128T093811Z
LAST-MODIFIED:20171128T093811Z
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1
END:VEVENT
END:VCALENDAR