Non-classical analysis: Difference between revisions

Revision as of 07:58, 29 April 2011

Revision as of 17:16, 2 May 2011

Line 8:

*[[Intuitionistic analysis]], which is developed from constructive logic like constructive analysis but also incorporates [[choice sequence]]s.

*[[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.

*[[p-adic analysis]].

*[[Paraconsistent analysis]], which is built upon a foundation of [[paraconsistent logic|paraconsistent]], rather than classical, logic and set theory.

*[[Smooth infinitesimal analysis]], which is developed in a smooth topos.