Utilisateur:Lehalle/Décompressions mathématiques/Les langages et les mathématiques

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Les langages et les mathématiques

Hilbert, espoir -> gödel, ambiguïté du langage naturel / sensibilité au contexte, informatique théorique, systèmes ouvert, tout ce qui se dit n'est pas toujours consistant, preuves automatiques, interprétation du langage