Il y a quelques années la NASA a publié une petite étude basée sur un modèle de civilisation simplifié. Le modèle s’appelle Handy. Ils ont observé des effondrements civilisationnels. En faisant varier les paramètres, on obtient différents effondrements. Quelques paramètres très bien ajustés peuvent donner une civilisation stable. Mais le plus souvent elle s’effondre. Ce modèle simpliste, dit la publication, est en accord avec des données historiques : l’empire romain, la civilisation mycénienne, sumérienne, mésopotamienne, l’empire khmer, les Hans, les Mayas, etc. Tous ces empires se sont effondrés. L’étude explique que la stratification en classes sociales est un élément clé des effondrements. (Lire l’article)

Si vous êtes comme moi, voici un jeu auquel vous n’avez guère joué depuis vos (très) jeunes années : le papier enveloppe la pierre ; la pierre casse les ciseaux ; les ciseaux coupent le papier. Je me suis amusé, il y a de nombreuses années de cela, à coder un programme d’ordinateur jouant à pierre-papier-ciseaux contre un humain. Sans tricher, ce programme en vint rapidement à battre son adversaire humain dans 70% des parties. Un programme fort simple, gagnant de manière statistiquement très significative contre son concepteur ! (Lire l’article)

Les vacances d’été sont enfin là, et vous vous prépariez à partir les passer tranquillement au soleil entre plage et terrasse, mais patatras : votre vol low cost est annulé au dernier moment. Bien entendu tous les autres vols sont pleins, votre hôtel réservé six mois à l’avance ne veut rien savoir pour rembourser vos arrhes, vos destinations touristiques favorites sont archi-complètes, vos possibilités de repli sont maigres et votre moral au plus bas. C’est alors que vous découvrez… (Lire l’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)