mathematical-logic

本文使用SAT求解证明塔斯基高中代数问题的最小反模型大小为12，提供了分类并在Lean中验证了该结果。

一种新型的零知识证明利用哥德尔不完备定理克服了之前的保密性限制，建立了数理逻辑与密码学之间的惊人联系。