停机问题

判断任意程序是否会终止的经典不可判定问题