Gödel's incompleteness theorems
计算逻辑中的停机问题不可解，亦是哥德尔不完备定理的一种表现形式。