科技: 人物 企业 技术 IT业 TMT
科普: 自然 科学 科幻 宇宙 科学家
通信: 历史 技术 手机 词典 3G馆
索引: 分类 推荐 专题 热点 排行榜
互联网: 广告 营销 政务 游戏 google
新媒体: 社交 博客 学者 人物 传播学
新思想: 网站 新书 新知 新词 思想家
图书馆: 文化 商业 管理 经济 期刊
网络文化: 社会 红人 黑客 治理 亚文化
创业百科: VC 词典 指南 案例 创业史
前沿科技: 清洁 绿色 纳米 生物 环保
知识产权: 盗版 共享 学人 法规 著作
用户名: 密码: 注册 忘记密码?
    创建新词条
科技百科
  • 人气指数: 48680 次
  • 编辑次数: 2 次 历史版本
  • 更新时间: 2010-02-23
方兴东
方兴东
发短消息
高兴
高兴
发短消息
相关词条
范内瓦·布什
范内瓦·布什
山内溥
山内溥
瑞·米尔顿·杜比
瑞·米尔顿·杜比
刘易斯·科恩菲尔德
刘易斯·科恩菲尔德
BOSE博士
BOSE博士
朱利亚斯·布兰克
朱利亚斯·布兰克
菲罗·范斯沃斯
菲罗·范斯沃斯
埃尔玛·加德诺·法恩斯沃斯
埃尔玛·加德诺·法恩斯沃斯
大卫·华尔兹
大卫·华尔兹
杰克·特拉梅尔
杰克·特拉梅尔
推荐词条
希拉里二度竞选
希拉里二度竞选
《互联网百科系列》
《互联网百科系列》
《黑客百科》
《黑客百科》
《网络舆情百科》
《网络舆情百科》
《网络治理百科》
《网络治理百科》
《硅谷百科》
《硅谷百科》
2017年特斯拉
2017年特斯拉
MIT黑客全纪录
MIT黑客全纪录
桑达尔·皮查伊
桑达尔·皮查伊
阿里双十一成交额
阿里双十一成交额
最新词条

热门标签

微博侠 数字营销2011年度总结 政务微博元年 2011微博十大事件 美国十大创业孵化器 盘点美国导师型创业孵化器 盘点导师型创业孵化器 TechStars 智能电视大战前夜 竞争型国企 公益型国企 2011央视经济年度人物 Rhianna Pratchett 莱恩娜·普莱契 Zynga与Facebook关系 Zynga盈利危机 2010年手机社交游戏行业分析报告 游戏奖励 主流手机游戏公司运营表现 主流手机游戏公司运营对比数据 创建游戏原型 正反馈现象 易用性设计增强游戏体验 易用性设计 《The Sims Social》社交亮 心理生理学与游戏 Kixeye Storm8 Storm8公司 女性玩家营销策略 休闲游戏的创新性 游戏运营的数据分析 社交游戏分析学常见术语 游戏运营数据解析 iPad风行美国校园 iPad终结传统教科书 游戏平衡性 成长类型及情感元素 鸿蒙国际 云骗钱 2011年政务微博报告 《2011年政务微博报告》 方正产业图谱 方正改制考 通信企业属公益型国企 善用玩家作弊行为 手机游戏传播 每用户平均收入 ARPU值 ARPU 游戏授权三面观 游戏设计所运用的化学原理 iOS应用人性化界面设计原则 硬核游戏 硬核社交游戏 生物测量法研究玩家 全球移动用户 用户研究三部曲 Tagged转型故事 Tagged Instagram火爆的3大原因 全球第四大社交网络Badoo Badoo 2011年最迅猛的20大创业公司 病毒式传播功能支持的游戏设计 病毒式传播功能 美国社交游戏虚拟商品收益 Flipboard改变阅读 盘点10大最难iPhone游戏 移动应用设计7大主流趋势 成功的设计文件十个要点 游戏设计文件 应用内置付费功能 内置付费功能 IAP功能 IAP IAP模式 游戏易用性测试 生理心理游戏评估 游戏化游戏 全美社交游戏规模 美国社交游戏市场 全球平板电脑出货量 Facebook虚拟商品收益 Facebook全球广告营收 Facebook广告营收 失败游戏设计的数宗罪名 休闲游戏设计要点 玩游戏可提高认知能力 玩游戏与认知能力 全球游戏广告 独立开发者提高工作效率的100个要点 Facebook亚洲用户 免费游戏的10种创收模式 人类大脑可下载 2012年最值得期待的20位硅谷企业家 做空中概股的幕后黑手 做空中概股幕后黑手 苹果2013营收 Playfish社交游戏架构

