来自李世超的问题
数理逻辑和集合论的关系
数理逻辑和集合论的关系
3回答
2020-05-08 09:47
数理逻辑和集合论的关系
数理逻辑和集合论的关系
狭义的数理逻辑是指一阶谓词逻辑.
广义的数理逻辑包括一阶谓词逻辑、集合论、递归函数论和证明论.
可以把数理逻辑作为集合论的基础,也可以把数理逻辑作为集合论的一个子集.
若要将二者相通那应先学习哪门课程我想看明白数学的基础理论在学习这两门课程不知道从何处入手。。。。。。请高手指点。。。谢谢
你若不是学习逻辑专业或者理论计算机科学,那就从集合论看起。数学里会用到一些逻辑符号,用前都会讲的。