non classical analysis
DESCRIPTION
1. From Wikipedia, the free encyclopedia2. Lexicographical orderTRANSCRIPT
Non-classical analysisFrom Wikipedia, the free encyclopediaIn 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 thecategory of (not necessarily Hausdor) computably based locally compact spaces. It allows the developmentof a form of constructive real analysis using topological rather than metrical arguments.Chainlet geometry, a recent development of geometric integration theory which incorporates innitesimals andallows the resulting calculus to be applied to continuous domains without local Euclidean structure as well asdiscrete domains.Constructive analysis, which is built upon a foundation of constructive, rather than classical, logic and settheory.Intuitionistic analysis, which is developed fromconstructive logic like constructive analysis but also incorporateschoice sequences.p-adic analysis.Paraconsistent analysis, which is built upon a foundation of paraconsistent, rather than classical, logic and settheory.Smooth innitesimal 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).1 References[1] Paul Taylors site. Paultaylor.eu. Retrieved 2013-09-23.12 2 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES2 Text and image sources, contributors, and licenses2.1 Text Non-classicalanalysis Source: https://en.wikipedia.org/wiki/Non-classical_analysis?oldid=575759360 Contributors: Michael Hardy,Charles Matthews, Jitse Niesen, Giftlite, BiH, Pokipsy76, Mets501, Abt 12, Thenub314, David Eppstein, JohnBlackburne, CBM2, PaulTaylor, Smithpith, Hans Adler, Dawynn, Unzerlegbarkeit, Yobot, Obscuranym, FrescoBot, Tkuvho, Checkingfax, Brad7777 and Anony-mous: 22.2 Images File:Lebesgue_Icon.svgSource: https://upload.wikimedia.org/wikipedia/commons/c/c9/Lebesgue_Icon.svgLicense: Public domainContributors: w:Image:Lebesgue_Icon.svg Original artist: w:User:James pic2.3 Content license Creative Commons Attribution-Share Alike 3.0