| 姓名：申国桢 | |
| 性别：男 | ||
| 职称：特聘副研究员 | ||
| 教研室：逻辑学教研室 | ||
办公室：新文科大楼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 武汉大学哲学硕士，逻辑学专业，数理逻辑方向，学位论文《不依赖于选择公理的基数算术》，导师徐明教授 2017.09--2020.07 中国科学院数学与系统科学研究院理学博士，基础数学专业，集合论方向，学位论文《无秩序基数》，导师冯琦研究员 2020.08--至今 武汉大学哲学学院特聘副研究员 |
| 主要研究领域和方向 |
数理逻辑和数学哲学，尤其是不依赖于选择公理的集合论和蒯因的新基础论 |
| 开设课程 |
本科生类：逻辑学导论、符号逻辑、一阶逻辑、集合论导论 研究生类：一阶逻辑、集合论导论、递归论导论、证明论导论、模型论导论、力迫法初步、哥德尔不完全性定理专题、数理逻辑专题 |
| 主要论著或代表作 |
[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, journal of symbolic logic 89(1), 204–210 (2024). [10] g. shen, cantor's theorem may fail for finitary partitions, accepted in journal of symbolic logic (2024). [11] y. peng, g. shen and l. wu, mapping the square of an infinite set onto its powerset, submitted (2024), arxiv:2207.13300. |
| 主持或参与的科研项目 |
[1] 国家自然科学基金委员会，面上项目，no. 11871464，与大基数相关的力迫法及其应用，2019.01--2022.12，参加，项目负责人：吴刘臻 [2] 国家自然科学基金委员会，青年科学基金项目，no. 12101466，不依赖于选择公理的基数研究，2022.01--2024.12，主持 |
| 社会兼职 |
[1] 中国数学会数理逻辑专业委员会委员，2021年至2024年 [2] 中国自然辩证法研究会数学哲学专业委员会理事，2021年至今 [3] 全国现代逻辑学术研讨会程序委员会委员，2023年 [4] 中国数学会数理逻辑专业委员会常务委员，2024年至今 |
| 获奖情况 |
2020.09 2020年度中国科学院院长特别奖 2023.05 2022年度武汉英才（优秀青年人才） 2023.12 2023年度“楚天英才计划”楚天学者 |