Faire des maths sans aucun symbole n'est pas efficace, mais d'expérience certains finissent par ne plus utiliser que des symboles comme si c'était leur brouillon, et ça devient difficile (voire impossible) de savoir où ils veulent en venir avec leur démonstration, parce qu'il manque le raisonnement. Je pense que le langage naturel est souvent le plus approprié pour donner les étapes d'une démonstration en maths par exemple. Les symboles ne sont que des raccourcis en général, un peu comme en informatique lorsqu'on définit un type complexe, ou une fonction, et on utilise des symboles spéciaux parce que c'est plus court à écrire et ça se distingue bien du texte. C'est nécessaire, mais pas suffisant.
J'ai toujours eu l'impression que niveau langage, les notations mathématiques sont plus rudimentaires que les langages informatiques, et ne permettent pas de structurer vraiment un raisonnement (on a bien coq mais c'est loin d'être aussi facile à écrire n'importe quoi).
L'article de Graham parle des macros, ben ce serait quelque chose d'applicable peut être pour le langage mathématique aussi. Après il parle bien d'être succinct mais il précise qu'il ne parle pas de lignes de code ou de caractères, mais plutôt d'« éléments », donc il s'agit d'utiliser des macros, mais pas forcément nommées par des symboles (en pratique ça se justifie d'un point de vu espace, mais parfois un excès de notations d'un caractère peut être difficile à suivre : c'est comme en informatique où un nom de fonction parlant c'est utile). Ça me rappelle un peu le langage J : certains trouvent ça très expressif, mais franchement, le quicksort comme ça
c'est juste trop compact, tant que le vocabulaire est réduit ça peut aller, mais de façon généralisée c'est trop abstrait : en maths on donne des noms aux objets qui font parti de notre monde : espace, groupe, anneau, etc... et c'est pour aider la mémoire. Les notations c'est surtout utilisé pour les « variables » locales, dont on n'a pas à chercher très loin la définition.
[^] # Re: retour à l'école
Posté par anaseto . En réponse au journal L'éducation nationale publie des polices de caractères cursive libres... de diffusion. Évalué à -1. Dernière modification le 22 juillet 2013 à 12:16.
Faire des maths sans aucun symbole n'est pas efficace, mais d'expérience certains finissent par ne plus utiliser que des symboles comme si c'était leur brouillon, et ça devient difficile (voire impossible) de savoir où ils veulent en venir avec leur démonstration, parce qu'il manque le raisonnement. Je pense que le langage naturel est souvent le plus approprié pour donner les étapes d'une démonstration en maths par exemple. Les symboles ne sont que des raccourcis en général, un peu comme en informatique lorsqu'on définit un type complexe, ou une fonction, et on utilise des symboles spéciaux parce que c'est plus court à écrire et ça se distingue bien du texte. C'est nécessaire, mais pas suffisant.
J'ai toujours eu l'impression que niveau langage, les notations mathématiques sont plus rudimentaires que les langages informatiques, et ne permettent pas de structurer vraiment un raisonnement (on a bien coq mais c'est loin d'être aussi facile à écrire n'importe quoi).
L'article de Graham parle des macros, ben ce serait quelque chose d'applicable peut être pour le langage mathématique aussi. Après il parle bien d'être succinct mais il précise qu'il ne parle pas de lignes de code ou de caractères, mais plutôt d'« éléments », donc il s'agit d'utiliser des macros, mais pas forcément nommées par des symboles (en pratique ça se justifie d'un point de vu espace, mais parfois un excès de notations d'un caractère peut être difficile à suivre : c'est comme en informatique où un nom de fonction parlant c'est utile). Ça me rappelle un peu le langage J : certains trouvent ça très expressif, mais franchement, le quicksort comme ça
c'est juste trop compact, tant que le vocabulaire est réduit ça peut aller, mais de façon généralisée c'est trop abstrait : en maths on donne des noms aux objets qui font parti de notre monde : espace, groupe, anneau, etc... et c'est pour aider la mémoire. Les notations c'est surtout utilisé pour les « variables » locales, dont on n'a pas à chercher très loin la définition.