Вот короткий и простой пример: эксцентричный тюремщик. Каждую ночь он дожидается, пока все заключенные крепко заснут, а затем отпирает все двери и надолго оставляет их открытыми. Вопрос: свободны ли заключенные? Есть ли у них возможность уйти?
О проекте
О подписке