BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2016/newsitem/7450/12- 14-October-2016-Foundations-of-Mathematical-Struct uralism-Munich-Germany DTSTAMP:20160609T000000 SUMMARY:Foundations of Mathematical Structuralism, Munich, Germany DTSTART;VALUE=DATE:20161012 DTEND;VALUE=DATE:20161014 LOCATION:Munich, Germany DESCRIPTION:The orthodox approach to foundations i nterprets mathematics in the universe of sets. Mor e recently, however, there have been developments that offer alternatives, such as combining categor y-theoretic structural methods with type theory to produce a foundation that accounts for the struct ural aspects of mathematical practice. We are now at a point where the notion of mathematical struct ure can be elucidated more clearly and its role in the foundations of mathematics can be explored mo re fruitfully. The main objective of the conferen ce is to reevaluate the different perspectives on mathematical structuralism in the foundations of m athematics and in mathematical practice. We invit e the submission of abstracts on topics related to mathematical structuralism for presentation at th e conference. We will select up to five submission s for presentation at the conference. Submission d eadline: 30 June, 2016. X-ALT-DESC;FMTTYPE=text/html:
The ortho dox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternativ es, such as combining category-theoretic structura l methods with type theory to produce a foundation that accounts for the structural aspects of mathe matical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of m athematics can be explored more fruitfully.
\n\ nThe main objective of the conference is to r eevaluate the different perspectives on mathematic al structuralism in the foundations of mathematics and in mathematical practice.