News for hackers. Stuff that matters.
Re:Dedekind's Subtle Knife by creata on Tuesday February 18, 2025 @12:10AM (#43086265)
> I don't know of a way to prove equipotence except by creating a 1-1 relationship between the sets in question.

The usual definition of two sets having the same size (cardinality) is that they are in bijection. So ultimately, any proof that |A| = |B| will reduce to a "creating a 1-1 relationship between the sets in question", or at least showing that one exists.

Re:Dedekind's Subtle Knife by andrewflnr on Tuesday February 18, 2025 @11:43AM (#43091856)
Ok cool, I didn't remember that was the actual definition.