3 ms·This is just the Halting Problem, many good introductory expositions of the proof exist.by tekne 1y agoThis is just the Halting Problem, many good introductory expositions of the proof exist.