Computer Things

Subscribe
Archives
  Back to the email
Yair Halberstadt
Jul. 3, 2025, morning

Interesting article!

Minor nitpick: the reason sets can't contain themselves isn't to avoid paradoxes - the moment you discard the unrestricted comprehension principle (namely that any predicate defines a set) you avoid Russell's paradox.

The reason sets don't contain themselves is that set theory is equally powerful without that (since it can represent recursive sets as graphs), but it makes a lot of the maths simpler.

Reply Report
Powered by Buttondown, the easiest way to start and grow your newsletter.