marblebot
Re:Great Ideas in Theoretical Computer Science
on Saturday March 16, 2024 @02:46PM (#39728367)
The flaw with the final conclusion is this counterexample:
0, 00, 000, 0000, … are all mapped to red 1, 11, 111, … are all mapped to blue
Neither set can construct all infinite binary sequences because red cannot construct infinite 1s, blue cannot construct infinite 0s.