第 4 章　馮·紐曼、波蘭數學家與排序、博弈演算法的創世紀#

4.2 馮·紐曼與摩根斯坦創立賽局理論：用數學模擬人類在經濟與戰爭中的理性決策#

4.2.1 1928 年的極小化極大定理#

馮·紐曼 1928 年論文《Zur Theorie der Gesellschaftsspiele》證明二人零和有限賽局的極小化極大定理：

——理性的雙方各自保守化，均衡值唯一存在。這把「策略」變成數學對象；證明工具是他在算子理論上的硬功夫。他自述動機部分來自撲克牌局：虛張聲勢（bluffing）需要數學解釋。

4.2.2 1944 年《賽局理論與經濟行為》#

與經濟學家 Oskar Morgenstern 合著的巨著把賽局理論推向社會科學：合作賽局、特徵函數、穩定集；書中對「二人心臟驛馬」與經濟均衡的分析，使經濟學獲得第一套「策略互動」的形式語言。諾貝爾經濟學獎自 1994 年起連續多年授予賽局理論家（Nash、Harsanyi、Selten；2005 Schelling、Aumann；2007 mechanism design；2012 Roth、Shapley；2014 Tirole 等）——該書是這條榮譽線的源頭。

4.2.3 納什均衡與冷戰#

• 納什（John Nash, 1950 普林斯頓博士論文，馮·紐曼之子輩學術圈）證明任意有限賽局存在混合策略均衡（不動點定理）——非零和世界也有穩定點；
• 1950 馮·紐曼主持的蘭德公司把賽局理論用於核威懾分析（Schelling 的「衝突的戰略」1960 是其延伸）——「相互確保毀滅」的邏輯框架有賴此數學；
• 同時期，賽局樹搜索成為計算機下棋演算法的骨架（Shannon 1950 棋類程式論文、Deep Blue 1997）——博弈與演算法在「搜索」上匯流。

4.2.4 前因後果#

• 前因：馮·紐曼的極大極小證明＋經濟學的均衡思想＋冷戰對理性決策的國家需求。
• 事件：1928 定理、1944 巨著、1950 納什論文。
• 後果：策略互動成為經濟學、政治學、演化生物學的通用語言；共識演算法（8.3）與拍賣／機制設計（網際網路廣告）皆為其直系後裔。

下一節：4.3 Dijkstra