Comment by generalizations

> There is no universal algorithm that works on all TMs

Is this suspected or proven? I would love to read the proof if it exists.