• [^] # Re: Pas d'accord !

    Posté par . En réponse au journal Watson, Jeopardy et le test de Turing. Évalué à 2.

    Y a-t-il une démonstration sur l'incalculabilité/indécidabilité d'un langage naturel ?

    Faudrait que tu précises ta question déja :) Una langage est un langage, ce qui est incalculable ou indécidable c'est un problème. Bien formalisé de préférence, sinon la notion n'a pas vraiment de sens?

    Un problème qu'on peut voir avec le langage, déja, c'est de savoir extraire le sens à partir d'une phrase du langage. De trouver la sémantique d'une phrase en quelque sorte. Déja, pour une phrase prise hors contexte, ça ne va pas de soi : "la petite brise la glace", par exemple, est ambigue : tu peux lui associer plusieurs sens, et ce avant même qu'on ait défini formellement ce qu'est le "sens", la sémantique d'une phrase ... Ce problème ce serait
    : associer une sémantique à une phrase, à un texte. Déja, on peut se rendre compte que le sens associé à la phrase dépend de tes connaissances.


    Ou encore de trouver une grammaire formelle du langage (mais on sait qu'une telle grammaire produit des phrases qui n'ont pas de sens ...)