博士数学论坛

收藏本版 |订阅

集合逻辑版 今日: 0|主题: 47|排名: 17 

作者 回复/查看 最后发表
公告 公告: 不规范帖限三天改为LATEX编写的公式帖,过期删帖,并警告1次,5次警告封号! xiaohuhu 2013-10-18    
全局置顶 隐藏置顶帖 预览 新手必读,如何发第一帖?(内含坛规,请重视) 置顶 attachment  ...23456..12 xiaohuhu 2013-12-10 12718417 小生近视 前天 14:37
全局置顶 隐藏置顶帖 预览 快速免费获取下载金币升级用户组的十大方法。 推荐  ...23456..26 呼呼 2010-3-23 25766455 向主活 3 天前
全局置顶 隐藏置顶帖 预览 发帖如何进行数学公式编辑?(请跟帖测试公式) 置顶 attach_img  ...23456..131 xiaohuhu 2009-5-17 1302216999 2391840862 2017-8-4 12:42
  版块主题   
预览 求不定积分是不是一个可计算的过程呢? shuxue1985 2014-10-16 72108 shuxue1985 2017-5-10 11:08
预览 学习实数构造理论,需要什么教材? 新人帖 10RVpY 2014-9-25 62350 哆嗒数学网 2016-8-31 12:13
预览 一个建议  ...2 shuxue1985 2011-8-19 125015 ada231 2016-7-10 17:57
预览 选择公理的等价形式有哪些? PdtNAu 2015-5-3 31668 天龙七部 2015-6-22 12:57
预览 数理逻辑中“不可定义的”具体是什么意思? 3h9nPL 2015-5-23 31386 天龙七部 2015-6-22 12:55
预览 中山大学集合论方向的张弈教授强不强  ...234 PdtNAu 2015-3-7 344281 shuxue1985 2015-4-7 19:35
预览 好久不来了 shuxue1985 2014-7-29 52005 shuxue1985 2015-3-21 20:09
预览 【转】什么是逻辑概念? 哆嗒数学网 2015-3-17 01525 哆嗒数学网 2015-3-17 12:10
预览 独立性证明的一个“低端”科普 disagree 哆嗒数学网 2015-2-9 21890 哆嗒数学网 2015-2-9 18:24
预览 还是觉得数理逻辑不应该放在应用数学里 agree 哆嗒数学网 2015-2-7 81715 哆嗒数学网 2015-2-9 10:15
预览 Lebesgue可测集和Vitali集生成的$\sigma$-代数 shuxue1985 2014-12-24 41956 shuxue1985 2014-12-29 17:01
预览 超限归纳法有那些实际应用?  ...2 kaituozhe196 2014-8-5 194109 MathTT 2014-11-16 19:05
预览 哥德尔不完全定理是否适用于欧氏几何系统? attach_img  ...2 fm1134 2014-10-11 173475 shuxue1985 2014-10-14 08:11
预览 学习希尔伯特几何基础需要什么教材?  ...2 10RVpY 2014-9-25 113304 weishenm 2014-10-1 12:39
悬赏 预览 对于独立于PA(或者PA可证)的命题有没有什么刻画? - [已解决] shuxue1985 2014-9-27 42108 shuxue1985 2014-9-28 23:03
预览 求一份Cohen用力迫法对C独立性的详细证明 attachment PdtNAu 2014-9-26 72072 哆嗒数学网 2014-9-27 22:24
预览 目前国内在数理逻辑方面的主要研究课题有哪些  ...2 PdtNAu 2014-9-15 163181 哆嗒数学网 2014-9-23 09:44
预览 目前国内的数理逻辑知名教授有哪些  ...2 PdtNAu 2014-9-15 122790 pgs 2014-9-22 14:04
预览 数理逻辑交友  ...23 PdtNAu 2014-9-15 232518 shuxue1985 2014-9-21 19:55
预览 谁能推荐一些数理逻辑杂志 PdtNAu 2014-9-11 21140 shuxue1985 2014-9-12 23:27
下一页 »

快速发帖

还可输入 80 个字符
您需要登录后才可以发帖 登录 | 注册

本版积分规则

返回顶部 返回版块