西西河

主题:【讨论】只要是红杏就一定要出墙 -- 柔咖啡

共:💬53 🌺24
全看分页树展 · 主题 跟帖
家园 想起上过的"数理逻辑"和"可计算性" 的课了

都遇到了哥德尔不完备定理,记得“数理逻辑”中在是一阶逻辑,“可计算性”中是在可判定性方面

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河