| 姓名：申國桢 | |
| 性别：男 | ||
| 職稱：特聘副研究員 | ||
| 教研室：邏輯學教研室 | ||
辦公室：新文科大樓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 BEAT365唯一官网哲學碩士，邏輯學專業，數理邏輯方向，學位論文《不依賴于選擇公理的基數算術》，導師徐明教授 2017.09--2020.07 中國科學院數學與系統科學研究院理學博士，基礎數學專業，集合論方向，學位論文《無秩序基數》，導師馮琦研究員 2020.08--至今 beat365体育官网特聘副研究員 |
| 主要研究領域和方向 |
數理邏輯和數學哲學，尤其是不依賴于選擇公理的集合論和蒯因的新基礎論 |
| 開設課程 |
本科生類：邏輯學導論、符号邏輯、一階邏輯、集合論導論 研究生類：一階邏輯、集合論導論、遞歸論導論、證明論導論、模型論導論、力迫法初步、哥德爾不完全性定理專題、數理邏輯專題 |
| 主要論著或代表作 |
[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年度“楚天英才計劃”楚天學者 |