دانلود کتاب Proof Theory: An Introduction (به فارسی: نظریه اثبات: مقدمه) نوشته شده توسط «Wolfram Pohlers (auth.)»
اطلاعات کتاب نظریه اثبات: مقدمه
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Wolfram Pohlers (auth.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 220
حجم کتاب: 10 مگابایت
کد کتاب: 9780387518428 , 0-387-51842-8
نوبت چاپ: 1
توضیحات کتاب نظریه اثبات: مقدمه
اگرچه این متن مقدماتی در نظریه اثبات است، بیشتر مطالب آن به صورت یکپارچه در جای دیگری در ادبیات یافت نمی شود، مگر در سطح بسیار پیشرفته. قلب این کتاب، تحلیل ترتیبی سیستمهای بدیهی است، با تأکید ویژه بر تئوری غیرقابل قبول تعاریف استقرایی ابتدایی در مورد اعداد طبیعی. پیامدهای “سازنده” تحلیل ترتیبی در پایان نامه ترسیم شده است. این کتاب با فرض عدم دانش قبلی در مورد نظریه اثبات و تقریباً هیچ یک از منطق، یک درمان مستقل ارائه می دهد. علاوه بر این، نویسنده سعی کرده است از “زبان کابال” نظریه اثبات استفاده نکند، بلکه فقط از زبانی آشنا برای اکثر خوانندگان استفاده کند.
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The “constructive” consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the “cabal language” of proof theory, but only a language familiar to most readers.
دانلود کتاب «نظریه اثبات: مقدمه»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.