Intuitionnisme
Résumé
On distinguera dans cet article la logique intuitionniste de l'intuitionnisme philosophique. La première peut se définir par un ensemble restreint de règles qui gouvernent la théorie intuitionniste de la démonstration, le second relève de la subordination systématique de la vérité à l'examen des preuves de celle-ci. Historiquement, celui-ci étant antérieur à celle-la, certains philosophes que l'on peut considérer comme intuitionnistes n'ont pas pu distinguer la logique classique de la logique intuitionniste et n'ont donc pas envisagé les mathématiques du point de vue de la logique intuitionniste.
Origine : Fichiers produits par l'(les) auteur(s)