Paraconsistent mathematics
From Wikipedia, the free 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.
[edit] See also
[edit] References
- Inconsistent Mathematics, by Chris Mortensen, Dordrecht, Kluwer Academic Publishers, 1995 Kluwer Mathematics and Its Applications Series, Vol 312 ISBN 0-7923-3186-9
