کتاب زبان اصلی Computability and Unsolvability اثر Martin Davis کتاب قابلیت محاسبه و عدم قابلیت حل Computability and Unsolvability نوشته مارتین دیویس در سال 1958 منتشر شد این کتاب به بررسی مفاهیم پایه ای نظریه محاسبات و مسائل حل ناپذیر در علوم کامپیوتر می پردازد دیویس در این کتاب ماشین تورینگ را معرفی کرده و با استفاده از آن به بررسی مسئله تصمیم پذیری و توابع محاسبه پذیر و غیرقابل محاسبه می پردازد وی همچنین مفهوم برنامه نویسی موثر و غیرقابلیت حل مسئله توقف را تشریح می کند این کتاب برای دانشجویان علوم کامپیوتر بسیار مفید است