В чем заключается парадокс Эренфойхта-Фишера?

Возможно, имелась в виду игра Эренфойхта — Фраиса — техника определения, являются ли две структуры элементарно эквивалентными. ru.ruwiki.ru ru.wikipedia.org

Основная идея игры: есть две структуры и два игрока. ru.ruwiki.ru Один из них хочет показать, что структуры отличны, а другой — что они элементарно эквивалентны (удовлетворяют тем же предложениям первого порядка). ru.ruwiki.ru

Игра ведётся поочерёдно по раундам. ru.ruwiki.ru ru.wikipedia.org Первый игрок (Новатор) выбирает любой элемент из одной из структур, а второй (Консерватор) — из другой. ru.ruwiki.ru ru.wikipedia.org Цель второго игрока — выбрать элемент, который «похож» на элемент, выбранный Новатором. ru.ruwiki.ru ru.wikipedia.org

Второй игрок выигрывает, если существует изоморфизм между выбранными элементами в двух различных структурах. ru.ruwiki.ru ru.wikipedia.org Игра завершается за фиксированное число шагов. ru.ruwiki.ru ru.wikipedia.org

Основное приложение игр Эренфойхта — Фраиса — доказательство невозможности выразить определённые свойства в логике первого порядка. ru.ruwiki.ru ru.wikipedia.org

Пользователь

Время добавления