Paraconsistent Foundations Of Mathematics

Grant number: DP1094962 | Funding period: 2010 - 2013

Completed

Abstract

In the English-speaking world, Australia is already the most prominent centre for paraconsistent research, known for development of radical new ideas advanced here in the last few decades. The program is ready to mature into its next phase, making important and lasting contributions to logic, philosophy, and mathematics. The Australian academy will derive international recognition for impressive new mathematics, and innovative philosophical explanations of truth and proof.