的卡尔曼滤波，以及公钥密码学的RSA算法。在同一时间，人们开始深入审视数学的极限。在1929年到1930年，数学家证明了，具有乘法或者加法其中之一的自然数系统之内的一切命题的真伪是可决定的，也就是可以通过某个算法自动计算出来。然而在1931年，库尔特·哥德尔发现，如果自然数同时包括乘法和加法，那么这个结论就不再成立了；同时包括乘法和加法的系统就是人们所知的皮亚诺算术，而这事实上是一个不完备的系统（仅靠皮亚诺算术就足够支撑数论了，包括可以表述素数）。而哥德尔的两个不完备定理表明，一个包括了皮亚诺算术的任何