G(o)del不完全性定理相关硕士博士期刊学术论文 - 信丰网

G(o)del不完全性定理相关论文

蕴含G(o)del定理抽象形式的集合论引理

本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.......

期刊

可数无穷集 G(o)del不完全性定理图灵机 Enumerably infinite set G(o)del's Incompleteness Th

看过本文同时还关注