| Revision as of 21:50, 2 December 2007 editPaul Taylor (talk | contribs)41 edits Corrected description of ASD - see Talk← Previous edit | Revision as of 17:35, 3 December 2007 edit undoCharles Matthews (talk | contribs)Autopatrolled, Administrators360,413 edits prefer internal linkNext edit → | ||
| Line 3: | Line 3: | ||
| Such systems include: | Such systems include: | ||
| *, a programme to re-axiomatise ] ''directly'', instead of using ]. It is formulated in the style of ] and is in principle computable. It is currently able to characterise the ] of (not necessarily Hausdorff) computably based locally compact spaces. It allows the development of a form of constructive real analysis using topological rather than ] arguments. | *]<ref></ref>, a programme to re-axiomatise ] ''directly'', instead of using ]. It is formulated in the style of ] and is in principle computable. It is currently able to characterise the ] of (not necessarily Hausdorff) computably based locally compact spaces. It allows the development of a form of constructive real analysis using topological rather than ] arguments. | ||
| *], a recent development of geometric integration theory which incorporates ] and allows the resulting calculus to be applied to continuous domains without local Euclidean structure as well as discrete domains. | *], a recent development of geometric integration theory which incorporates ] and allows the resulting calculus to be applied to continuous domains without local Euclidean structure as well as discrete domains. | ||
| Line 18: | Line 18: | ||
| *], which is developed in a smooth topos. | *], which is developed in a smooth topos. | ||
| ==Notes== | |||
| <references/> | |||
| ] | ] | ||
Revision as of 17:35, 3 December 2007
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.
- Constructivist analysis, which is built upon a foundation of constructivist, rather than classical, logic and set theory.
- Intuitionistic analysis, which is developed from constructivist logic like constructivist analysis but also incorporates choice sequences.
- Non-standard analysis, develops rigorous infinitesmals within a new number system along with a transfer principle allowing them to be applied back to the real numbers.
- 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.