- 68 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/31(火) 20:55:54.25 ID:zp6RcyFj.net]
- >>46
> 11 ゲーム
決定性公理が、”ゲーム”を使った定義になっていることに、長年不思議に思っていた
今回、下記コンウェイとか、超現実数のゲームとの関連を知って、なにか数学基礎論とゲームに繋がりがあることが、うっすらと理解できた気がするな（＾＾；
（参考）
https://ja.wikipedia.org/wiki/%E6%B1%BA%E5%AE%9A%E6%80%A7%E5%85%AC%E7%90%86
決定性公理
(抜粋)
決定性公理（けっていせいこうり、英: axiom of determinacy）とは、1962年にミシェルスキー（英語版）、ユゴー・スタインハウス（英語版）によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人完全情報ゲームについて（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する。
決定性公理は公理的集合論の選択公理と矛盾する。決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「完全集合性（英語版）を持つ」ことが従う。とくに実数の任意の部分集合が完全集合性を持つことは「実数の部分で非可算なる集合は実数と同じ濃度を持つ」という弱い形の連続体仮説が成り立つことに換言される。
選択公理からは「実数の部分集合でルベーグ可測でないものが存在する」ことが導かれるが、この事実からも決定性公理と選択公理が相容れないことが分かる。
https://ja.wikipedia.org/wiki/%E8%B6%85%E7%8F%BE%E5%AE%9F%E6%95%B0
超現実数
(抜粋)
概念史
Alling (1962) は修正された形のハーン級数を用いて適当な順序数 α に対してそのような順序体を構成し、α をすべての順序数全体の成すクラスを亙って動かすことで、超現実数体に同型な順序体のクラスを与えた。
それとは別の定義および構成法が、ジョン・ホートン・コンウェイにより、囲碁の寄せについての研究から導かれている[2]。
組合せゲーム理論への応用
超現実数はそもそも囲碁の研究に動機づけられたもの[2]であり、定番ゲームと超現実数の間には様々な関連性がある。
つづく
|
 |
