3 ms·

So how and why do we solve the halting problem?