Non-Classical Foundations of Analysis
Supported by the New Zealand Marsden Fund.
This URL is evolving!
"If between any two points in space there is always a third point, can anything touch anything else?" - Le Poidevin, in Travels in Four Dimensions, Oxford University Press, 2003.
|Foundations for real analysis traditionally comes in two kinds: classical (as per Cauchy, Weierstraß, Dedekind, etc.) and constructive (Brouwer, Weyl etc.). These are underpinned by, respectively, classical and intuitionistic logics. We seek to establish a solid non-classical foundation for real analysis relying on paraconsistent logics.|
|Paraconsistent logics are characterized by rejection of the universal validity of the principle ex contradictione quodlibet. It is this principle which, in classical and intuitionistic logics, causes global absurdity in the presence of local contradiction. We build on recent developments in set theory, geometry and arithmetic to investigate models of the continuum capable of supporting both an interesting structure and interesting substructure; inconsistent phenomena that arise need not lead to disaster.|
A detailed description of the project can be found here.
Principal Investigator: Dr. Maarten McKubre-Jordens, University of Canterbury.
Associate Investigator: Dr. Zach Weber, University of Otago.
Ph.D. Researcher: to be confirmed (applications have closed).
Mathematics and Statistics Department
University of Canterbury
Private Bag 4800
Phone: +64 3 364 2987 extn 8878
Fax: +64 3 364 2587
Some Links (in no particular order)
McKubre-Jordens, M. (2011) This is not a carrot: Paraconsistent Mathematics, +PLUS Magazine, August 2011.
Mortensen, C. (1995) Inconsistent Mathematics. Kluwer Mathematics and Its Applications Series, Dordrecht: Kluwer.