收藏本站
《河北科技大学》 2019年
收藏 | 手机打开
二维码
手机客户端打开本文

埃米尔·波斯特及其对可计算性理论的贡献

王梓豪  
【摘要】:埃米尔·波斯特是可计算性理论奠基者之一,在数理逻辑领域的工作对数学有重要贡献,其坎坷的科研历程值得后人深思。他曾经早于哥德尔近十余载就断言了不完备定理,还与图灵几乎同时提出等价于图灵机的计算模型。但是命运之神并未给予他过多的眷顾,其一生也伴随着精神疾病的困扰。尽管如此,他仍然凭借自己不懈的努力最终在学术界占有一席之地。对波斯特工作与生活的分析,能为理解可计算性理论的早期发展提供新视角。本文在整理大量相关文献的基础上,将波斯特生活经历与研究工作相结合,梳理了其在可计算性理论领域所做出的贡献。主要内容如下:首先,根据波斯特人生的起伏转折,还原并分析了其一生的研究经历。使用数学史分期的方法将他的一生划分为四个阶段:从出生到读博士的学生时期、经历挫折的博士后时期、重返学术界的转身时期以及贵人相助的巅峰时期。其次,通过研读原始文献,详细分析了波斯特从博士到博士后阶段的研究工作。借助历史还原的方式,探究了他提出不完备断言的研究历程,分析了哥德尔与波斯特的信件往来以及波斯特未得到后人太多赞誉的原因。再次,在可计算性理论的视域下,探究了图灵机与波斯特机的原理异同。结合波斯特研究的历史背景,还原了他与图灵几乎同时提出波斯特机的探索经历,且分析了波斯特机与判定问题的联系。
【学位授予单位】:河北科技大学
【学位级别】:硕士
【学位授予年份】:2019
【分类号】:O141

免费申请
【相似文献】
中国期刊全文数据库 前10条
1 孔祥武;波斯特连锁经营[J];中国邮政;2002年08期
2 米克·布朗;叶东炜;;查尔斯王子和学者波斯特[J];文化译丛;1988年02期
3 刘涛;;马克·波斯特“信息方式”理论的批判[J];廊坊师范学院学报(社会科学版);2012年02期
4 曾耀农;波斯特媒介理论及在中国的传播[J];青海师专学报.教育科学;2005年03期
5 东方;旭日初升波斯特[J];企业文化;2002年02期
6 刘杨;;波斯特千日维新[J];汽车商业评论;2008年09期
7 ;联邦德国马丁·波斯特向我院赠送乐谱[J];音乐艺术;1990年01期
8 刘涛;;马克·波斯特批判理论再思考[J];中外文化与文论;2009年02期
9 曾耀农;波斯特媒介理论及在中国的传播[J];怀化学院学报;2005年03期
10 ;救赎40小时[J];当代体育;2012年16期
中国重要会议论文全文数据库 前1条
1 申露露;戴玉成;崔宝凯;;波斯特孔菌属及近缘属的系统发育研究[A];中国菌物学会2016年学术年会论文摘要集[C];2016年
中国重要报纸全文数据库 前10条
1 徐茜;纳波斯特离死不远[N];中国企业报;2002年
2 王苏娅;马克·波斯特:用历史阐述媒介[N];中华读书报;2006年
3 记者 李婷;上博获捐45件中国古代艺毯[N];文汇报;2019年
4 通讯员 曾洪屏 本报记者 杨诚;释疑点 抓重点 破难点[N];中国邮政报;2003年
5 本报记者 张志群;二人转聚人气 波斯特搭平台[N];中国邮政报;2009年
6 本报记者 赵春秋;轻舟已过万重山[N];中国邮政报;2001年
7 傅盛裕;“人造肉”正在研制中[N];大众卫生报;2012年
8 杨孝文;用猪细胞培育人造肉[N];北京日报;2011年
9 黑龙江记者站 张爽;波斯特酒店打造历史文化牌[N];中国旅游报;2005年
10 南帆(福建师范大学教授);一个额外自我的建构[N];中国图书商报;2001年
中国硕士学位论文全文数据库 前6条
1 王梓豪;埃米尔·波斯特及其对可计算性理论的贡献[D];河北科技大学;2019年
2 郭远芳;麦克卢汉与波斯特媒介诗学主体性思想比较研究[D];贵州师范大学;2019年
3 宋祥云;油斑波斯特孔菌深层发酵与化学成分研究[D];山东中医药大学;2015年
4 吕夺印;网络交往对自我认知影响的探索性观察分析[D];西南政法大学;2010年
5 彭涛;3G技术应用对人际传播的影响研究[D];电子科技大学;2008年
6 王林卉;电子信息反商品化作用[D];北京邮电大学;2015年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026