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在各個領域的卓越貢獻，同時激發瞭進一步學習和思考的動力。這本書對於研究數學史、希望深入理解數學邏輯的人們都是不可或缺的重要之作。