博士家园

查看: 5501|回复: 12

[集合逻辑] 一个建议

[复制链接]
发表于 2011-8-19 17:39:01 | 显示全部楼层 |阅读模式
版上很是冷清。而且对于本版存在的合理性也有质疑,既然版主辛苦地建立起这个版,我们还是要让本版充分发挥作用吧。

不知道各位是否愿意一起度公理集合论的书,或者数理逻辑的书。

本人就是入门水平,所以入门书很好。但是最好别是朴素集合论的。

如果我们都在一个城市,那线下交流最好了。我在北京。
发表于 2011-8-24 03:40:34 | 显示全部楼层
我也正在学Axiomatic Set theory。。不过偶还没入门,刚学而已。
目前在看elements of set theory by Enderton
发表于 2011-8-24 10:44:10 | 显示全部楼层
我建议学公理化集合论之前,最好先看看数理逻辑的书,至少要搞明白一阶逻辑的很多形式上的东西,如:formula、term、free variable、satisfaction, etc.。如果不先搞明白这些东西,那么入门会很艰难(我就是一个例子)。数理逻辑也不要看太深,因为数理逻辑的发展和集合论交织的比较多。明白一阶逻辑的基础就可以看公理化集合论的书了,至少看到model之前不会有什么问题。在看model之前最好再回过头来看看数理逻辑关于一阶逻辑、二阶逻辑各自的表达能力和各自局限性的论述。然后再看model的内容。model的内容看似不难,但个人感觉非常精微奥妙,如果不把基础打扎实,就会看着看着就不知所云了。

本版很冷清,完全是我这个版主的过错,不过目前实在是没有时间来好好打理。之前有好些事,就没好好打理这里。接下来的一年,要找工作,还要准备毕业,唉,短时间之内...
发表于 2011-8-24 11:48:56 | 显示全部楼层
相信会好起来的!
 楼主| 发表于 2011-9-12 07:19:05 | 显示全部楼层
一起努力就好,不能光靠版主。我也愿意。
发表于 2013-11-9 16:08:33 | 显示全部楼层
想学数理逻辑,所以也来凑凑热闹。
发表于 2014-9-2 19:17:15 | 显示全部楼层
有没有上海的
发表于 2015-2-14 15:28:04 | 显示全部楼层
PdtNAu 发表于 2014-9-2 19:17
有没有上海的

我发现好多大学把数理逻辑划到这些小里了,而不是数学系,这样要学它的话就得跨专业了,有点坑。不过集合论倒是例外。 复旦难度太大,上不去。华师大哲学院有数理逻辑专业,就是不太清楚实力如何。
发表于 2015-2-14 17:55:11 | 显示全部楼层
其实,哲学系没必要学数理逻辑,他们的课程应该是分析哲学,里面可以包括数理逻辑的思想。我个人以为,最重要的是理解数学,而不是理解数理逻辑,对于哲学系的学生。数学基础太弱,学数理逻辑一定很晕。


 楼主| 发表于 2015-2-14 18:34:58 | 显示全部楼层
PdtNAu 发表于 2015-2-14 15:28
我发现好多大学把数理逻辑划到这些小里了,而不是数学系,这样要学它的话就得跨专业了,有点坑。不过集合 ...

你想学数理逻辑?

关于我们|手机版|博士家园 ( 沪ICP备15045866号 )(沪公网安备沪公网安备 31011702001868号) 

GMT+8, 2018-6-23 16:43 , Processed in 1.156250 second(s), 15 queries , Gzip On.

Powered by Discuz! X3.2

© 2004-2017 Comsenz Inc.

快速回复 返回顶部 返回列表