کتاب الکترونیکی

منطق اثبات پذیری

The Logic of Provability

دانلود کتاب The Logic of Provability (به فارسی: منطق اثبات پذیری) نوشته شده توسط «George S. Boolos»

اطلاعات کتاب منطق اثبات پذیری

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: George S. Boolos

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1995

تعداد صفحه: 315

حجم کتاب: 3 مگابایت

کد کتاب: 9780521483254 , 0521483255 , 0521433428

توضیحات کتاب منطق اثبات پذیری

همانطور که سایر داوران خاطرنشان می کنند، این کتاب از این جهت قابل توجه است که هم مقدمه ای ملایم و معقول از این موضوع را ارائه می کند، حتی برای کسانی که پیش زمینه ریاضی زیادی ندارند (دانشجویان فلسفه گرایش منطقی به ذهن می رسند)، و در عین حال تا به امروز باقی مانده است. یک مرجع ضروری برای متخصص – به عنوان مثال، این تنها منبعی است که در آن می‌توانید شواهد نتایج کامل بودن مدال «سایر» سولووی برای مدل‌های متعدی نظریه مجموعه‌ها را بیابید. تنها یک کتاب دیگر در مورد این موضوع وجود دارد – “خودارجاعی و منطق مدال” اثر سی اسموریانسکی، که اکنون چاپ نشده است، که مکمل خوبی برای Boolos با همپوشانی بسیار کوچک است. برای مقدمه، در توصیه Boolos به Smory’nski تردیدی ندارم. از سال 1993، “باتوم” به طور کامل از دست Boolos نیفتاده است – خواننده علاقه مند می تواند این موضوع را از طریق مثلاً چند کتاب راهنما پیگیری کند. ارائه‌های فصلی، که به راحتی با جستجو در اطراف یافت می‌شوند، به ادبیات پژوهشی کنونی اشاره می‌کنند. با این حال، به نظر می‌رسد که به این زودی‌ها هیچ نمایشگاه دیگری در سطح کتاب درسی ارائه نمی‌شود. به عنوان نظری به بررسی galloamericanus، توجه می‌کنم که بولوس تک نگاری خود را محدود نمی‌کند. به طور انحصاری یا حتی عمدتاً به نتایج خودش.

As the other reviewers note, this book is remarkable in that it both offers a reasonably gentle introduction to the subject even for those without too much mathematical background (logically-inclined philosophy students come to mind), and at the same time remains to this day an indispensable reference for the specialist—this for example is the only source where you can find the proofs of Solovay’s “other” modal completeness results for transitive models of set theory. George Boolos was (is) famous for, among other things, his gift of didactically brilliant exposition.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.

دانلود کتاب «منطق اثبات پذیری»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان