برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Undecidable theories

دانلود کتاب نظریه های غیرقابل انکار

مشخصات کتاب

Undecidable theories

دسته بندی: منطق
ویرایش:  
نویسندگان: Tarski A  
سری: Studies in Logic and the Foundations of Mathematics 13 
ISBN (شابک) : 9780444533784, 0720422469 
ناشر: NH 
سال نشر: 1971 
تعداد صفحات: 105 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 72,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 12

در صورت تبدیل فایل کتاب Undecidable theories به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه های غیرقابل انکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه های غیرقابل انکار

این تک نگاری از سه مقاله تشکیل شده است: \"روش کلی در اثبات غیرقابل تصمیم گیری\" ، \"تصمیم ناپذیری و غیرقابل تصمیم گیری اساسی در حساب\" ، \"تصمیم ناپذیری نظریه ابتدایی گروه ها\".

توضیحاتی درمورد کتاب به خارجی

This monography consists of three papers: "A general method in proofs of undecidability", "Undecidability and essential undecidability in arithmetic", "Undecidability of the elementary theory of groups".

فهرست مطالب

Title ......Page 3
Copyright ......Page 4
Dedication ......Page 5
Preface ......Page 6
Contents ......Page 9
I. A GENERAL METHOD IN PROOFS OF UNDECIDABILITY. By ALFRED TARSKI ......Page 11
I.1. Introduction ......Page 13
I.2. Theories with standard formalization ......Page 15
I.3. Undecidable and essentially undecidable theories ......Page 22
I.4. Interpretability and weak interpretability ......Page 30
I.5. Relativization of quantifiers ......Page 34
I.6. Examples and applications ......Page 40
II. UNDECIDABILITY AND ESSENTIAL UNDECIDABILITY IN ARITHMETIC. By ANDRZEJ MOSTOWSKI, RAPHAEL M. ROBINSON, and ALFRED TARSKI ......Page 47
II.1. A summary of results; notation ......Page 49
II.2. Definability in arbitrary theories ......Page 54
II.3. Formalized arithmetic of natural numbers and its subtheories ......Page 61
II.4. Recursiveness and definability in subtheories of arithmetic ......Page 65
II.5. Undecidability of subtheories of arithmetic ......Page 70
II.6. Extension of the results to other arithmetical theories and to various theories of rings ......Page 75
III. UNDECIDABILITY OF THE ELEMENTARY THEORY OF GROUPS. By ALFRED TARSKI ......Page 85
Bibliography ......Page 99
Index ......Page 103