Emil Leon Post 发表评论(0) 编辑词条

Emil Leon Post(数学家与逻辑学家 1897-1954)是第一个制定了利用符号来表示逻辑的推理系统——作为一个推论,他证明了任何逻辑系统(包括数学)能够被这样的一个符号系统来表达。

标记系统是 Emil Leon Post 在1943年创立的确定性计算模型,作为一种简单形式的字符串重写系统。标记系统也可以看作抽象机,叫做 Post 标记机(不要混淆于Post-图灵机)-- 简单的说,其唯一的磁带是无限长度的 FIFO 队列的有限状态自动机,在每次状态转变中机器读在队列头部的符号,从头部删除固定数目的符号,并可以向尾部增加符号。

目录

基本资料编辑本段回目录

Emil Leon Post  
Born February 11, 1897
Augustów, then Russian Empire ,
today Poland
Died April 21, 1954,
New York City,  U.S. 
Fields Mathematics
Alma mater Columbia University
Known for Formulation 1,
Post correspondence problem,
completeness-proof of Principia's propositional calculus

简介编辑本段回目录

Emil Leon Post, Ph.D., (February 11, 1897, Augustów – April 21, 1954, New York City) was a mathematician and logician.

Early work
Post was born into a Polish-Jewish family that immigrated to America when he was a child. After completing his Ph.D. in mathematics at Columbia University, he did a post doctorate at Princeton University. While at Princeton, he came very close to discovering the incompleteness of Principia Mathematica, which Kurt Gödel proved in 1931. Post then became a high school mathematics teacher in New York City. In 1936, he was appointed to the mathematics department at the City College of the College of the City of New York, where he remained until his death.

In his Columbia University doctoral thesis, Post proved, among other things, that the propositional calculus of Principia Mathematica was complete: all tautologies are theorems, given the Principia axioms and the rules of substitution and modus ponens. Post also devised truth tables independently of Wittgenstein and C.S. Peirce and put them to good mathematical use. Jean Van Heijenoort's (1966) well-known source book on mathematical logic reprinted Post's classic article setting out these results.

Recursion theory
In 1936, Post developed, independently of Alan Turing, a mathematical model of computation that was essentially equivalent to the Turing machine model. Intending this as the first of a series of models of equivalent power but increasing complexity, he titled his paper Formulation 1. (This model is sometimes called "Post's machine" or a Post-Turing machine, but is not to be confused with Post's tag machines or other special kinds of Post canonical system, a computational model using string rewriting and developed by Post in the 1920s but first published in 1943).

The unsolvability of his Post correspondence problem turned out to be exactly what was needed to obtain unsolvability results in the theory of formal languages.

In an influential address to the American Mathematical Society in 1944, he raised the question of the existence of an uncomputable recursively enumerable set whose Turing degree is less than that of the halting problem. This question, which became known as Post's Problem, stimulated much research. It was solved in the affirmative in the 1950s by the introduction of the powerful priority method in recursion theory.

Selected papers
1936, "Finite Combinatory Processes - Formulation 1," Journal of Symbolic Logic 1: 103-105.
1943, "Formal Reductions of the General Combinatorial Decision Problem," American Journal of Mathematics 65: 197-215.
1944, "Recursively enumerable sets of positive integers and their decision problems," Bulletin of the American Mathematical Society 50: 284-316. Introduces the important concept of many-one reduction. 

相关链接编辑本段回目录

  • O'Connor, John J.; Robertson, Edmund F., "Emil Leon Post", MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Post.html .
  • Emil Leon Post at the Mathematics Genealogy Project
  • An interview with Martin Davis - Notices of the AMS, May 2008. Much material on Emil Post from his first-hand recollections. 
  • Emil Leon Post Papers 1927-1991 - American Philosophical Society, Philadelphia, Pennsylvania.
  • Davis, Martin (1993). The Undecidable (Ed.), pp. 288–406. Dover. ISBN 0-486-43228-9. Reprints several papers by Post.
  • Davis, Martin (1994). "Emil L. Post: His Life and Work" in Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post. Birkhäuser: xi—xxviii. A biographical essay. 
  • 参考文献编辑本段回目录

    →如果您认为本词条还有待完善,请 编辑词条

    词条内容仅供参考,如果您需要解决具体问题
    (尤其在法律、医学等领域),建议您咨询相关领域专业人士。
    0

    标签: Emil Leon Post

    收藏到: Favorites  

    同义词: 暂无同义词

    关于本词条的评论 (共0条)发表评论>>

    对词条发表评论

    评论长度最大为200个字符。