郝兆宽

郝兆宽，男，1968年9月出生于山东济南。先后就读于北京师范大学、北京大学哲学系，荷兰Utrecht大学数学系，2000年于北京大学获哲学博士学位。现任中国逻辑学会现代逻辑专业委员会理事，上海市逻辑学会理事。

1987年入北京师范大学哲学系，1991年获哲学学士学位。同年免试进入北师大哲学系攻读逻辑学专业硕士研究生，导师为陈银科教授。1994年4月，因成绩优异，提前完成论文，被准予提前半年毕业。硕士论文《数理逻辑中的真概念》发表于同年出版的《哲学动态（增刊）》上。

1997年8月考入北京大学哲学系，攻读逻辑学专业博士研究生，导师为刘壮虎教授。1998年至1999年，受世界著名逻辑学家Dirk van Dalen 教授的推荐，至荷兰数学研究所（MRI）进修，在荷兰Utrecht大学数学系学习。2000年7月毕业于北京大学哲学系，获哲学博士学位。博士论文《带类型和不带类型的Lambda-演算》的一部分发表于2001年《哲学动态（增刊）》。

2002年，研究项目《Lambda-演算研究》获得教育部人文社会科学九五规划青年项目资助。

2002年，Lambda-演算研究，教育部十一五规划第一批。

2010年，哥德尔与当代数学哲学，上海市浦江人才计划。

2019年，上海市重点教改项目“跨学科培养路径的探索与实践——复旦大学数理逻辑学程项目建设”。

参考资料：^[1]

1.郝兆宽、杨跃：《集合论——对无穷概念的探索》，复旦大学出版社，2014年。

3.郝兆宽、杨跃、杨睿之：《数理逻辑——证明及其限度》，复旦大学出版社，2014年。

3.郝兆宽、杨跃、杨睿之：《递归论——算法与随机性基础》，复旦大学出版社，2018年。

4.郝兆宽：《哥德尔纲领》，复旦大学出版社，2018年。

参考资料：^[1]

1.邢滔滔、郝兆宽、汪蔚：《逻辑之旅——从哥德尔到哲学》，王浩著，浙江大学出版社，2009年。

2.郝兆宽、杨睿之：《数学哲学》，Stewart Shapiro著，复旦大学出版社，2009年。

参考资料：^[1]

1.郝兆宽，《逻辑与形而上学》，上海人民出版社，2008年。

2.郝兆宽，分卷主编，《当代哲学经典——逻辑学卷》，北京师范大学出版社，2014年。

参考资料：^[1]

2004年，论文《Lambda-演算与垂直线定理》荣获中国逻辑学会第一届（1978.5-2002.12）优秀成果科研奖二等奖。在本次评奖中，一等奖空缺。在获得二等奖的三部作品中，这是唯一的论文。其余两部为专著。