2 ms·
Despite several negative comments, I thought the author did a great job of explaining and playing with set theory (which, as can be seen by the response, is goo
by some-unique-x 2y ago
Despite several negative comments, I thought the author did a great job of explaining and playing with set theory (which, as can be seen by the response, is good fun.)
I do take some issue with intepreting set theory's membership relation in terms of the tree child relation, though.
First, the child relation is presumably transitive, whilst set membership is not. (The subset relation is transitive. Presumably it is 'direct child' relation we have in mind here.)
Second, as seen in the third diagram, nodes don't map well to set entities, because the same entity can be a member of distinct sets, but these would count as distinct nodes on some trees. E.g., in the diagram both leaf nodes are distinct, but they both represent the empty set, and hence should be identical. So the identity of sets is not preserved in the tree encoding.
But this is picky — a lovely read. Thanks author!
- openquery 2y agoThanks for the feedback. Honestly sets as trees isn't original. While I was learning about ZFC I came across some lectures[0] by Richard Borcherds which was the seed of insipiration for this project. [0] https://youtu.be/oWN13ktp8gg?t=1154 https://youtu.be/oWN13ktp8gg?t=1154
- nthingtohide 2y agoHACKENBUSH: a window to a new world of math https://www.youtube.com/watch?v=ZYj4NkeGPdM https://www.youtube.com/watch?v=ZYj4NkeGPdM Thanks for the blogpost, I think you will like this above SOME3 entry. Owen Maitzen committed suicide which is mentioned in the following video. The Endless Universe of "Bean and Nothingness" https://www.youtube.com/watch?v=bRIXgb4UgmY https://www.youtube.com/watch?v=bRIXgb4UgmY