From e3c7e783ea5ca6f66e420566bde6616fd8c39860 Mon Sep 17 00:00:00 2001 From: jsboige Date: Sun, 13 Sep 2026 13:51:27 +0200 Subject: [PATCH] =?UTF-8?q?docs(gametheory,#15949):=20Stearns=20tribute=20?= =?UTF-8?q?=E2=80=94=20series-README=20encarts=20(complement=20to=20#15963?= =?UTF-8?q?)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit See #15949 (volet 2/3, complément) — companion to #15963 which carries the notebook encarts (Py+C# twins) and repeated_games_lean/README.md (FR). - SocialChoice/README.md: FR encart before "## Notebooks" — Stearns' first paper (Carleton College senior) was on Arrow's paradox (Am. Math. Monthly 1959); Turing 1993 with Hartmanis; died 29/08/2026 Ann Arbor. Cross-ref to SC-01 notebook encart and #15949. - repeated_games_lean/README.en.md: EN mirror after "Formal companion" — Stearns at ACDA on repeated games with incomplete information, chapter of Aumann & Maschler (MIT Press 1995), "semi-author", Lanchester Prize story. Sources: CACM In Memoriam (Spafford & Garfinkel 03/09/2026); Computational Complexity blog (Gasarch 04/09/2026); twice-verified issue body #15949. Replaces PR 15968 (volet 2 complet, retirée comme doublon de #15963) et PR 15969 (même diff, message de commit portant le bigramme interdit par l'organe close_keyword #10101 — re-livrée ici sans réécriture d'historique). Co-Authored-By: Claude Sonnet 5 --- MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md | 11 +++++++++++ .../GameTheory/repeated_games_lean/README.en.md | 11 +++++++++++ 2 files changed, 22 insertions(+) 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).