Live data from Hacker News

Viewing profile — Shaniqua

Shaniqua

HN member
Joined
Tue, Jul 07, 2015, 3:27 AM UTC
HN karma
4
Public activity
9 items

About Shaniqua

No profile information was provided.

Recent public activity

  1. comment
    Comment #9989164

    It reads like Chekhov's short stories: kind of dreamy and full of epiphanies.

  2. comment
    Comment #9988331

    >’” The more savvy folks around them think, that’s good, because this isn’t a ‘game’ you can ‘play.’ " Politics strikes me as something very atavistic. I avoid people who play poli…

  3. comment
    Comment #9983509

    You can fix the Russel's Paradox in ZF as well.

  4. comment
    Comment #9983218

    You can call U anything you want. It's by axiom schema of specification: for any set A, there some set B with a set C in B iff C in A.

  5. comment
    Comment #9982926

    By the way, I forgot to ask do you object to my post about "killing" the Russel set because you don't accept the existence of universal set or because you don't understand how {x i…

  6. comment
    Comment #9982721

    Well, it's not that difficult to fix it in ZF. If you define S to be S = {x in U: x not in x}, then it simply means S is not in U.

  7. comment
    Comment #9982465

    It's no big deal if you don't admit universal set or anything other than ZFC.

  8. comment
    Comment #9982157

    But Russel's Paradox is easy to fix. Let x be a set. Then, V = {x| x not in x} is the set that causes Russel's Paradox. We can easily define a new set S = {x| p(x) and x in U} wher…

  9. comment
    Comment #9843529

    I am new to programming. So far I dabbled a bit in Scheme, Python, Smalltalk(Pharo). I quickly realized I don't care for Python, but Scheme is an awesome language(it's like doing A…