I have solved the halting problem