سبد خرید
0

هیچ محصولی در سبد خرید نیست.

حساب کاربری

یا

حداقل 8 کاراکتر

پشتیبان 99004600919

پشتیبانی

18%

An Introduction to Gödel’s Theorems 2nd Edition

کتاب An Introduction to Gödel’s Theorems, 2nd Edition

خرید کتاب زبان اصلی | کاغذ تحریر | سایز اصلی کتاب | چاپ سیاه و سفید | صحافی جلد نرم

در سال 1931، کورت گودل جوان، اولین قضیه ناتمامیت خود را منتشر کرد، که به ما می گوید برای هر نظریه حسابی به اندازه کافی غنی، برخی از حقایق حسابی وجود دارد که این نظریه نمی تواند اثبات کند. این نتیجه قابل توجه یکی از جذاب ترین (و اشتباه ترین) در منطق است. گودل همچنین یک قضیه ناتمام دوم به همان اندازه مهم را ترسیم کرد.

۳۲۰,۰۰۰ تومان

موجود در انبار
قیمت منصفانه
ضمانت کیفیت
ارسال در کمترین زمان
بسته بندی مقاوم
نقد و بررسی اجمالیکتاب An Introduction to Gödel's Theorems, 2nd Edition
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem.
How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book – extensively rewritten for its second edition – will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.

About the Author

Peter Smith was formerly Senior Lecturer in Philosophy at the University of Cambridge. His books include Explaining Chaos (1998) and An Introduction to Formal Logic (2003) and he is also a former editor of the journal Analysis.How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems.

Product details

  • Publisher ‏ : ‎ Cambridge University Press; 2nd edition (May 6, 2013)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ ۴۰۲ pages
  • ISBN-10 ‏ : ‎ ۱۱۰۷۶۰۶۷۵۶
  • ISBN-13 ‏ : ‎ ۹۷۸-۱۱۰۷۶۰۶۷۵۳
  • Item Weight ‏ : ‎ ۱.۷۴ pounds
  • Dimensions ‏ : ‎ ۶.۸۵ x 0.91 x 9.72 inches
  • #  Mathematical Logic
نمایش ادامه مطلب
برچسب:
نظرات کاربرانکتاب An Introduction to Gödel's Theorems, 2nd Edition

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

اولین کسی باشید که دیدگاهی می نویسد “An Introduction to Gödel’s Theorems 2nd Edition”

نقد و بررسی‌ها0

  • جدیدترین
  • مفیدترین
  • دیدگاه خریداران

هنوز بررسی‌ای ثبت نشده است.

پرسش و پاسخکتاب An Introduction to Gödel's Theorems, 2nd Edition

هیچ پرسشی یافت نشد

    برای ثبت پرسش، لازم است ابتدا وارد حساب کاربری خود شوید

    نقد و بررسیکتاب An Introduction to Gödel's Theorems, 2nd Edition
    افزودن به سبد خرید
    مقایسه محصولات

    0 محصول

    مقایسه محصول
    مقایسه محصول
    مقایسه محصول
    مقایسه محصول