神奇的对角论证法.md

今天开始恶补离散数学了，老师提了一下谓词逻辑的不可判定性，由丘奇和图灵两个数理逻辑的巨擘完成了证明

谓词逻辑这个$D$是无穷集合的情况让人不禁联想到停机问题，再加上图灵的名字，感觉其中应该有什么Bridge连接着一切～

于是就去翻了翻wiki

然后发现了一个叫做对角论证法的东东

离散数学课上的知识神奇地联系了起来！

#Misc #Math #碎碎念