Socrate est humain. Tous les humains sont mortels. Donc Socrate est mortel. Logique? Non, bon sens n’est pas logique.  L’évidence n’est pas plus une preuve en logique qu’elle n’en est une en droit ; il nous faut une règle. Voire plusieurs. Dans le cas de Socrate, on pourra faire appel à la règle d’élimination du quantificateur universel et au modus ponens avant de conclure que Socrate est mortel et qu’il peut donc en toute légalité prendre sa ciguë comme l’en ont aimablement prié les autorités. Tout ça pour ça me direz-vous. Sans doute. Mais ce formalisme, ce rigorisme, ce sens du détail, sont tout ce qui sépare les maths d’un vague agrégat de croyances et de raisonnements approximatifs. (Lire l’article)

L’intelligence artificielle est partout ces temps-ci. Selon qui vous en parle, elle va révolutionner notre vie, nous piquer nos jobs, gouverner le monde à notre place, nous rendre surhumains ou obsolètes, assurer la sécurité de nos routes, mettre fin à nos libertés, nous faire rois ou esclaves, inventer son propre successeur (et le nôtre) dans une singularité récursive infinie… la boîte de Pandore est ouverte – mais que contient-elle de fantasmes, de mythes anciens modernisés, de réalité exaltante ou effrayante ?