6 de octubre de 2017

1 message - Retourner à l'article

Un langage nécessaire pour raisonner et prouver en mathématiques

Tribune
L’expression de la pensée mathématique nécessite un langage spécifique: des mots précis sont indispensables pour désigner et définir les concepts.
Le 6 de octubre de 2017, par Denise Grenier - 1 commentaire

  • Pour enseigner la logique, ne prenons pas d’exemples dans la vie quotidienne

    le 9 de octubre de 2017 à 12:27, par Frederic Line

    Il s’agit en particulier de « distinguer les principes de la logique mathématique de
    ceux de la logique du langage courant »

    La logique classique ne s’applique qu’aux mathématiques.


    Il faut renoncer dans les cours à donner des exemples pris dans la vie quotidienne même si
    c’est traditionnel depuis Aristote et même si Leibniz ou Lewis Caroll le faisaient. Donc des nombres et
    des points et plus rien qui concerne Socrate ou les parapluies.


    La logique adaptée à la vie quotidienne est plutôt une logique modale, la logique temporelle par exemple,
    et encore ça reste à vérifier.


    Signalons sur ce sujet l’opinion de M. René Cori (voir les commentaires de l’article).

    http://images.math.cnrs.fr/ Ces-fic...


    Notons au passage que la logique applicable aux algorithmes n’est pas non plus la logique classique.


    Bonne chance aux enseignants :)


    — 
    FL

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

La traducción del sitio del francés al castellano se realiza gracias al apoyo de diversas instituciones de matemáticas de América Latina.