Martin Davis on Computability, Computational Logic, and Mathematical Foundations

این کتاب مجموعه ای از خاطرات تاریخی را در مورد کار مارتین دیویس و نقش او در پیشبرد درک ما از ارتباطات بین منطق، محاسبات و حل نشدنی ارائه می دهد. مشارکت‌های فردی بیشتر جنبه‌های اصلی کار دیویس را لمس می‌کنند و آن را در یک زمینه معاصر قرار می‌دهند. آن‌ها بسیاری از ایده‌ها و مفاهیمی را که دیویس مطرح کرده است، تحلیل، بحث و توسعه می‌دهند، از جمله مسائلی مانند حل‌کننده‌های رضایت‌پذیری معاصر، وحدت اساسی، محاسبات کوانتومی و تعمیم‌های مسئله دهم هیلبرت.

این کتاب با یک زندگینامه علمی از دیویس شروع می‌شود و با پاسخ‌های او به نظرات موجود در مشارکت‌ها به پایان می‌رسد. علاوه بر این، شامل دو مقاله تاریخی اصلی است که قبلاً منتشر نشده بود که در آنها دیویس و پاتنم جنبه تصمیم‌پذیر و غیرقابل تصمیم منطق را بررسی می‌کنند، و همچنین کتاب‌شناسی کاملی از کار دیویس. به طور کلی، این کتاب نشان می‌دهد که چگونه کار علمی دیویس در تلاقی محاسبات‌پذیری، علم کامپیوتر نظری، پایه‌های ریاضیات و فلسفه قرار دارد و دیدگاه وحدت‌بخش خود را از مشارکت عمیق او در منطق می‌گیرد.

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem.

The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.