从哥德尔不完备定理到机器人信念的完备性（扩展摘要）

希尔伯特与阿克曼曾寻求一种将不完备理论一致地扩展为完备理论的方法。哥德尔从本质上证明了，任何能够编码自身陈述及其证明的理论都包含为真但不可证的陈述。希尔伯特不认为哥德尔的构造回答了他的问题，且哥德尔在其晚期著作与讲座中也同意并未回答，因为理论可通过增添公理以证明越来越多为真陈述而渐进地完备化，正如科学通常所为，以完备性为极限点。这种有效性的实用主义观点不仅为提出并检验假设的科学家所熟悉，也为房地产经纪人与其他商人所熟悉，他们臆造主张（尽管无效）作为成交所必需，并相信能够臆造其他主张（尽管无效）足以使首批主张有效。我们研究其底层逻辑过程，并描述可能导致 bot 与其他自动化学习者收敛到的可检验但不可证伪理论的轨迹。