7
Welche interessanten Sätze in TCS stützen sich auf das Axiom of Choice? (Oder alternativ das Axiom of Determinacy?)
Mathematiker sorgen sich manchmal um das Axiom of Choice (AC) und das Axiom of Determinancy (AD). Axiom of Choice : Bei einer gegebenen Sammlung nicht leerer Mengen gibt es eine Funktion f , die bei gegebener Menge S in C ein Mitglied von S zurückgibt .CC{\cal C}fffSSSCC{\cal C}SSS Axiom of …