Non-classical analysis: Difference between revisions

Revision as of 20:26, 10 November 2011

Revision as of 10:19, 11 November 2011

Line 7:

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

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