Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Paraconsistent_mathematics> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Paraconsistent_mathematics abstract "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 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. The theory of differentiation turned out to have these advantages, while the theory of integration did not. (2)".
- Paraconsistent_mathematics wikiPageExternalLink mathematics-inconsistent.
- Paraconsistent_mathematics wikiPageExternalLink math-inc.
- Paraconsistent_mathematics wikiPageExternalLink ParaLec.htm.
- Paraconsistent_mathematics wikiPageID "1113023".
- Paraconsistent_mathematics wikiPageRevisionID "602434485".
- Paraconsistent_mathematics hasPhotoCollection Paraconsistent_mathematics.
- Paraconsistent_mathematics subject Category:Paraconsistent_logic.
- Paraconsistent_mathematics subject Category:Philosophy_of_mathematics.
- Paraconsistent_mathematics subject Category:Proof_theory.
- Paraconsistent_mathematics comment "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.".
- Paraconsistent_mathematics label "Paraconsistent mathematics".
- Paraconsistent_mathematics sameAs m.04739t.
- Paraconsistent_mathematics sameAs Q7134013.
- Paraconsistent_mathematics sameAs Q7134013.
- Paraconsistent_mathematics wasDerivedFrom Paraconsistent_mathematics?oldid=602434485.
- Paraconsistent_mathematics isPrimaryTopicOf Paraconsistent_mathematics.