August 2 – 3, 2010
University of Melbourne
To begin our new ARC project, we are hosting a workshop, to present ideas and determine directions for research. Core topics include:
- Set Theories
- Arithmetic
- Recursive Functions and Computability
- “Higher” mathematics – geometry, topology, real analysis, etc.
Questions to discuss include: What logic(s) are appropriate for these theories? How are basic and ubiquitous mathematical notions to be formally expressed? What should we aim to prove, and how will we prove it?
Interested parties are invited to contact me at zweber [at] unimelb.edu.au
