8 mai 2014

5 messages - Retourner à l'article

Voir tous les messages - Retourner à l'article

  • Une petite histoire pas très sérieuse de deux très sérieuses logiques

    le 11 octobre 2015 à 09:15, par FDesnoyer

    La logique intuitionniste n’a quand même un succès que très limité chez les mathématiciens (ce que vous précisez en rappelant qu’elle est la préférée des informaticiens). Je me souviens encore d’un cours de logique fait par l’un des (rares) spécialistes français de logique au cours duquel la logique intuitionniste était jetée aux orties.
    J’avoue que, d’un pur point de vue épistémologique, travailler avec ou sans l’axiome du choix peut se justifier mais sans le Tiers-Exclus ? on tourne vite en rond et on se lance dans ce qu’il est conventionnel d’appeler des « mathématiques de secodne zone », non ? (ce sont des impressions issues de mes lectures, je ne suis pas du tout affirmatif)

    Très bon article dont il ne reste qu’à espérer une suite ne serait-ce que pour la joie de voir des indécidables de l’Arithmétique de Péano et (pourquoi pas ?) de ZFC ?

    Bravo encore

    F.D.

    Répondre à ce message
Pour participer à la discussion merci de vous identifier : Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.