12 février 2016
Deux (deux ?) minutes pour l'hydre de Kirby & Paris
Hey ! Et pourquoi pas une nouvelle vidéo ? On y parlerai des nombres ordinaux et du jeu de l'hydre. Ca serait une bonne occasion de parler d'énoncés indécidables !
Transcriptions + commentaires
En 1982, Laurie Kirby et Jeff Paris réinventent dans leur article “Résultats d’indépendances accessibles pour l’arithmétique de Peano” le mythe de Hercule contre l’hydre de Lerne. Un problème qui fournit pour la première fois un exemple plutôt concret de ce que peut être un problème indécidable. Ça tombe bien, j’ai deux minutes... [Lire la suite]