anyways, i've been trying to understand how Cantor's Diagonalisation is used to solve the Halting Problem and from what I understand...
we design the Decider - TM, say D, so that it works by not doing f_n(n) i.e. by going into an infinite loop if f_n(n) halts, or by halting if f_n(n) doesnt...