停机问题的证明

假设有判定器 H，就能造出程序 D：H 说它会停它就死循环、H 说它不停它就停。矛盾。