The Incomputable: Journeys Beyond the Turing Barrier

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

این کتاب مورد توجه محققان در زمینه‌های علوم کامپیوتر نظری، منطق ریاضی و فلسفه خواهد بود.

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis.

This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.