Si l’une ou l’autre des petites énigmes posées il y a deux semaines vous ont laissée perplexe, vous trouverez ici de quoi vous rasséréner ; et si vous avez tout bon, vous y trouverez de quoi vous en féliciter et même, pourquoi pas, la motivation d'inventer d’autres énigmes sur le même thème. Pour résoudre ce type d’énigme, le plus simple (sinon le plus élégant) est... de lire cet article.

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)

Hilbert n’avait jamais eu de problème jusque là pour libérer des chambres de l’hôtel Aleph à la demande, en nombre infini même si nécessaire ; et le voilà pourtant coincé sur une affaire qui ne paraît après tout pas plus monstrueusement déraisonnable, au point où nous en sommes, que les autres. Impossible de trouver une chambre pour chaque club de résidents ; on a beau pousser ou tirer : rien à faire, ça ne rentre pas. Que peut-il bien se passer ? Et tout d’abord, est-on bien sûr qu’il y a un problème ? (Lire la suite)