簡介
策梅洛定理表示在二人的有限遊戲中,如果雙方皆擁有完全的資訊,並且運氣因素並不牽涉在遊戲中,那先行或後行者當一必有一方有必勝/必不敗的策略。若運用至西洋棋,則策梅洛定理表示"要么黑方有必勝之策略、要么白方有必勝之策略、要么雙方也有必不敗之策略"。
策梅洛的論文於1913年以德文發表,並被UlrichSchwalbe和PaulWalker於1997年譯為英文。
策梅洛定理(英語:Zermelo's theorem),是博弈論的一條定理,以恩斯特·策梅洛命名。
策梅洛定理表示在二人的有限遊戲中,如果雙方皆擁有完全的資訊,並且運氣因素並不牽涉在遊戲中,那先行或後行者當一必有一方有必勝/必不敗的策略。若運用至西洋棋,則策梅洛定理表示"要么黑方有必勝之策略、要么白方有必勝之策略、要么雙方也有必不敗之策略"。
策梅洛的論文於1913年以德文發表,並被UlrichSchwalbe和PaulWalker於1997年譯為英文。
集合論的公理公理 集合論的一個定理。 Zermelo
策梅洛簡介 策梅洛集合論完全性定理(completeness theorem),也稱哥德爾完全性定理,是數理邏輯中重要的定理,是建立之間的對應語義真理和句法可證明在一階邏輯,在...
簡介 定理的陳述 證明 與不完備性定理的關係龐加萊定理,是指關於力學體系運動可逆性(或可復性)的定理。 因由J.-H.龐加萊證明,故名。它指出,力學體系經過足夠長的時間後總可以回復到初始狀態附近。
定理背景 詞語解釋庫爾特·哥德爾在1931年發表了著名的哥德爾不完備定理,他一部分是透過一階算術邏輯的語義表達技巧來完成定理的證明。
歷史 定理的內容 探討良序定理,是一條ZFC公理集合論系統中的定理,聲稱所有集合都可以被良序排序。
簡介 與選擇公理的關係 意義的解釋,得到了一些重要定理。他成功地將古典邏輯的四個簡單命題表達為符號公式...的。在後一論文裡他也講到良序定理的重要性。但對這二者他始終沒有給出證明...一種公理系統,其中的定理都是邏輯規律特別是推理形式。19世紀70年代G.弗...
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案1904年,由恩斯特·策梅洛為證明良序定理而公式化完成。非正式地說,選擇...現在已被大多數數學家毫無保留地使用著,例如帶有選擇公理的策梅洛-弗蘭克爾...。2) ZF:策梅洛-弗蘭克爾集合論,不包括選擇公理。3) ZFC:策梅洛...
公理介紹 定義 簡單描述 變體 相關術語,其中有本質上是貝爾奈斯1961年給出的BC系統。 策梅洛-弗倫克爾公理系統 在1908年策梅洛系統的基礎上,經A.T.斯科朗、A.A.弗...的格式,因此,稱它們為公理模式。(見選擇公理) 在策梅洛1908年...
集合論公理系統 正文 配圖 相關連線