دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
دانلود کتاب مبانی ریاضیات: مقالات سمپوزیوم به مناسبت شصتمین سالگرد تولد کورت گودل
مشخصات کتاب
Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
ویرایش: [1 ed.] نویسندگان: Stephen F. Barker (auth.), Jack J. Bulloff, Thomas C. Holyoke, Samuel W. Hahn (eds.) سری: ISBN (شابک) : 9783642867477, 9783642867453 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1969 تعداد صفحات: 196 [206] زبان: English-German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی ریاضیات: مقالات سمپوزیوم به مناسبت شصتمین سالگرد تولد کورت گودل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی ریاضیات: مقالات سمپوزیوم به مناسبت شصتمین سالگرد تولد کورت گودل
دکتر شصتمین سالگرد تولد کورت گودل (28 آوریل 1966) و سی و پنجمین سالگرد انتشار قضایای او در مورد تصمیم ناپذیری، در هفتاد و پنجمین سالگرد آکادمی علوم اوهایو در دانشگاه ایالتی اوهایو، کلمبوس، در 22 آوریل 2619 جشن گرفته شد. این جشن به شکل یک سمپوزیوم Festschrift با موضوعی تحت حمایت مدیر فقید موسسه مطالعات پیشرفته در پرینستون، نیوجرسی، دکتر J. ROBERT OPPENHEIMER برگزار شد: \"منطق و روابط آن با ریاضیات، علوم طبیعی، و فلسفه.\" این سمپوزیوم همچنین تأسیس بخش L (علوم ریاضی) آکادمی علوم اوهایو را جشن گرفت. درود بر دکتر GODEL با خواندن مقالاتی توسط S. F. BARKER، H. B. CURRY، H. RUBIN، G. E. SACKS و G. TAKEUTI همراه شد و با اعلام مقالات غیرحضوری به افتخار دکتر GODEL توسط A. LEVY، B. MELTZER، R. M. SOLOVAY، و E. WETTE. بحث کوتاهی درباره «دوره فراتر از گودل من» جلسه را به پایان رساند.
توضیحاتی درمورد کتاب به خارجی
Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio Ac ademy of Science at The Ohio State University, Columbus, on April 22, 1966. The celebration took the form of a Festschrift Symposium on a theme supported by the late Director of The Institute for Advanced Study at Princeton, New Jersey, Dr. J. ROBERT OPPENHEIMER: "Logic, and Its Relations to Mathematics, Natural Science, and Philosophy." The symposium also celebrated the founding of Section L (Mathematical Sciences) of the Ohio Academy of Science. Salutations to Dr. GODEL were followed by the reading of papers by S. F. BARKER, H. B. CURRY, H. RUBIN, G. E. SACKS, and G. TAKEUTI, and by the announcement of in-absentia papers contributed in honor of Dr. GODEL by A. LEVY, B. MELTZER, R. M. SOLOVAY, and E. WETTE. A short discussion of "The II Beyond Godel's I" concluded the session.
فهرست مطالب
Front Matter....Pages I-XII
Realism as a Philosophy of Mathematics....Pages 1-9
The Undecidability of λK -Conversion....Pages 10-14
The Definability of Cardinal Numbers....Pages 15-38
The Use of Symbolic Logic in Proving Mathematical Theorems by Means of a Digital Computer....Pages 39-45
A New Approach to the Foundations of Probability....Pages 46-50
Measure-Theoretic Uniformity....Pages 51-57
On the Cardinality of $$ \sum_2^1 $$ Sets of Reals....Pages 58-73
The Universe of Set Theory....Pages 74-128
Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik....Pages 130-195
