| 姓名:申国桢 | |
性别:男 | ||
职称:特聘副研究员 | ||
教研室:逻辑学教研室 | ||
办公室:新文科大楼302 接待时间:星期一15:00—17:00 | ||
邮箱地址:shen-underscore-guozhen-at-outlook-dot-com Homepage:https://sites.google.com/view/gshen |
简 介 |
2007.09--2011.07 中国科学技术大学理学学士,基础数学专业,学位论文《一阶逻辑的“代入”理论》,导师汪芳庭教授 2011.09--2015.07 bat365中文官方网站哲学硕士,逻辑学专业,数理逻辑方向,学位论文《不依赖于选择公理的基数算术》,导师徐明教授 2017.09--2020.07 中国科学院数学与系统科学研究院理学博士,基础数学专业,集合论方向,学位论文《无秩序基数》,导师冯琦研究员 2020.08--至今 bat365官网登录特聘副研究员 |
主要研究领域和方向 |
数理逻辑和数学哲学,尤其是不依赖于选择公理的集合论和蒯因的新基础论 |
开设课程 |
本科生类:逻辑学导论、符号逻辑、一阶逻辑、集合论导论 研究生类:一阶逻辑、集合论导论、递归论导论、证明论导论、模型论导论、力迫法初步、哥德尔不完全性定理专题、数理逻辑专题 |
主要论著或代表作 |
[1] G. Shen, Generalizations of Cantor's theorem in ZF, Mathematical Logic Quarterly 63(5), 428–436 (2017). [2] G. Shen and J. Yuan, Factorials of infinite cardinals in ZF Part I: ZF results, Journal of Symbolic Logic 85(1), 224–243 (2020). [3] G. Shen and J. Yuan, Factorials of infinite cardinals in ZF Part II: Consistency results, Journal of Symbolic Logic 85(1), 244–270 (2020). [4] G. Shen, A note on strongly almost disjoint families, Notre Dame Journal of Formal Logic 61(2), 227–231 (2020). [5] G. Shen, A choice-free cardinal equality, Notre Dame Journal of Formal Logic 62(3), 577–587 (2021). [6] G. Shen, Remarks on infinite factorials and cardinal subtraction in ZF, Mathematical Logic Quarterly 68(1), 67–73 (2022). [7] G. Shen, The power set and the set of permutations with finitely many non-fixed points of a set, Mathematical Logic Quarterly 69(1), 40–45 (2023). [8] G. Shen, On a cardinal inequality in ZF, Mathematical Logic Quarterly 69(4), 417–418 (2023). [9] Y. Peng and G. Shen, A generalized Cantor theorem in ZF, accepted in Journal of Symbolic Logic (2022). [10] Y. Peng, G. Shen and L. Wu, A surjection from Cartesian square onto powerset, submitted (2023), arXiv:2207.13300. [11] Cantor's theorem may fail for finitary partitions, submitted (2023), arXiv:2309.00235. |
主持或参与的科研项目 |
[1] 国家自然科学基金委员会,面上项目,No. 11871464,与大基数相关的力迫法及其应用,2019.01--2022.12,参加,项目负责人:吴刘臻 [2] 国家自然科学基金委员会,青年科学基金项目,No. 12101466,不依赖于选择公理的基数研究,2022.01--2024.12,主持 |
社会兼职 |
[1] 中国数学会数理逻辑专业委员会委员,2021年至今 [2] 中国自然辩证法研究会数学哲学专业委员会理事,2021年至今 |
[3] 全国现代逻辑学术研讨会程序委员会委员,2023年 |
获奖情况 |
2020.09 2020年度中国科学院经理特别奖 2023.05 2022年度武汉英才(优秀青年人才) 2023.12 2023年度“楚天英才计划”楚天学者 |