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[modifier | modifier le code]
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