Chasse à la citation

L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?

Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !

Sur la page Constructivisme (mathématiques) :

"

L'intuitionnisme de Brouwer peut être considéré comme l'une des formes du constructivisme en mathématiques qu'il a d'ailleurs inspiré, mais il y tient une place assez particulière. En général, les résultats des mathématiques constructives, celles de Bishop par exemple, sont valides du point de vue des mathématiques classiques, mais Brouwer a proposé pour les mathématiques intuitionnistes, des principes qui contredisent ces dernières, à propos du continu (la droite réelle) en particulier. Ces principes ont par exemple pour conséquence que toute fonction totale des réels dans les réels est continue[réf. souhaitée]. Par contre si l'on reste sur le plan purement logique, la logique intuitionniste ne démontre que des résultats valides en logique classique.