Non-classical analysis: Difference between revisions

Revision as of 17:35, 3 December 2007

Revision as of 03:07, 26 June 2008

Line 9:

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

*[[Intuitionistic analysis]], which is developed from constructivist logic like constructivist analysis but also incorporates [[choice sequencessequence]]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.