[Zut, le mot « théorie » dans le titre est une coquille pour « théorique ».]
Dans ce billet de blog, je parle du théorème de Gödel, donc pas vraiment dans le sujet des logiciels libres, mais comme j'ai aussi essayé d'expliquer ce qu'est l'informatique théorique en tant que science, je me suis dit que ça pouvait intéresser ceux qui se demandent ce que peuvent bien faire les universitaires dans les départements d'informatique.
# Mi-HS
Posté par jeanas (site web personnel, Mastodon) . En réponse au lien Vulgarisation sur l'informatique théorique et le théorème d'incomplétude de Gödel. Évalué à 3.
[Zut, le mot « théorie » dans le titre est une coquille pour « théorique ».]
Dans ce billet de blog, je parle du théorème de Gödel, donc pas vraiment dans le sujet des logiciels libres, mais comme j'ai aussi essayé d'expliquer ce qu'est l'informatique théorique en tant que science, je me suis dit que ça pouvait intéresser ceux qui se demandent ce que peuvent bien faire les universitaires dans les départements d'informatique.