数学影像馆

视频目录 / 数学导览与专题

热度排名 #1548

勒布定理与形式系统怎样信任后继者

Lob's theorem in Friendly AI

报告用勒布定理讨论形式证明系统信任后继系统的问题。听到“如果这个命题可证，它就成立”时，先确定这句话在哪个系统内表达，再看系统能证明什么。

Nevan Wichers · 1 串讨论 · 热度 1.819

打开原视频 ↗浏览数学导览与专题

讨论出处