ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Kurt Gödel: Essays for his Centennial

دانلود کتاب کورت گودل: مقالاتی برای صدمین سالگرد او

Kurt Gödel: Essays for his Centennial

مشخصات کتاب

Kurt Gödel: Essays for his Centennial

دسته بندی: منطق
ویرایش:  
نویسندگان: , ,   
سری: Lecture Notes in Logic 33 
ISBN (شابک) : 0511744560, 0521115140 
ناشر: Cambridge University Press 
سال نشر: 2010 
تعداد صفحات: 385 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Kurt Gödel: Essays for his Centennial به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب کورت گودل: مقالاتی برای صدمین سالگرد او

کورت گودل (1906-1978) کارهای پیشگامانه ای انجام داد که منطق و دیگر جنبه های مهم درک ما از ریاضیات را تغییر داد، به ویژه اثبات ناقص بودن حساب رسمی. این کتاب در مورد جنبه های مختلف کار او و موضوعاتی که ایده های او طنین معاصر دارند شامل مقالاتی از سمپوزیوم می 2006 در جشن صدمین سالگرد گودل و همچنین مقالاتی از سمپوزیوم سال 2004 است. تئوری اثبات، نظریه مجموعه ها، فلسفه ریاضیات و ویرایش نوشته های گودل از جمله موضوعاتی هستند که به آنها پرداخته می شود. چندین فصل به رشد فکری او و رابطه او با پیشینیان و معاصرانی مانند هیلبرت، کارنپ و هربراند می پردازد. دیگران نظرات او را در مورد توجیه در نظریه مجموعه ها در پرتو کارهای اخیرتر و انعکاس معاصر قضایای ناقص بودن او و مفهوم مجموعه ساختنی در نظر می گیرند.


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

Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set.



فهرست مطالب

COVER......Page 1
HALF-TITLE......Page 3
SERIES-TITLE......Page 5
TITLE......Page 7
COPYRIGHT......Page 8
CONTENTS......Page 9
INTRODUCTION......Page 11
GENERAL......Page 13
THE GODEL EDITORIAL PROJECT: A SYNOPSIS......Page 15
REFERENCES......Page 31
FUTURE TASKS FOR GODEL SCHOLARS......Page 33
REFERENCES......Page 54
PROOF THEORY......Page 55
GODEL AND THE METAMATHEMATICAL TRADITION......Page 57
REFERENCES......Page 71
ONLY TWO LETTERS: THE CORRESPONDENCE BETWEEN HERBRAND AND GODEL......Page 73
REFERENCES......Page 84
GODEL’S REFORMULATION OF GENTZEN’S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE NO-COUNTEREXAMPLE INTERPRETATION......Page 86
REFERENCES......Page 98
GODEL ON INTUITION AND ON HILBERT’S FINITISM......Page 100
REFERENCES......Page 118
THE GODEL HIERARCHY AND REVERSE MATHEMATICS......Page 121
REFERENCES......Page 135
ON THE OUTSIDE LOOKING IN: A CAUTION ABOUT CONSERVATIVENESS......Page 140
REFERENCES......Page 152
SET THEORY......Page 155
GODEL AND SET THEORY......Page 157
REFERENCES......Page 187
GENERALISATIONS OF GODEL’S UNIVERSE OF CONSTRUCTIBLE SETS......Page 193
REFERENCES......Page 199
ON THE QUESTION OF ABSOLUTE UNDECIDABILITY......Page 201
REFERENCES......Page 234
PHILOSOPHY OF MATHEMATICS......Page 239
WHAT DID GODEL BELIEVE AND WHEN DID HE BELIEVE IT?......Page 241
REFERENCES......Page 253
ON GODEL’S WAY IN: THE INFLUENCE OF RUDOLF CARNAP......Page 254
REFERENCES......Page 262
GODEL AND CARNAP......Page 264
REFERENCES......Page 284
ON THE PHILOSOPHICAL DEVELOPMENT OF KURT GODEL......Page 287
REFERENCES......Page 333
PLATONISM AND MATHEMATICAL INTUITION IN KURT GODEL’S THOUGHT......Page 338
Writings of Godel......Page 365
Other Writings......Page 366
GODEL’S CONCEPTUAL REALISM......Page 368
REFERENCES......Page 385




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی