{"answer":"Беженец.","author":"Степан Кузнецов (Москва)","batch_info":{"date":"23-Dec-2012 - 31-Mar-2013","description":"Чемпионат Зеленограда - 2012/13","filename":"zel1213.json"},"comment":"Функция-беженец должна доказать, что не останется в следующей \"стране\"\n(значении) навсегда, так же как иностранец, обращающийся за\nнеиммиграционной визой цивилизованного государства, должен обосновать\nотсутствие намерения остаться в ней навсегда.\nz-checkdb: В большинстве случаев беженцам нужна либо иммиграционная\nвиза, либо статус, который запрещает высылать их обратно. Т.е. неверно,\nчто они почти всегда должны доказывать, что не останутся в данной\nстране, это скорее должны доказывать обычные туристы (Антон Губанов).","comment1":"Редактор благодарит за тестирование и ценные замечания Андрея Волыхова,\nОреста Петросянца и команду \"Крылья\". Отдельная благодарность Антону\nПинчуку.","date":"23-Dec-2012","description":"В теореме Соловея функция, для того чтобы принять следующее значение,\nдолжна доказать, что не останется в этом значении бесконечно долго,\nточно так же, как это почти всегда должны доказывать ИКСЫ. Согласно\nрусской Википедии, ИКСАМИ не могут быть признаны лица, совершившие\nтяжкие преступления неполитического характера. Какое слово мы заменили\nна ИКС?","id":"Вопрос 7","next":260210,"num":327897,"redacted_by":"Роман Царегородцев (Москва)","source":"1. S.N. Artemov, L.D. Beklemishev. Provability Logic, в книге D.\nGabbay, F. Guenthner (eds). Handbook of Philosophical Logic, vol. 13, p.\n223.\n2. http://ru.wikipedia.org/wiki/Беженцы","tour":"2 тур. \"Концептуальный респект\""}