Paraconsistent analysis: Difference between revisions

Content deleted Content added

Inline

Revision as of 16:26, 21 July 2008

Redirect to:

@@ Line 1: / Line 1: @@
+#redirect [[paraconsistent mathematics]]
-'''Paraconsistent analysis''' is a branch of [[paraconsistent mathematics]], that attempts to rework [[mathematical analysis]] on a [[paraconsistent logic|paraconsistent]] framework.
-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)
-{{math-stub}}
-==References==
-* [http://plato.stanford.edu/entries/mathematics-inconsistent/ Article on ''Inconsistent Mathematics''] by Chris Mortensen in the [[Stanford Encyclopedia of Philosophy]].
-*[http://www.google.ru/search?q=Da+Costa+Paraconsistent+Differential+Calculus++Tadeu+Fernandes+de+Carvalho&complete=1&hl=ru&lr=&newwindow=1&pwst=1&filter=0][[Category:Mathematical analysis]]