不完全性定理

Godel不完备性定理在Swierczkowski的遗传有限集理论中,Godel的两个不完备性定理被形式化。这代表了第一个机器辅助证明第二不完全性定理。与使用Peao算法的传统形式(参见BoOLOS)相比,编码更简单,无需在基于定理的形式演算中对乘法的概念(更不用说素数)进行形式化。然而,为了完成争论,必须解决其他技术问题。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。