Discussion:Formule (mathématiques)

Dernier commentaire : il y a 15 ans par Michel421 dans le sujet Ce terme est très général
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Ce terme est très général modifier

et donc sujet à disputes byzantines sur les définitions. J'ose néanmoins espérer que WP pourra développer de façon conséquente ce sujet central dans toutes les sciences déductives. --Michel421 (d) 24 janvier 2009 à 21:47 (CET)Répondre

Peut-être qu'un titre plus précis serait formule (logique mathématique) (ou peut-être formule (logique)). Je signale que formule bien formée (ça à dû se dire, mais ça ne se dit plus trop, les formules que l'on considère sont bien formées) traite exactement du même sujet.
Lecture rapide :
paragraphe définition : ne faut-il pas au moins informellement distinguer une formule et sa notation, parler d'arbre syntaxique dès le début ? Enfin en math on utilise la notation infixe pour des opération (+, ...) relations (< ...), mais pas forcément, parfois des notations postfixées (factorielle) ... Ca manque d'exemples
Propriétés : déjà "terme" n'est pas défini, je suggère "lettre" (terme a un autre sens) et de le définir
Je suis surpris que n'apparaisse pas clairement un théorème de lecture unique.
Le point de vue syntaxique : interrogation sur le titre (avant c'était quoi ?).
Je trouve tout ça très syntaxique, justement mais bon ... Proz (d) 8 mars 2009 à 19:55 (CET)Répondre
C'est ma source qui utilise le mot "terme" en ce sens. Terme d'une suite. --Michel421 (d) 10 mars 2009 à 00:01 (CET)Répondre
J'ai fait apparaître le mot "terme" sous son acception usuelle.
Je continue à penser qu'il n' y a pas lieu ici de revenir à "logique" (surtout pour y mettre des factorielles) - par contre formule bien formée pourrait convenir, les en: disent comme ça et c'est là qu'il y a le plus d'inter-wikis. --Michel421 (d) 10 mars 2009 à 00:47 (CET)Répondre
Revenir à la page « Formule (mathématiques) ».