对角线引理（关于对角线引理介绍）
摘要 大家好,小万来为大家解答以上的问题。对角线引理，关于对角线引理介绍这个很多人还不知道,现在让我们一起来看看吧！1、 对角线引理（dia...
大家好,小万来为大家解答以上的问题。对角线引理，关于对角线引理介绍这个很多人还不知道,现在让我们一起来看看吧！
1、 对角线引理（diagonal lemma），又称为定点定理（fixed point theorem）。
2、在数理逻辑中，对角线引理树立了自然数的形式理论的自指句子的存在。
3、重要的是，它所涉及的形式理论，都强到足以表现各种计算功能。
关于对角线引理到此分享完毕，希望能帮助到您。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时候联系我们修改或删除，多谢。