دانلود کتاب The Logic of Provability (به فارسی: منطق اثبات پذیری) نوشته شده توسط «George S. Boolos»
اطلاعات کتاب منطق اثبات پذیری
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Cambridge University Press
نویسنده: George S. Boolos
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1995
تعداد صفحه: 314
حجم کتاب: 3 مگابایت
کد کتاب: 9780521483254 , 0521483255 , 0521433428 , 9780521433426
توضیحات کتاب منطق اثبات پذیری
همانطور که سایر داوران خاطرنشان می کنند، این کتاب از این جهت قابل توجه است که هم مقدمه ای ملایم و معقول از این موضوع را ارائه می کند، حتی برای کسانی که پیش زمینه ریاضی زیادی ندارند (دانشجویان فلسفه گرایش منطقی به ذهن می رسند)، و در عین حال تا به امروز باقی مانده است. یک مرجع ضروری برای متخصص – به عنوان مثال، این تنها منبعی است که در آن می‌توانید شواهد نتایج کامل بودن مدال «سایر» سولووی برای مدل‌های متعدی نظریه مجموعه‌ها را بیابید. هدیه ای از نمایش درخشان آموزشی.
تنها یک کتاب دیگر در مورد این موضوع وجود دارد: «خودارجاع و منطق مدال» اثر سی اسموریانسکی، که اکنون چاپ نشده است، که مکمل خوبی برای Boolos با همپوشانی بسیار کوچک است. برای مقدمه، من در توصیه Boolos به Smory’nski دریغ نکنید.
از سال 1993، «باتوم» کاملاً «از دست بولوس نیفتاده است» – خواننده علاقه مند می تواند این موضوع را از طریق به عنوان مثال چند کتاب راهنمای فصلی که به راحتی با جستجو در اطراف پیدا می شود، دنبال کند که به ادبیات پژوهشی کنونی اشاره دارد. با این حال، به نظر نمی‌رسد به این زودی‌ها هیچ نمایشگاه دیگری در سطح کتاب درسی ارائه نشود.
به عنوان نظری به بررسی galloamericanus، باید توجه داشته باشم که بولوس تک نگاری خود را منحصراً یا حتی عمدتاً به نتایج خود محدود نمی کند. خواننده تا سال 1993 یک دید کلی از زمینه تحقیقاتی که توسط بسیاری از مشارکت کنندگان شکل گرفته بود به دست می آورد.
There is only one other book on the subject—C.Smory’nski’s “Self-Reference and Modal Logic”, now out-of-print, which provides a nice complement to Boolos with surprisingly small overlap. For an introduction, I would not hesitate to recommend Boolos over Smory’nski.
Since 1993 the “baton” has not completely “fallen out of Boolos’ hands”—the interested reader can follow up on this via e.g. a couple of handbook-chapter expositions, easily found by googling around, that point to current research literature. However, no further textbook-level exposition appears to be forthcoming anytime soon.
As a comment to galloamericanus’ review, I would note that Boolos does not restrict his monograph exclusively or even primarily to his own results. The reader gets a fair overview of the research field by 1993 as shaped by many contributors.
دانلود کتاب «منطق اثبات پذیری»
