网络上哪有数理逻辑的课程? 第1页
1
lljpcz 网友的相关建议:
如果你想系统的学习这方面的内容的话，其实没啥必要一开始就去找网课。(除非你外语理解完全没有任何障碍)建议先读几本中文的书，对数理逻辑里面的底层中层概念有一点基本的认知。我自己读的是我校哲学系的一套书，里面大概过了一遍一下一阶语言二阶语言不完备性集合论可构成力迫可递归之类的东西。不是说这套册子写的比外国人写的好，但是先接触了概念再读其他的外语书就不会很吃力。
读完了这些书再去读其他的就会好读很多。推荐GTM53
1
相关话题
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
如何证明没有上帝？
微积分的哲学基础是什么？
以「Q.E.D」收尾证明语段，是什么梗？
为什么数学里非要写「当且仅当」，而不是「仅当」？
以「Q.E.D」收尾证明语段，是什么梗？
叶戈罗夫定理的逆定理该怎么证明？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
前一个讨论
为什么在数轴上随便取一个点，一定取到的是无理数？
相关的话题
零测集的子集是否可测？证明角的三分之一，怎么证明？
如何通俗地理解「韦达跳跃」，如何证明？
证明数学定理的意义是什么？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
如何简单清晰地解释哥德尔不完备定理？
如何通俗地理解「韦达跳跃」，如何证明？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
所有集合的势都可比较大小吗？为什么？
网络上哪有数理逻辑的课程?
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
如何用数学的方法说明极限理论的表现力强于初等数学？
莱布尼茨的普遍语言是否可以实现？
如何通俗地理解「韦达跳跃」，如何证明？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如此证明（0，1）=【0，1】，是否正确？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何让一个 5 岁小孩听懂什么是选择公理？
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
什么是博弈论语义学？
莱布尼茨的普遍语言是否可以实现？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
关于哥德巴赫猜想，有人从哥德尔定理考虑过可证性吗？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
如此证明（0，1）=【0，1】，是否正确？
如何证明这个关于良序集的命题？
网络上哪有数理逻辑的课程?
如何让一个 5 岁小孩听懂什么是选择公理？