> Can you give some examples? I'm guessing there is a different in definition of understanding here. I'm not the previous poster, but how about the Halting Pro

> Can you give some examples? I'm guessing there is a different in definition of understanding here. I'm not the previous poster, but how about the Halting Problem? The defining feature is that you can't just simulate it with a Turing machine. Yet the proof is certainly understandable.