В теореме Соловея функция, для того чтобы принять следующее значение, должна доказать, что не останется в этом значении бесконечно долго, точно так же, как это почти всегда должны доказывать ИКСЫ. Согласно русской Википедии, ИКСАМИ не могут быть признаны лица, совершившие тяжкие преступления неполитического характера. Какое слово мы заменили на ИКС?


Беженец.



Комментарии: Функция-беженец должна доказать, что не останется в следующей "стране" (значении) навсегда, так же как иностранец, обращающийся за неиммиграционной визой цивилизованного государства, должен обосновать отсутствие намерения остаться в ней навсегда. z-checkdb: В большинстве случаев беженцам нужна либо иммиграционная виза, либо статус, который запрещает высылать их обратно. Т.е. неверно, что они почти всегда должны доказывать, что не останутся в данной стране, это скорее должны доказывать обычные туристы (Антон Губанов).
Редактор благодарит за тестирование и ценные замечания Андрея Волыхова, Ореста Петросянца и команду "Крылья". Отдельная благодарность Антону Пинчуку.

Автор: Степан Кузнецов (Москва)

Источник: 1. S.N. Artemov, L.D. Beklemishev. Provability Logic, в книге D. Gabbay, F. Guenthner (eds). Handbook of Philosophical Logic, vol. 13, p. 223. 2. http://ru.wikipedia.org/wiki/Беженцы

Чемпионат: Чемпионат Зеленограда - 2012/13

Тур: 2 тур. "Концептуальный респект"

Номер: Вопрос 7


Показать как json