Paraconsistent mathematics
- Paraconsistent mathematics
Paraconsistent mathematics (sometimes called inconsistent mathematics) represents an attempt to develop the classical infrastructure of mathematics (e.g. 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.
Chris Mortensen claims (see references)::One could hardly ignore the examples of analysis and its special case, the calculus. There prove to be many places where there are distinctive inconsistent insights; see Mortensen (1995) for example. (1) Robinson's non-standard analysis was based on infinitesimals, quantities smaller than any real number, as well as their reciprocals, the infinite numbers. This has an inconsistent version, which has some advantages for calculation in being able to discard higher-order infinitesimals. Interestingly, the theory of differentiation turned out to have these advantages, while the theory of integration did not. (2)
References
* "Inconsistent Mathematics", by Chris Mortensen, Dordrecht, Kluwer Academic Publishers, 1995 Kluwer "Mathematics and Its Applications Series", Vol 312 ISBN 0-7923-3186-9
External links
* Entry in the "Stanford Encyclopedia of Philosophy" [http://plato.stanford.edu/entries/mathematics-inconsistent/]
* Lectures by Manuel Bremer of the University of Düsseldorf [http://www.mbph.homepage.t-online.de/Logic/ParaLec.htm]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Outline of discrete mathematics — The following outline is presented as an overview of and topical guide to discrete mathematics: Discrete mathematics – study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have… … Wikipedia
Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… … Wikipedia
Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… … Wikipedia
Element (mathematics) — In mathematics, an element or member of a set is any one of the distinct objects that make up that set. Contents 1 Sets 2 Notation and terminology 3 Cardinality of sets 4 Exampl … Wikipedia
Mathematical analysis — Mathematical analysis, which mathematicians refer to simply as analysis, has its beginnings in the rigorous formulation of infinitesimal calculus. It is a branch of pure mathematics that includes the theories of differentiation, integration and… … Wikipedia
Newton da Costa — at Berkeley in 1973 Photo courtesy George M. Bergman Full name Newton da Costa Born 16 September 1929 (1929 09 16) (age 82) Curitiba, B … Wikipedia
