Discuter:Langage formel

Un article de Wikipédia, l'encyclopédie libre.

[modifier] Théorie des languages

Comme le dit (à mon avis très justement) MM dans la page de discussion de Théorie des langages, n'y aurait-il pas risque de doublons à terme ? De mon point de vue, il faudrait peut-être rediriger Théorie des langages sur Langage formel et transformer le chapitre "Les langages formels, objet d'étude" en "Théorie des langages". Ou bien peut-être le mieux serait de déplacer le contenu du chapitre "Les langages formels, objet d'étude" vers l'article Théorie des langages ? j'attends des avis pour action ... Boly 5 jan 2005 à 23:59 (CET)

C'est moi qui suis à l'origine de cette page. J'avais d'abord pensé aux langages formels en tant qu'objets d'étude de la théorie des langages (traduction améliorée de en), puis ensuite seulement j'ai voulu élargir. Donc, pour ces raisons historiques, ça me ferait bizarre de déplacer la partie étude des langages dans un autre article ... mais au fond je ne sais pas qu'elle est la meilleure solution. Notons qu'il existe aussi un autre doublon potentiel, à savoir Langage formel mathématique. Ce serait à prendre en compte pour une éventuellem réorganisation. --Aldoo / ✉ 6 jan 2005 à 12:17 (CET)

Intéressant. Dommage de ne pas avoir parlé de Gottlob Frege et de son "Idéographie", un des travaux fondateurs, me semble-t-il, de la démarche de formalisation des maths au début du siècle. CB

Je dois dire que ce qui est sur la page anglaise correspond plus à ce que je m'attendais à trouver sous un tel titre. Par ailleurs, le théorème de Gödel ne dit pas que l'on ne peut "unifier les mathématiques grâce à une axiomatisation générale et à l'usage d'un langage formel commun", et la position de Hilbert mise à mal par le théorème de Gödel n'est pas celle décrite dans l'article. Mais toute cette partie n'est-elle pas hors sujet ? Proz 3 janvier 2007 à 13:02 (CET)