決定性公理
1. Axiom of determinacyThe axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962. It refers to certain two-person games of length ω with perfect information. AD states that every such game in which both players choose integers is determined; that is, one of the two players has a winning strategy.
Read “Axiom of determinacy” on English Wikipedia
Read “決定性公理” on Japanese Wikipedia
Read “Axiom of determinacy” on DBpedia
Read “Axiom of determinacy” on English Wikipedia
Read “決定性公理” on Japanese Wikipedia
Read “Axiom of determinacy” on DBpedia
Discussions
Log in to talk about this word.