Обсуждение:Аксиома детерминированности
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Эта статья тематически связана с вики-проектом «Логика», цель которого — создание и улучшение статей по темам, связанным с логикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении. |
Выигрывающая стратегия[править код]
Мне кажется или в утверждение
Нетрудно видеть, что если множество A конечное или счётное, то у игрока II есть простая выигрывающая стратегия — на -м ходу выбирать число, не совпадающее с -м элементом -й последовательности множества A («диагональный метод»).
вкралась небольшая ошибка? Эта процедура не мешает конструируемой последовательности совпасть с нечетной последовательностью. Утверждение, впрочем, легко модифицируется, если положить обозначением не номера хода, а номера хода второго игрока. vorontsov.i.e (обс.) 08:52, 26 сентября 2018 (UTC)
- Уточнил фразу согласно книге Кановея, спасибо. LGB (обс.) 12:09, 26 сентября 2018 (UTC)