Paraconsistent mathematics

From Wikipedia, the free encyclopedia

You have new messages (last change).

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

[edit] External links

  • Entry in the Stanford Encyclopedia of Philosophy [1]
  • Lectures by Manuel Bremer of the University of Düsseldorf [2]
Retrieved from "http://en.wikipedia.org../../../p/a/r/Paraconsistent_mathematics.html"