Poster un nouveau message
En réponse à :
Programmer en OCaml avec ChatGPT
par
Laurent Bloch
le mercredi 5 avril 2023
le mercredi 5 avril 2023
Déclaration d’indépendance de l’informatique
Cette année je suis le cours de Xavier Leroy au Collège de France, consacré aux Structures de données persistantes. Ce cours me plaît parce qu’il montre que l’on peut exposer des raisonnements rigoureux sous une forme typiquement informatique, contrairement à l’idée que la rigueur d’un développement informatique ne pourrait être exposée que dans un langage mathématique. Cette déclaration d’indépendance de l’informatique me tient à cœur.
Suivre (…)