توضیحات
Combinators have inspired ideas about computation ever since they were first invented in 1920, and in this innovative book, Stephen Wolfram provides a modern view of combinators and their significance. Informed by his work on the computational universe of possible programs and on computational language design, Wolfram explains new and existing ideas about combinators with unique clarity and stunning visualizations, as well as provides insights on their historical connections and the curious story of Moses Schnfinkel, inventor of combinators. Though invented well before Turing machines, combinators have often been viewed as an inaccessibly abstract approach to computation. This book brings them to life as never before in a thought-provoking and broadly accessible exposition of interest across mathematics and computer science, as well as to those concerned with the foundations of formal and computational thinking, and with the history of ideas.
Contents
Preface
Combinators: A Centennial View:
Ultimate Symbolic Abstraction Computing with Combinators A Hundred Years Later… Combinators in the Wild: Some Zoology Visualizing Combinators Updating Schemes and Multiway Systems The Question of Evaluation Order The World of the S Combinator Causal Graphs and the Physicalization of Combinators Combinator Expressions as Dynamical Systems Equality and Theorem Proving for Combinators Lemmas and the Structure of Combinator Space Empirical Computation Theory with Combinators The Future of Combinators Historical & Other Notes
Combinators and the Story of Computation
The Abstract Representation of Things What Is Mathematicsand LogicMade Of? Combinators Arrive What Is Their Mathematics? Gdel’s Theorem and Computability Lambda Calculus Practical Computation Combinators in Culture Designing Symbolic Language Combinators in the Computational Universe Combinators All the Way Down?
Where Did Combinators Come From? Hunting the Story of Moses Schnnkel
December 7, 1920 Who Was Moses Schnnkel? The Beginning of the Story Going to College in Odessa Gttingen, Center of the Mathematical Universe Problems Are Brewing The 1924 Paper The ‘1927’ Paper To Moscow and Beyond… Other Schnnkels… Haskell Curry Schnnkel Rediscovered What Should We Make of Schnnkel?
A Little Closer to Finding What Became of Moses Schnfinkel, Inventor of Combinators
1920, 2020 and a $20,000 Prize: Announcing the S Combinator Challenge
Hiding in Plain Sight for a Century? The Basic Setup The Operation of the S Combinator Challenge
Excerpts from A New Kind of Science (2002)
A Bibliography of Combinators
Foundational Documents Books Surveys & Summaries Combinators as Symbolic Expressions Combinators as Mathematical Constructs Combinator Computation Extensions & Applications Confusing Issues
Index
————————————————————–
ترجمه ماشینی :
ترکیبکنندهها از زمانی که برای اولین بار در سال 1920 اختراع شدند، ایدههایی در مورد محاسبات الهامبخش بودهاند، و در این کتاب ابتکاری، استفان ولفرام دیدگاهی مدرن از ترکیبکنندهها و اهمیت آنها ارائه میکند. ولفرام با آگاهی از کار خود بر روی دنیای محاسباتی برنامههای ممکن و طراحی زبان محاسباتی، ایدههای جدید و موجود در مورد ترکیبکنندهها را با وضوح منحصر به فرد و تجسمهای خیرهکننده توضیح میدهد و همچنین بینشهایی در مورد ارتباطات تاریخی آنها و داستان عجیب موسی شنفینکل، مخترع ارائه میدهد. از ترکیب کننده ها اگرچه ترکیبکنندهها قبل از ماشینهای تورینگ اختراع شده بودند، اما اغلب به عنوان یک رویکرد غیرقابل دسترس انتزاعی برای محاسبات تلقی میشدند. این کتاب آنها را با ارائهای قابل تأمل و قابل دسترس در سراسر ریاضیات و علوم رایانه، و همچنین برای کسانی که با مبانی تفکر رسمی و محاسباتی و تاریخ ایدهها مرتبط هستند، به عنوان هرگز زنده میکند. محتویات پیشگفتار ترکیبکنندهها: نمای صد ساله: \ محاسبات انتزاعی نمادین نهایی با ترکیبکنندهها صد سال بعد… ترکیبکنندهها در طبیعت: برخی از جانورشناسی تجسم ترکیبکنندهها در حال بهروزرسانی طرحها و سیستمهای چندراهی مسئله ارزیابی نظم جهان نمودارهای علّی ترکیبی S و فیزیکیسازی ترکیبکنندهها عبارات ترکیبکننده بهعنوان سیستمهای دینامیکی تساوی و قضیه اثبات برای ترکیبکنندهها لمها و ساختار فضای ترکیبکننده نظریه محاسبات تجربی با ترکیبکنندهها آینده ترکیبکنندهها یادداشتهای تاریخی و دیگر \ ترکیبکنندهها و داستان نمایش انتزاعی اشیا ریاضیات و منطق از چیست؟ ترکیب کننده ها می رسند ریاضیات آنها چیست؟ قضیه Gdel و محاسبهپذیری حساب لامبدا ترکیبکنندههای محاسباتی عملی در فرهنگ طراحی ترکیبکنندههای زبان نمادین در جهان محاسباتی ترکیبکنندهها تا آخر؟ ترکیبکنندهها از کجا آمدند؟ شکار داستان موسی شنکل \ 7 دسامبر 1920 موسی شنکل که بود؟ آغاز داستان رفتن به کالج در اودسا گتینگن، مرکز جهان ریاضی. ? \ کمی نزدیکتر به یافتن آنچه موسی شنفینکل، مخترع ترکیبکنندهها \ 1920، 2020 و جایزه 20000 دلاری: اعلام چالش S Combinator \ پنهان شدن در یک قرن دید ساده؟ راهاندازی اساسی The Operation of the S Combinator Challenge گزیدههایی از نوع جدیدی از علم (2002) کتابشناسی ترکیبکنندهها اسناد بنیادی کتابها نظرسنجیها و خلاصهها ترکیبکنندهها بهعنوان عبارات نمادین ترکیبکنندهها بهعنوان ساختارهای ریاضی ترکیبکنندهها محاسبات ترکیبکنندهها و برنامههای کاربردی مسائل فهرست
tag : دانلود کتاب ترکیبکنندهها: نمای صد ساله , Download ترکیبکنندهها: نمای صد ساله , دانلود ترکیبکنندهها: نمای صد ساله , Download Combinators: A Centennial View Book , ترکیبکنندهها: نمای صد ساله دانلود , buy ترکیبکنندهها: نمای صد ساله , خرید کتاب ترکیبکنندهها: نمای صد ساله , دانلود کتاب Combinators: A Centennial View , کتاب Combinators: A Centennial View , دانلود Combinators: A Centennial View , خرید Combinators: A Centennial View , خرید کتاب Combinators: A Centennial View ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.