查字典图书网
查字典图书网
南北不通
对
Computability
的书评
发表时间：2015-03-16 11:03:15
上课地点：首都师范大学本部三教412室
是叶老师给逻辑学的研究生开的一门课，用一本经典的教材，好好读一本书。我们这学期的计划是完全读懂哥德尔不完备性定理，所以这本书读到第八章会读斯莫林斯基对不完备性的阐述，之后我们会在回来把余下的部分学完。
注：等这门课上完我会再来谈谈这本书，现在正处在无尽的苦逼推进中，无话可说。