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

عادی سازی، حذف حذف و تئوری اثبات

Normalization, cut-elimination and the theory of proofs

دانلود کتاب Normalization, cut-elimination and the theory of proofs (به فارسی: عادی سازی، حذف حذف و تئوری اثبات) نوشته شده توسط «A. M. Ungar»

اطلاعات کتاب عادی سازی، حذف حذف و تئوری اثبات

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

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

ناشر: CSLI Publications

نویسنده: A. M. Ungar

زبان: English

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

سال انتشار: 1992

تعداد صفحه: 245

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

کد کتاب: 0937073830 , 9780937073834

نوبت چاپ: 1

توضیحات کتاب عادی سازی، حذف حذف و تئوری اثبات

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

Gentzen’s cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic. Ungar gives an account of Gentzen’s theorem for various formalisms and discusses the difficulties involved in treating these different versions uniformly, as instances of a single theorem which is not tied to a particular system of rules. By extending the theorem to a natural deduction calculus whose derivations are allowed to have more than one conclusion, Ungar argues that the different versions of the theorem are more or less natural specializations of a single result whose significance can be understood in terms of the proofs represented by formal derivations. A concluding discussion focuses on the relationship between proofs and formal derivations, and the role proofs may play as part of a general theory of evidence.

دانلود کتاب «عادی سازی، حذف حذف و تئوری اثبات»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

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