L'arrivée de ChatGPT a tout changé. En réalisant que chacun d'entre nous peut se servir d'un outil d'IA d'une puissance ahurissante, nous sommes saisis d'une forme de panique. Il nous faut comprendre ce qui se joue dans cette période d'effervescence technologique. Dans un essai tonique, la philosophe Apolline Guillot invite à dépasser les fantasmes catastrophistes. L'IA n'est pas omnipotente : elle est par exemple incapable de prendre des risques. Mais quels risques nous fait-elle courir ? Deux penseurs en débattent pied à pied : Miguel Benasayag s'inquiète d'une digitalisation rapide du monde qui abîme nos cerveaux tandis que Gilles Dowek fait confiance à l'être humain pour tirer le meilleur parti d'un outil qu'il a créé.

L'IA est-elle une chance ? méditations sur le risque

Partons à l'assaut du continent ludique des mathématiques ! De nombreux mathématiciens, tels Fermat ou Pascal, ont mis leurs contemporains au défi de résoudre des énigmes dont ils connaissaient la solution...
Ici, six jeux vous sont proposés - jeux du voyageur de commerce, des cavaliers, des labyrinthes, du do et du do dièse, du bonneteau ou du coloriage des cartes -, qui vous invitent à explorer six grandes questions de mathématiques contemporaines.
Alors, qui relève le défi ?

Jeux mathématiques et vice versa (édition 2017)

Très valorisé dans notre monde « raisonnable », le raisonnement n'est pas le seul moyen d'accéder à la vérité. Parfois introduit comme un prolongement du calcul, le raisonnement se révèle à posteriori d une nature très différente : il ne repose pas sur une méthode systématique, ne donne pas toujours une réponse, et sa cohérence ne peut pas être démontrée !Mais comprendre la nature du raisonnement aide-t-il à raisonner ? Selon Gilles Dowek, la réponse est à trouver dans les propriétés mêmes du raisonnement ! La logique, quant à elle est une étape annoncée et nécessaire de la pensée déductive.

La logique

Imaginons un monde dans lequel les enfants rêvent de devenir maçons, les paparazzi traquent les boulangers, les oeuvres d'art usagées traînent dans les décharges, les pneus anciens atteignent des prix exorbitants, les meilleurs collégiens s'orientent vers les lycées techniques et les consommateurs se méfient des produits naturels. Rien dans ce monde ne serait absurde. Et pourtant, ce monde n'est pas le nôtre.
Comparer notre monde à ce monde imaginaire nous renseigne sur nos valeurs : nous pensons tous qu'une oeuvre d'art vaut plus qu'un pneu usagé, ... Nous adhérons, la plupart du temps, à ces valeurs sans y avoir beaucoup pensé. Ce sont, au sens propre, des préjugés.
À l'origine de ce petit livre, j'avais le projet d'essayer de comprendre d'où venaient un certain nombre de préjugés, qui encombrent nos discours sur la science et sur la technique. À ma grande surprise, je me suis parfois aventuré assez loin de mon point de départ... »

Ces préjugés qui nous encombrent

Pour le scientifique, toute rencontre avec le bizarre est une aubaine : elle l'oblige à regarder plus loin, à penser plus haut, à faire preuve d'audace, à dépasser ses idées reçues, à inventer de nouveaux concepts. Mais la science ne fait pas que consommer du bizarre, elle en produit également. Ce livre, intelligent, amusant et profond, qui joue avec les idées comme avec les images, expose un certain nombre de situations bizarres que la science a rencontrées ou produites, tirées de quatre disciplines : les mathématiques, la physique, la cosmologie et la chimie.

Quand la science a dit... c'est bizarre !

La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.

Introduction à la théorie des langages de programmation

Cette Petite Pomme contient une dizaine de jeux mathématiques à pratiquer en solitaire ou en famille, présentés sous la forme d'une question que tout curieux pourrait se poser. De combien de minutes la marée se décale-t-elle chaque jour ? En quoi le carré de l'hypoténuse intervient-il pour fabriquer une orangeade digne de ce nom ? Pythagore peut-il aider un matelot à se repérer en mer ? Si le lecteur est invité à trouver la réponse par lui-même, chaque solution est suivie d'un court développement qui relie chaque question à l'un des grands problèmes mathématiques du passé ou du présent.

Voulez-vous jouer avec les maths ?

Peut-on croire les sondages ? comment interpréter les résultats ? pourquoi n'interroge-t-on que si peu de personnes ? certains sondages sont-ils plus fiables que d'autres ? que peut-on leur faire dire et que ne peut-on pas ? comment choisit-on les personnes interrogées ? peut-on s'apercevoir qu'elles ont menti ou qu'elles se sont trompées ?.

Ses oeuvres

Ses derniers livres