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]
Posté par El Jj à 16:45 - Commentaires [30] - Permalien [#]
Tags : , , , ,