I have no choice на остановке, ожидая автобуса до гиват рама, встретил асафа.
асаф тощ, длинноволос, кучеряв, обладает библейским лицом,
обедает пивом "голдстар". его прадед был главным раввином багдада.
на
math.se у него репутация в несколько десятков тысяч, потому что
он отвечает на все вопросы по теории множеств. на домашней странице
у него написано "I have no choice". занимается он тем, что выясняет,
какие утверждения невозможно доказать без аксиомы выбора, а какие
можно.
я давно говорю, люди, которые сейчас занимаются теорией множеств, в иные
времена были бы мистиками.