Non-classical analysis
This article may have been previously nominated for deletion: Wikipedia:Articles for deletion/Non-classical analysis exists. It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. This message has remained in place for seven days, so the article may be deleted without further notice. Find sources: "Non-classical analysis" – news · newspapers · books · scholar · JSTOR Timestamp: 20220109145912 14:59, 9 January 2022 (UTC) Administrators: delete |
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,[1] 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-Newtonian calculus is also a part of classical mathematics.
References
- ^ "Paul Taylor's site". Paultaylor.eu. Retrieved 2013-09-23.