ouf, cqfd, petit carré, etc.
 
[Most Recent Entries] [Calendar View] [Friends View]

Wednesday, October 7th, 2015

    Time Event
    12:15p
    I have no choice
    на остановке, ожидая автобуса до гиват рама, встретил асафа.
    асаф тощ, длинноволос, кучеряв, обладает библейским лицом,
    обедает пивом "голдстар". его прадед был главным раввином багдада.

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

    я давно говорю, люди, которые сейчас занимаются теорией множеств, в иные
    времена были бы мистиками.

    << Previous Day 2015/10/07
    [Calendar]
    Next Day >>

fif   About LJ.Rossia.org