دانلود کتاب Kurt Gdel: Essays for his Centennial – کورت جی دل: مقالاتی برای صدمین سالگرد او

توضیحات

Kurt Gdel (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 Gdel’s centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gdel’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.

————————————————————–

ترجمه ماشینی :

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

tag : دانلود کتاب کورت جی دل: مقالاتی برای صدمین سالگرد او , Download کورت جی دل: مقالاتی برای صدمین سالگرد او , دانلود کورت جی دل: مقالاتی برای صدمین سالگرد او , Download Kurt Gdel: Essays for his Centennial Book , کورت جی دل: مقالاتی برای صدمین سالگرد او دانلود , buy کورت جی دل: مقالاتی برای صدمین سالگرد او , خرید کتاب کورت جی دل: مقالاتی برای صدمین سالگرد او , دانلود کتاب Kurt Gdel: Essays for his Centennial , کتاب Kurt Gdel: Essays for his Centennial , دانلود Kurt Gdel: Essays for his Centennial , خرید Kurt Gdel: Essays for his Centennial , خرید کتاب Kurt Gdel: Essays for his Centennial ,