News for hackers. Stuff that matters.

A comment on A Bad Trip to Infinity. Parent comment

Re:A Bad Trip to Infinity by sorokod on Saturday March 25, 2023 @05:11PM (#35307406)
The "therefore" is not quite right.

You have shown that that the original assumption leads to a contradiction and so doesn't hold.

[ Parent | on HN ]
Re:A Bad Trip to Infinity by hgsgm on Saturday March 25, 2023 @05:51PM (#35307815)
That's incorrect. The assumption was that there was a 1:1 (injective) mapping, and the proof was that it (regardless of it's exact value) wasn't onto (surjective) and so isn't bijective.
[ Parent | on HN ]
Re:A Bad Trip to Infinity by sorokod on Saturday March 25, 2023 @06:06PM (#35307945)
True when replacing "1 to 1 mapping" with "1:1 injective mapping"
[ Parent | on HN ]