#Revuedepresse
"L’idée que certaines choses comme la vérité mathématique sont communes à toute l’humanité. Nous étions attachés à les voir comme des communs."
Dans un nouvel entretien #BlogBinaire s'est entretenu avec #GillesDowek, chercheur #Inria.
👉https://lemonde.fr/blog/binaire/2024/01/26/luniversalite-de-la-verification-des-demonstrations-mathematiques/
@sergeabiteboul
L’universalité de la vérification des démonstrations mathématiques
Un nouvel « Entretien autour de l’informatique ». Gilles Dowek est chercheur en informatique chez Inria et enseignant à l'ENS de Paris-Saclay. Il est lauréat du Grand prix de philosophie 2007 de l'Académie française pour son ouvrage Les métamorphoses du calcul, une étonnante histoire de mathématiques (éditions Le Pommier) et du Grand prix Inria - … <p class="link-more"><a href="https://www.lemonde.fr/blog/binaire/2024/01/26/luniversalite-de-la-verification-des-demonstrations-mathematiques/" class="more-link">Continuer la lecture<span class="screen-reader-text"> de « L’universalité de la vérification des démonstrations mathématiques »</span></a></p>
#Parolesde
Pour répondre aux défis auxquels font face les #communsnumériques, la doctorante Louise Frion appelle à développer organisations frontières. En quoi consistent elles ?
Éléments de réponse dans ce nouvel entretien avec #BlogBinaire
👉https://cnnumerique.fr/paroles-de/communs-numeriques-explorer-lhypothese-des-organisations-frontieres
@sergeabiteboul
Communs numériques : explorer l’hypothèse des organisations frontières | CNNum | Traducteur et éclaireur des transformations numériques
Dans votre papier de recherche, vous vous inscrivez dans la poursuite du travail réalisé par le groupe de travail sur les communs numériques conduit à l’initiative de la France au cours de la présidence française (
Un article sur les
#REL Ressources Éducatives Libres dans le
#BlogBinaire du Monde, qui pose de bonnes questions (et me donne du boulot pour les 3 prochaines années ;))
https://www.lemonde.fr/blog/binaire/2022/03/18/les-ressources-educatives-libres/
Les ressources éducatives libres
Dans le cadre de la rubrique autour des “communs du numérique”, un entretien avec Colin de la Higuera, professeur d’informatique à l’Université de Nantes, titulaire de la chaire Unesco en ressources éducatives libres et intelligence artificielle, ancien président de la Société Informatique de France. Il nous parle des ressources éducatives libres, des éléments essentiels des … <p class="link-more"><a href="https://www.lemonde.fr/blog/binaire/2022/03/18/les-ressources-educatives-libres/" class="more-link">Continuer la lecture<span class="screen-reader-text"> de « Les ressources éducatives libres »</span></a></p>
Café IA
Conseil national du numérique
Alexis Kauffmann