Answer
The proof aims to find a contradiction. You have to understand what the contradiction derived is, in order to understand why P is used as an input to itself. The contradiction is, informally: if we have a machine H(a, b) that decides “a accepts b”, then we can construct a machine that accepts machines that do not accept themselves. (Read that a few times until you get it.) The machine shown in the picture – let’s call it M – M(P)= does P not accept ⟨P⟩?
The contradiction happens when you ask: does M accept ⟨M⟩? Try to work out the two options to see how there is a contradiction.
M accepts ⟨M⟩ if and only if M does not accept ⟨M⟩; this is clearly a contradiction.
This is why it is essential for the proof to run P on itself not some arbitrary input. This is a common theme in impossibility proofs known as diagonal arguments.
Attribution
Source : Link , Question Author : Netik , Answer Author : psmears