Gödel's incompleteness theorems
與康托尔的对角论证法、哥德尔不完备定理和图灵的停机问题類似，柯氏复杂度的概念可以用于阐述和证明不可能性。