توضیحات
‘The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor Hilbert, and Godel, before turning to Turing. Turing’s analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes–the computer. Davis describes how this incredible group, with lives as extraordinary as their accomplishments, grappled with logical reasoning and its mechanization. By investigating their achievements and failures, he shows how these pioneers paved the way for modern computing. Bringing the material up to date, this revised edition features a much expanded version of the discussion of artificial intelligence and current technology, and the way it confirms the significance of Turing’s pencil-and-paper universal machine with infinite memory and unlimited time for computations. More is written about the events at Princeton involving Alonzo Church (who was the doctoral advisor of Davis as well as Turing), Stephen Kleene, and Kurt Godel that led Turing to come there. Finally, further exploration of the relationship between Kronecker and Cantor can also be found’ — From the publisher. Read more…
Abstract: ‘The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor Hilbert, and Godel, before turning to Turing. Turing’s analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes–the computer. Davis describes how this incredible group, with lives as extraordinary as their accomplishments, grappled with logical reasoning and its mechanization. By investigating their achievements and failures, he shows how these pioneers paved the way for modern computing. Bringing the material up to date, this revised edition features a much expanded version of the discussion of artificial intelligence and current technology, and the way it confirms the significance of Turing’s pencil-and-paper universal machine with infinite memory and unlimited time for computations. More is written about the events at Princeton involving Alonzo Church (who was the doctoral advisor of Davis as well as Turing), Stephen Kleene, and Kurt Godel that led Turing to come there. Finally, further exploration of the relationship between Kronecker and Cantor can also be found’ — From the publisher
داستان با لایبنیتس در قرن هفدهم شروع میشود و سپس بر روی بول، فرگه، کانتور هیلبرت و گودل تمرکز میکند و سپس به تورینگ میپردازد. تجزیه و تحلیل تورینگ از فرآیندهای الگوریتمی منجر به یک ماشین همه منظوره واحد شد که می تواند برای انجام چنین فرآیندهایی برنامه ریزی شود – کامپیوتر. دیویس توضیح میدهد که چگونه این گروه باورنکردنی، با زندگیهای فوقالعادهای مانند دستاوردهایشان، با استدلال منطقی و مکانیزه آن دست و پنجه نرم کردند. او با بررسی دستاوردها و شکست های آنها نشان می دهد که چگونه این پیشگامان راه را برای محاسبات مدرن هموار کردند. با به روز رسانی مطالب، این نسخه اصلاح شده دارای نسخه بسیار گسترده ای از بحث هوش مصنوعی و فناوری فعلی است، و روشی که اهمیت ماشین جهانی مداد و کاغذ تورینگ با حافظه بی نهایت و زمان نامحدود برای محاسبات را تایید می کند. بیشتر در مورد وقایع پرینستون مربوط به آلونزو چرچ (که مشاور دکتری دیویس و همچنین تورینگ بود)، استیون کلین و کرت گودل که باعث شد تورینگ به آنجا بیاید، نوشته شده است. در نهایت، کاوش بیشتر در مورد رابطه بین Kronecker و Cantor نیز میتواند یافت شود’ — از ناشر. بیشتر بخوانید…
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.