This diagonal method is also how you can prove the halting problem is unsolvable.