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
modifieret 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)
- 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)
- C'est ma source qui utilise le mot "terme" en ce sens. Terme d'une suite. --Michel421 (d) 10 mars 2009 à 00:01 (CET)
- 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)