Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Non-classical_analysis> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- Non-classical_analysis abstract "In mathematics, non-classical analysis is any system of analysis, other than classical real analysis, and complex, vector, tensor, etc., analysis based upon it.Such systems include:Abstract Stone duality, a programme to re-axiomatise general topology directly, instead of using set theory. It is formulated in the style of type theory and is in principle computable. It is currently able to characterise the category of (not necessarily Hausdorff) computably based locally compact spaces. It allows the development of a form of constructive real analysis using topological rather than metrical arguments.Chainlet geometry, a recent development of geometric integration theory which incorporates infinitesimals and allows the resulting calculus to be applied to continuous domains without local Euclidean structure as well as discrete domains.Constructive analysis, which is built upon a foundation of constructive, rather than classical, logic and set theory.Intuitionistic analysis, which is developed from constructive logic like constructive analysis but also incorporates choice sequences.p-adic analysis.Paraconsistent analysis, which is built upon a foundation of paraconsistent, rather than classical, logic and set theory.Smooth infinitesimal analysis, which is developed in a smooth topos.Non-standard analysis and the calculus it involves, non-standard calculus, are considered part of classical mathematics (i.e. The concept of \"hyperreal number\" it uses, can be constructed in the framework of Zermelo-Fraenkel set theory).".
- Non-classical_analysis wikiPageID "1178373".
- Non-classical_analysis wikiPageLength "1996".
- Non-classical_analysis wikiPageOutDegree "23".
- Non-classical_analysis wikiPageRevisionID "575759360".
- Non-classical_analysis wikiPageWikiLink Category:Non-classical_analysis.
- Non-classical_analysis wikiPageWikiLink Category_(mathematics).
- Non-classical_analysis wikiPageWikiLink Cauchy_sequence.
- Non-classical_analysis wikiPageWikiLink Chainlet_geometry.
- Non-classical_analysis wikiPageWikiLink Choice_sequence.
- Non-classical_analysis wikiPageWikiLink Classical_mathematics.
- Non-classical_analysis wikiPageWikiLink Constructive_analysis.
- Non-classical_analysis wikiPageWikiLink General_topology.
- Non-classical_analysis wikiPageWikiLink Hyperreal_number.
- Non-classical_analysis wikiPageWikiLink Infinitesimal.
- Non-classical_analysis wikiPageWikiLink Intuitionistic_logic.
- Non-classical_analysis wikiPageWikiLink Mathematics.
- Non-classical_analysis wikiPageWikiLink Non-standard_analysis.
- Non-classical_analysis wikiPageWikiLink Non-standard_calculus.
- Non-classical_analysis wikiPageWikiLink P-adic_analysis.
- Non-classical_analysis wikiPageWikiLink Paraconsistent_logic.
- Non-classical_analysis wikiPageWikiLink Paraconsistent_mathematics.
- Non-classical_analysis wikiPageWikiLink Real_analysis.
- Non-classical_analysis wikiPageWikiLink Set_theory.
- Non-classical_analysis wikiPageWikiLink Smooth_infinitesimal_analysis.
- Non-classical_analysis wikiPageWikiLink Type_theory.
- Non-classical_analysis wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Non-classical_analysis wikiPageWikiLinkText "Non-classical analysis".
- Non-classical_analysis wikiPageWikiLinkText "non-classical".
- Non-classical_analysis wikiPageUsesTemplate Template:Mathanalysis-stub.
- Non-classical_analysis wikiPageUsesTemplate Template:Reflist.
- Non-classical_analysis subject Category:Non-classical_analysis.
- Non-classical_analysis type Concept.
- Non-classical_analysis comment "In mathematics, non-classical analysis is any system of analysis, other than classical real analysis, and complex, vector, tensor, etc., analysis based upon it.Such systems include:Abstract Stone duality, a programme to re-axiomatise general topology directly, instead of using set theory. It is formulated in the style of type theory and is in principle computable. It is currently able to characterise the category of (not necessarily Hausdorff) computably based locally compact spaces.".
- Non-classical_analysis label "Non-classical analysis".
- Non-classical_analysis sameAs Q17097784.
- Non-classical_analysis sameAs m.04dtn1.
- Non-classical_analysis sameAs Q17097784.
- Non-classical_analysis wasDerivedFrom Non-classical_analysis?oldid=575759360.
- Non-classical_analysis isPrimaryTopicOf Non-classical_analysis.