Discussion:Langage formel mathématique

Dernier commentaire : il y a 17 ans par PieRRoMaN dans le sujet transformation du redirect en ébauche, du 22/05/07
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Si ,

alors ,

et .

Nous pouvons donc écrire que le symbole est à peu près à la conjonction et le symbole à la disjonction ce que le symbole est à l'addition.


J'ai remplacé le par un parce que je rencontre généralement ce dernier dans la littérature... --Zappy 25 oct 2004 à 23:40 (CEST)

Pourquoi l'avoir mis dans la catégorie "Informatique théorique"? Fafnir 7 fev 2005 à 01:31 (CET)

a compléter

modifier
    <User:STyx wikipédien
  • une page "jargon de la mathématique" serait aussi souhaitable : ssi, trivial, Id., déduit, induit, ..


--Orn 5 mars 2006 à 19:54 (CET) : J'ai reclassé les symboles car à terme, cette liste risque d'être longue.Répondre

Doublon

modifier

N'y-a-t-il pas doublon avec la page Notation (mathématiques)? Valvino 22 novembre 2006 à 22:17 (CET)Répondre

Il me semble aussi. L'article présent ne s'occupe en fait que de notations (pas de grammaire, heureusement d'ailleurs), donc le titre n'est pas très adapté. Fusion ? Les deux articles sont incomplets, l'article Notation (mathématiques) semble plus clair sur ce qui est traité en commun. "Somme" et "Produit", sont traités ici mais pas dans l'autre article (le paragraphe "grand symbole", me semble donner une approche syntaxique trop biaisée par l'informatique). Proz 3 janvier 2007 à 12:35 (CET)Répondre

transformation du redirect en ébauche, du 22/05/07

modifier

Je ne crois pas qu'il existe un "un" langage formel mathématique. Bien-sûr il y a des aspects très formels en mathématiques, des notations et même plus que des notations, avec des aspects particuliers à chaque domaine, et un fond commun. Mais je ne suis pas sûr qu'un article intitulé "langage formel mathématique" ait un sens. Pour moi, la redirection sur Notation (mathématiques) était assez juste. Par ailleurs la formalisation des mathématiques est un sujet très intéressant, et toujours d'actualité, avec par exemple les assistants de preuve, pour le moment tous n'utilisent pas le même langage (quel que soit le sens de ce mot).

L'interwiki qui vient d'être placé, en:Mathematics as a language, me semble parler d'autre chose, qui est de discuter si les mathématiques sont un langage, je ne crois pas qu'il mérite une traduction, en tout cas pas sous ce nom. Proz 22 mai 2007 à 19:22 (CEST)Répondre

OK, merci pour l'info, je remets le redirect alors. PieRRoMaN 23 mai 2007 à 01:16 (CEST)Répondre
Revenir à la page « Langage formel mathématique ».