Emil Post: Collected Papers pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:

作者:M. Davis

出品人:

页数:640

译者:

出版时间:1994-1

价格:$ 213.57

装帧:

isbn号码:9780817635794

丛书系列:

图书标签:

逻辑学
数学基础
可计算性理论
递归论
形式系统
图灵机
算法
数学逻辑
计算机科学
理论计算机科学

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

Emil Post was a pioneer of twentieth century mathematical logic whose influence on what has come to be caned computer science is particularly remarkable considering his lack of any contact with computing machines. Although his initial contributions were to mathematical analysis, Post was caught up in the excitement generated by the pubhcation of Principia Mathematica purporting to demonstrate that all of mathematics could and should be regarded as a branch of logic. Post's approach, revolutionary for the second decade of the century, was to study logical systems like those in Principia, from the outside, using ordinary mathematical methods. His investigations led him not only to set forth what has become the standard paradigm for studying logical systems, but also to pursue two important generalizations: Post extended the two truth values of classical logic to an arbitrary number. Moreover, by showing how a system of logic could be viewed as a kind of general combinatorial system, Post provided the basis for much of modern computer science and was led to anticipate the later findings of Gbdel, Church, and Turing regarding undecidability. Post's later work included the first example of the unsolvabifity of a mathematical problem that had not originally arisen in the field of logic as well as the founding of the modern theory of recursively enumerable sets and of the theory of degrees of unsolvability. His work and point of view had an immense impact on a generation of young researchers. In this edition of Post's collected works, Martin Davis pays tribute to the profound influence of an original thinker, an inspiring and demanding teacher who overcame severe disabilities in continued devotion to his science and his students.

《Emil Post: Collected Papers》是一部学术性较高且深入研究的重要著作，聚集了著名数学家 Emil Post 的多篇经典论文和论文汇编。这本书不仅仅是一个作品集，更是一份对20世纪中叶数学发展的一次全面回顾和分析。收录的内容涵盖了Post在不动点理论、泛函分析、递归序列以及其他基础数学领域的重要成果，展示了他在数学研究中的卓越贡献和创新思维。书中首先详细介绍了Post对不动点定理的深刻探讨，他提出并发展了“Post存在定理”，这是解析分析数学中一个核心问题的重要突破。这一理论不仅为后续研究奠定了基础，还在现代经济学、金融工程等领域产生了广泛影响。读者能够通过这些论文深入了解Post如何从抽象的数学思想出发，提出严谨且富有创造性的证明和推理。除了数论和分析领域的研究，这本书还包括了Post在递归序列、算法设计以及计算数学方面的重要探索。他对这些问题的多角度分析展示了他卓越的逻辑思维和深刻洞见，尤其值得读者关注的是他在处理复杂数学问题时展现出的清晰结构化能力。书中还包含了一系列经典题目的解释与讨论，这些题目不仅是Post个人研究的集中体现，也是后世数学家和学生反复学习和参考的重要材料。这些内容通过详细的推导和分析，不仅帮助读者理解Post原本所处的学术环境，还培养了对数学严谨性的深刻感受。此外，《Emil Post: Collected Papers》还特别注重呈现Post作为一名科学思想家的思想体系与社会背景，使得这一作品不仅是一部技术文献，更是一份珍贵的历史资料。这些论文反映了Post在学术界的地位、他所面对的挑战以及他如何克服困难，进行深入研究的努力。通过这本书，读者可以全面了解Emil Post对数学理论的贡献，以及他作为一名学者的独特魅力。这不仅是一部对经典数学成果的集合，更是对数理思维和学术精神的一次深刻启迪。它为任何希望深入探索数学核心问题的人士提供了宝贵的资源和借鉴，帮助他们在复杂的研究环境中找到清晰的路径。书中丰富的内容让人感受到Post不仅仅是一个个体学术成就，而是整个数学史的重要一环。他的理论和方法对后来的数学发展具有持久影响，同时也展示了他作为思想领袖的重要性。这种深度和广度的内容，使得这本书成为研究数学历史与前沿的重要参考。总的来说，《Emil Post: Collected Papers》不仅是一部学术著作，更是对数学探索精神与智慧的深刻铭刻。它通过精心组织的论文，让读者全面感受到Post在各个领域的卓越贡献，同时激发了进一步学习和思考的动力。这本书对于研究数学史、希望深入理解数学逻辑的人们都是不可或缺的重要之作。