- Non-classical analysis
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.
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. The term non classical ion was first used by John D. Roberts in 1951… … 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. 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. They are characterised by a number of properties: 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