/sci/ - Science & Math

>>15168224
I'm surprised you didn't know the theorem.
You can also check Wikipedia, I think it gives some combinatorical insight. iirc there's nice generatingfunction proofs.

Also works with Gamma functions - might come in handy

>>15168166
Actually this made me think again. If we assume Cantor-Bernstein (which is non-constructive, but okay), then CH can be stated very positively as

[math]\forall X.\ \left( r(A, X)\land r(X, B)\right)\to \left(r(X, A)\lor r(B, X)\right)[/math]

where r(U,V) is the relation that that U injects into V and A=N, B=R.
This sort of \land to \lor properties might have a name, but I don't see it atm.