Science Fair Project Encyclopedia
Paraconsistent mathematics (sometimes called inconsistent mathematics ) represents an attempt to develop the classical infrastructure of mathematics (e.g. theory of analysis) based on a foundation of paraconsistent logic instead of classical logic. A number of interesting reformulations of analysis can be developed, for example functions which both do and do not have a given value simultaneously.
See: paraconsistent analysis.
The main book on this topic is:
- Inconsistent Mathematics, by Chris Mortensen, Dordrecht, Kluwer Academic Publishers, 1995 Kluwer Mathematics and Its Applications Series, Vol 312 ISBN 0-7923-3186-9
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details