توضیحات
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 Hilberts 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.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعهای از خاطرات تاریخی را در مورد کار مارتین دیویس و نقش او در ارتقای درک ما از ارتباطات بین منطق، محاسبات و حلناپذیری ارائه میکند. مشارکتهای فردی بیشتر جنبههای اصلی کار دیویس را لمس میکنند و آن را در یک زمینه معاصر قرار میدهند. آنها بسیاری از ایدهها و مفاهیمی را که دیویس مطرح کرده است، تحلیل، بحث و توسعه میدهند، از جمله مسائلی مانند حلکنندههای رضایتپذیری معاصر، وحدت اساسی، محاسبات کوانتومی و تعمیمهای مسئله دهم هیلبرت.
این کتاب با یک زندگینامه علمی از دیویس شروع میشود و با پاسخهای او به نظرات موجود در مشارکتها به پایان میرسد. علاوه بر این، شامل دو مقاله تاریخی اصلی است که قبلاً منتشر نشده بود که در آنها دیویس و پاتنام جنبه تصمیمپذیر و غیرقابل تصمیم منطق را بررسی میکنند، و همچنین کتابشناسی کاملی از کار دیویس. به طور کلی، این کتاب نشان میدهد که چگونه کار علمی دیویس در تقاطع محاسباتپذیری، علم کامپیوتر نظری، پایههای ریاضیات و فلسفه قرار دارد و دیدگاه وحدتبخش خود را از مشارکت عمیق او در منطق میگیرد.
tag : دانلود کتاب مارتین دیویس در مورد محاسبه پذیری، منطق محاسباتی و مبانی ریاضی , Download مارتین دیویس در مورد محاسبه پذیری، منطق محاسباتی و مبانی ریاضی , دانلود مارتین دیویس در مورد محاسبه پذیری، منطق محاسباتی و مبانی ریاضی , Download Martin Davis on Computability, Computational Logic, and Mathematical Foundations Book , مارتین دیویس در مورد محاسبه پذیری، منطق محاسباتی و مبانی ریاضی دانلود , buy مارتین دیویس در مورد محاسبه پذیری، منطق محاسباتی و مبانی ریاضی , خرید کتاب مارتین دیویس در مورد محاسبه پذیری، منطق محاسباتی و مبانی ریاضی , دانلود کتاب Martin Davis on Computability, Computational Logic, and Mathematical Foundations , کتاب Martin Davis on Computability, Computational Logic, and Mathematical Foundations , دانلود Martin Davis on Computability, Computational Logic, and Mathematical Foundations , خرید Martin Davis on Computability, Computational Logic, and Mathematical Foundations , خرید کتاب Martin Davis on Computability, Computational Logic, and Mathematical Foundations ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.