莱斯定理

关于程序"做什么"的任何非平凡性质都是不可判定的。这比停机问题更强。