Analyse Constructive

Une approche de l’analyse réelle et fonctionnelle qui exige que les affirmations d’existence s’accompagnent de constructions ou d’algorithmes explicites, rejetant en général des principes non constructifs comme le principe du tiers exclu illimité ou le choix arbitraire ; l’accent est mis sur le contenu calculable, les modules uniformes (p. ex.