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

تئوری بازگشتی برای فرا ریاضیات

Recursion Theory for Metamathematics

دانلود کتاب Recursion Theory for Metamathematics (به فارسی: تئوری بازگشتی برای فرا ریاضیات) نوشته شده توسط «Raymond M. Smullyan»


اطلاعات کتاب تئوری بازگشتی برای فرا ریاضیات

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

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

ناشر: Oxford University Press

نویسنده: Raymond M. Smullyan

زبان: English

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

سال انتشار: 1993

تعداد صفحه: 175

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

کد کتاب: 019508232X , 9781423734543 , 9780195082326

توضیحات کتاب تئوری بازگشتی برای فرا ریاضیات

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


This work is a sequel to the author’s Godel’s Incompleteness Theorems, though it can be read independently by anyone familiar with Godel’s incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

دانلود کتاب «تئوری بازگشتی برای فرا ریاضیات»

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

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