دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Kurt Gödel: The Princeton Lectures on Intuitionism
دانلود کتاب کرت گودل: سخنرانی های پرینستون در مورد شهودگرایی
مشخصات کتاب
Kurt Gödel: The Princeton Lectures on Intuitionism
ویرایش: 1
نویسندگان: Maria Hämeen-Anttila (editor). Jan von Plato (editor)
سری: Sources and Studies in the History of Mathematics and Physical Sciences
ISBN (شابک) : 3030872955, 9783030872953
ناشر: Springer
سال نشر: 2021
تعداد صفحات: 141
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Kurt Gödel: The Princeton Lectures on Intuitionism به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کرت گودل: سخنرانی های پرینستون در مورد شهودگرایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کرت گودل: سخنرانی های پرینستون در مورد شهودگرایی
پاریس سال 1900 دو نقطه عطف به جا گذاشت: تور
ایفل، و فهرست مشهور بیست و چهار مسئله ریاضی دیوید
هیلبرت که در کنفرانسی که قرن جدید را آغاز کرد ارائه شد. کورت
گودل، نماد منطقی آن زمان، آرمان هیلبرت مبنی بر بدیهی سازی کامل
ریاضیات را دست نیافتنی نشان داد. نتیجه سال 1931، قضیه
ناتمامی گودل نامیده می شود. گودل سپس به مسئله اول و دوم
پاریس هیلبرت حمله کرد، یعنی مسئله کانتور مسئله
پیوستار درباره نوع بی نهایت بودن اعداد حقیقی، و رهایی
از تضاد نظریه اعداد حقیقی. در سال 1963، مشخص شد که اولین سؤال
هیلبرت را نمی توان با هیچ ابزار شناخته شده ای پاسخ داد، نیمی از
اعتبار این ظاهراً پاس تقلبی به گودل می رسد.
دومی مشکلی است که هنوز کاملاً باز است. گودل سال ها روی آن کار
کرد، بدون هیچ نتیجه قطعی. بهترین کاری که او می‌توانست ارائه دهد
شروعی با حساب کل اعداد بود.
این کتاب، سخنرانی‌های گودل در مؤسسه معروف پرینستون برای
مطالعات پیشرفته در سال 1941، نشان می‌دهد که او تا چه اندازه
با مسئله دوم هیلبرت، یعنی نظریه تابع‌های قابل محاسبه از نوع
محدود پیش رفته است. و اثبات قوام محاسبات معمولی. این مطالعه
ضروری برای منطق دانان، ریاضیدانان، و دانشمندان کامپیوتر علاقه
مند به سوالات اساسی ارائه می دهد. این پایه‌ای برای تحقیقات
بیشتر در مورد یادداشت‌های منتشر نشده ناکلاس گودل در مورد
چگونگی گسترش نتایج سخنرانی‌های او به نظریه اعداد واقعی خواهد
بود. این کتاب همچنین بینش‌هایی درباره کار مفهومی و رسمی که
برای حل سؤالات عمیق علمی مورد نیاز است، توسط یکی از شخصیت‌های
اصلی علم و فلسفه قرن بیستم می‌دهد.
توضیحاتی درمورد کتاب به خارجی
Paris of the year 1900 left two landmarks: the Tour
Eiffel, and David Hilbert's celebrated list of
twenty-four mathematical problems presented at a conference
opening the new century. Kurt Gödel, a logical icon of that
time, showed Hilbert's ideal of complete axiomatization of
mathematics to be unattainable. The result, of 1931, is called
Gödel's incompleteness theorem. Gödel then went on
to attack Hilbert's first and second Paris problems, namely
Cantor's continuum problem about the type of
infinity of the real numbers, and the freedom from
contradiction of the theory of real numbers. By 1963, it became
clear that Hilbert's first question could not be answered by
any known means, half of the credit of this
seeming faux pas going to Gödel. The second is
a problem still wide open. Gödel worked on it for years, with
no definitive results; The best he could offer was a start with
the arithmetic of the entire numbers.
This book, Gödel's lectures at the famous Princeton Institute
for Advanced Study in 1941, shows how far he had come with
Hilbert's second problem, namely to a theory of computable
functionals of finite type and a proof of the consistency of
ordinary arithmetic. It offers indispensable reading for
logicians, mathematicians, and computer scientists interested
in foundational questions. It will form a basis for further
investigations into Gödel's vast Nachlass of unpublished
notes on how to extend the results of his lectures to the
theory of real numbers. The book also gives insights into the
conceptual and formal work that is needed for the solution of
profound scientific questions, by one of the central figures
of 20th century science and philosophy.
فهرست مطالب
Preface Acknowledgements Contents Introduction: Gödel’s functional interpretation in context Content of the lectures Sources The intuitionistic viewpoint Between intuitionistic and classical logic Vagueness and absurdity: Gödel’s critique of intuitionism The constructive system Σ and the calculability question Interpretation of intuitionistic arithmetic in system Σ Applications of the Σ-translation After the seventeen-year silence Princeton Lectures on Intuitionism Notebook 1 Notebook 2 Proof of the soundness of the intuitionistic axioms Notes on recursive functions References Index of names in the Princeton Lectures
