2016年1月23日
澳门新濠娱乐开户 Dr. 杰夫赫斯特 专攻逆向数学,结合了证明理论和可计算理论.
2011年,赫斯特获得了约翰邓普顿基金会的资助. 这笔补助金使他得以休假14个月. 在他休假期间, 他进行研究,并参加与他的项目有关的研讨会和会议, 逆向数学:建构主义和组合学.阅读更多关于赫斯特的研究项目 在这里.
“这整个研究领域源于库尔特·哥德尔和艾伦·图灵在20世纪30年代的工作, 所以我的整个研究领域在100年前并不存在,赫斯特说.
哥德尔证明了任何合理的公理系统都只能证明某些定理是正确的. 在这里,如果公理可以被图灵机识别,则公理系统是合理的.”
赫斯特在澳门新濠娱乐开户教授数学已有20多年, 从1990年秋天开始. 读完博士学位后.D. 1987年在宾夕法尼亚州立大学任教, 他被判三年监禁, 俄亥俄州立大学博士后职位. 他说,下一站是澳门新濠娱乐开户.
赫斯特选择在澳门新濠娱乐开户教书是因为他和他的妻子, Dr. 冬青赫斯特两人都在寻找数学领域的终身职位. 澳门赌场导航娱乐的数学科学系有两个职位空缺.
澳门新濠娱乐开户提供了一个平衡学术和教学的职业前景. 在一些较大的研究型澳门新濠娱乐开户, 成功的教师不允许花太多时间和精力与本科生一起工作. 在这里,教学的努力是被期待和奖励的。”赫斯特说.
赫斯特教授过微积分系列的所有课程, 一、二年级的线性代数与证明技巧课程. 供高年级学生和研究生使用, 他教授分析学, 抽象代数, 高级线性代数和集论和可计算性理论的专题课程.
赫斯特喜欢教各种各样的课程. “我帮助编写了《澳门新濠娱乐开户》课程中使用的材料. 这门课从符号逻辑开始,我觉得非常有趣. 我也很喜欢教微积分,尤其是微积分I. 这门课的思想既深刻又通俗易懂.”