Non-classical analysis

﻿
Non-classical analysis

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.
• 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.

Notes

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha …   Wikipedia

• Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… …   Wikipedia

• Non-classical ion — Non classical ions in organic chemistry are a special type of carbonium ions displaying delocalization of sigma bonds in 3 center 2 electron bonds of bridged systems.[1] The term non classical ion was first used by John D. Roberts in 1951[2][3]… …   Wikipedia

• Criticism of non-standard analysis — Non standard analysis and its offshoot, non standard calculus, have been criticized by several authors. The evaluation of non standard analysis in the literature has varied greatly. Joseph Dauben described it as a scientific revolution, while… …   Wikipedia

• Classical mathematics — In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory.[1] It stands in contrast to other types of mathematics such as constructive …   Wikipedia

• Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… …   Wikipedia

• Non-well-founded set theory — Non well founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well foundedness. In non well founded set theories, the foundation axiom of ZFC is replaced by axioms… …   Wikipedia

• Classical compound — Classical compounds (also known as neoclassical compounds, and combining forms) are compound words composed from Latin or Ancient Greek root words. A large portion of the technical and scientific lexicon of English and other Western European… …   Wikipedia

• analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… …   Universalium

• Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   Wikipedia