دانلود کتاب From Frege to Gödel: a source book in mathematical logic, 1879-1931
49,000 تومان
از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Harvard University Press |
| تعداد صفحه | 82 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9780674324497,0674324498 |
| نویسنده | Jean van Heijenoort |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2002 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931
در این کتاب متون بنیادی دوره بزرگ کلاسیک در منطق مدرن گردآوری شده است. ترجمه کامل کتاب Begriffsschrift گوتلوب فرگه – که با ارائه کامل محاسبات گزارهای و نظریه کمیسازی، دوران بزرگی را در تاریخ منطق گشوده است – جلد را آغاز میکند. متون بعدی ظهور نظریه مجموعه ها و مبانی ریاضیات، دو حوزه جدید در مرزهای منطق، ریاضیات و فلسفه را به تصویر می کشد. مقالات روندهایی را که منجر به Principia Mathematica، ظهور پارادوکسهای مدرن، و موضوعاتی از جمله نظریه اثبات، نظریه انواع، نظریه مجموعههای بدیهی، و قضیه لوونهایم شد، ردیابی میکنند. این جلد با مقالاتی از هربراند و گودل، از جمله مقاله معروف ناقص بودن دومی به پایان می رسد. شکی نیست که کتاب سهم ارزشمندی در ادبیات منطقی است و مطمئناً دانش منطق ریاضی و تاریخ آن را در قرن نوزدهم و بیستم گسترش خواهد داد. — آندری ماستوفسکی، سینتز “توصیف این کتاب بدون ستایش دشوار است… [از فرگه تا گودل] در واقع گزارش فصل مهمی در تاریخ اندیشه است. هیچ دانشجوی جدی منطق یا مبانی وجود ندارد. ریاضیات می خواهد بدون آن باشد.” – بررسی متافیزیک
From Frege to Gödel: a source book in mathematical logic, 1879-1931
Gathered together in this book are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege’s Begriffsschrift–which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory–begins the volume. The texts that follow depict the emergence of set theory and foundations of mathematics, two new fields on the borders of logic, mathematics, and philosophy. Essays trace the trends that led to Principia mathematica, the appearance of modern paradoxes, and topics including proof theory, the theory of types, axiomatic set theory, and Löwenheim’s theorem. The volume concludes with papers by Herbrand and by Gödel, including the latter’s famous incompleteness paper. “There can be no doubt that the book is a valuable contribution to the logical literature and that it will certainly spread the knowledge of mathematical logic and its history in the nineteenth and twentieth centuries.” –Andrzej Mostowski, Synthese “It is difficult to describe this book without praising it…[From Frege to Gödel] is, in effect, the record of an important chapter in the history of thought. No serious student of logic or foundations of mathematics will want to be without it.” –Review of Metaphysics
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.