A site for the Marsden Fund projects at the University of Otago and the University of Canterbury

Thursday, March 4, 2010

Paraconsistent Mathematics Workshop

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

No comments:

Post a Comment

Post a Comment