مشخصات کتاب

Computability: Turing, Goedel, Church, and beyond

ویرایش:  
نویسندگان: Copeland B.J.,  et al. (eds.)  
سری:  
ISBN (شابک) : 9780262018999 
ناشر: MIT 
سال نشر: 2013 
تعداد صفحات: 372 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

در صورت تبدیل فایل کتاب Computability: Turing, Goedel, Church, and beyond به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب قابلیت محاسبه: تورینگ، گودل، چرچ و فراتر از آن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب قابلیت محاسبه: تورینگ، گودل، چرچ و فراتر از آن

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

توضیحاتی درمورد کتاب به خارجی

Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments. In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding.Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics.ContributorsScott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J. Posy, Hilary Putnam, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Robert I. Soare, Umesh V. Vazirani

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Theft by finding: Diaries (1977-2002)

دانلود کتاب Becoming A Programmer: A Beginner’s Guide

دانلود کتاب Advances in Digital Forensics X: 10th IFIP WG 11.9 International Conference, Vienna, Austria, January 8-10, 2014, Revised Selected Papers

دانلود کتاب Advances in Nuclear Science and Technology: Volume 11

دانلود کتاب Auswuchttechnik: Band 1 Allgemeine Grundlagen, Meßverfahren und Richtlinien