diff --git a/MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md b/MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md index c054da5a85..da52920f8b 100644 --- a/MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md +++ b/MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md @@ -13,6 +13,17 @@ Cette sous-série du parcours [GameTheory](../README.md) explore ces résultats **À qui s'adresse cette série** : étudiants en économie, informatique, sciences politiques et mathématiques appliquées. Les notebooks 01 et 03 ne nécessitent que Python (numpy, matplotlib). Les notebooks 02 (Lean) et 04 (SAT/Z3) requièrent des installations supplémentaires décrites dans le [README parent](../README.md). Aucun prérequis en théorie du choix social : les concepts sont introduits progressivement. +> **Hommage — Richard E. Stearns (1936-2026).** Le tout premier article publié par Richard E. +> Stearns — alors étudiant à Carleton College — portait sur le **paradoxe d'Arrow** (*The American +> Mathematical Monthly*, 1959). Stearns est devenu co-fondateur de la théorie de la complexité +> computationnelle (prix Turing 1993, avec Juris Hartmanis, pour leur papier fondateur de 1965) ; +> il s'est éteint le 29 août 2026 à Ann Arbor (Michigan), à 90 ans. La série SocialChoice garde de +> ce lien une continuité rare : l'impossibilité d'agrégation parfaite (Arrow) et la complexité +> computationnelle comme mesure de la difficulté sont les deux faces d'une même question. Détails +> et résonances dans l'hommage [#15949](https://github.com/jsboige/CoursIA/issues/15949) ; un +> encart hommage figure également dans +> [SC-01](01-Arrow-Impossibility-Theorem.ipynb). + ## Notebooks | # | Notebook | Titre | Durée | Status | diff --git a/MyIA.AI.Notebooks/GameTheory/repeated_games_lean/README.en.md b/MyIA.AI.Notebooks/GameTheory/repeated_games_lean/README.en.md index aeab2131e6..7dfb85be68 100644 --- a/MyIA.AI.Notebooks/GameTheory/repeated_games_lean/README.en.md +++ b/MyIA.AI.Notebooks/GameTheory/repeated_games_lean/README.en.md @@ -18,6 +18,17 @@ > **Formal companion** of the pedagogical notebook [GameTheory-6c](../GameTheory-06c-RepeatedGames-FolkTheorem.ipynb) (`Repeated Games` — Iterated prisoner's dilemma). The active sources live in [`game_theory_lean/RepeatedGames/`](../game_theory_lean/RepeatedGames/). +> **Tribute — Richard E. Stearns (1936-2026), "semi-author".** The work Richard E. Stearns carried +> out at the *Arms Control and Disarmament Agency* on **repeated games with incomplete +> information** — game theory applied to arms control — became a chapter of the Aumann & Maschler +> book, *Repeated Games with Incomplete Information* (MIT Press, 1995), whose title page reads +> *"with the collaboration of Richard E. Stearns"*. He described himself as a "semi-author" of +> that Lanchester Prize-winning book and liked to tell *"the story of how I almost won the +> Lanchester Prize"*. Stearns (1936-2026, Turing Award 1993 with Juris Hartmanis for the founding +> paper of computational complexity theory) passed away on 29 August 2026 in Ann Arbor. His first +> publication was on Arrow's paradox — see [`SocialChoice/`](../SocialChoice/README.md). Full +> tribute: [#15949](https://github.com/jsboige/CoursIA/issues/15949) (part 2/3). + ## Headline theorem **Grim trigger sustains cooperation iff δ ≥ (T − R) / (T − P)** (one-shot deviation principle).