Utilisateur:Lehalle/Décompressions mathématiques/Les langages et les mathématiques
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
[modifier] 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