Non-classical analysis: Difference between revisions

Revision as of 05:17, 24 April 2011

Revision as of 07:58, 29 April 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-Newtonian calculus]], which is alleged to be an alternative to the classical calculus of Newton and Leibniz.

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