اندیشیدن درباره گودل و تورینگ ۲۰۰۷
Thinking about Godel and Turing 2007

دانلود کتاب اندیشیدن درباره گودل و تورینگ ۲۰۰۷ (Thinking about Godel and Turing 2007) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی

نویسنده

Gregory J. Chaitin

voucher (1)

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2007

زبان

English

تعداد صفحه‌ها

368

نوع فایل

pdf

حجم

2.6 MB

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

پیش‌خرید با تحویل فوری(⚡️) | فایل کتاب حداکثر تا ۳۰ دقیقه(🕒) پس از ثبت سفارش آماده دانلود خواهد بود.

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب اندیشیدن درباره گودل و تورینگ ۲۰۰۷

دکتر گریگوری چیتین، یکی از برجسته‌ترین ریاضیدانان جهان، بیشتر به خاطر کشف عدد شگفت‌انگیز Ω (اُمگا) شناخته می‌شود؛ نمونه‌ای ملموس از پیچیدگی تقلیل‌ناپذیر در ریاضیات محض که نشان می‌دهد ریاضیات بی‌نهایت پیچیده است. در این مجلد، چیتین به بحث درباره تکامل این ایده‌ها می‌پردازد و ریشه‌های آن‌ها را در اندیشه‌های لایبنیتس و بورل و همچنین گودل و تورینگ جستجو می‌کند.

این کتاب شامل ۲۳ مقاله غیرفنی از چیتین، و نیز مقالات آموزشی و مروری مورد علاقه او، از جمله سه مقاله چیتین در مجله‌ی Scientific American است. این مقالات خلاصه‌ای از تلاش‌های یک عمر برای استفاده از مفهوم پیچیدگی اندازه برنامه یا محتوای اطلاعات الگوریتمی است، به منظور روشن ساختن هر چه بیشتر کار بنیادی گودل و تورینگ در مورد محدودیت‌های روش‌های ریاضیاتی، هم در منطق و هم در محاسبات.

چیتین در اینجا استدلال می‌کند که رویکرد نظریه اطلاعات او به فراریاضیات، دیدگاهی شبه تجربی از ریاضیات را پیشنهاد می‌کند که بر شباهت‌ها به جای تفاوت‌های بین ریاضیات و فیزیک تأکید دارد. او همچنین برند فلسفه دیجیتال خود را توسعه می‌دهد، که کل جهان را به عنوان یک محاسبه بزرگ می‌بیند و حدس می‌زند که شاید همه چیز نرم‌افزار گسسته باشد، همه چیز ۰ و ۱ است.

کار ریاضیاتی بنیادی چیتین برای فیلسوفانی که به محدودیت‌های دانش علاقه‌مندند و برای فیزیکدانانی که به ماهیت پیچیدگی می‌پردازند، جذاب خواهد بود.


فهرست کتاب:

۱. فهرست

۲. یادداشت مقدماتی

۳. در دشواری محاسبات IEEE Transactions on Information Theory, ۱۹۷۰

۴. پیچیدگی محاسباتی نظریه اطلاعات IEEE Transactions on Information Theory, ۱۹۷۴

۵. تصادف و اثبات ریاضی Scientific American, ۱۹۷۵

۶. قضیه گودل و اطلاعات International Journal of Theoretical Physics, ۱۹۸۲

۷. تصادف در حساب Scientific American, ۱۹۸۸

۸. تصادف در حساب و زوال و سقوط تقلیل‌گرایی در ریاضیات محض Bulletin of the European Association for Theoretical Computer Science, ۱۹۹۳

۹. یک قرن مناقشه بر سر مبانی ریاضیات Calude & Paun, Finite versus Infinite, ۲۰۰۰

۱۰. یک قرن مناقشه بر سر مبانی ریاضیات Complexity, ۲۰۰۰

۱۱. فراریاضیات و مبانی ریاضیات Bulletin of the European Association for Theoretical Computer Science, ۲۰۰۲

۱۲. پارادوکس‌های تصادف Complexity, ۲۰۰۲

۱۳. دو کاربرد فلسفی نظریه اطلاعات الگوریتمی Lecture Notes in Computer Science, ۲۰۰۳

۱۴. در باب فهم‌پذیری جهان و مفاهیم سادگی، پیچیدگی و تقلیل‌ناپذیری Hogrebe & Bromand, Grenzen und Grenz uberschreitungen, ۲۰۰۴

۱۵. لایب‌نیتس، اطلاعات، ریاضیات و فیزیک Loer & Weingartner, Wissen und Glauben, ۲۰۰۴

۱۶. لایب‌نیتس، تصادف و احتمال توقف Mathematics Today, ۲۰۰۴

۱۷. پیچیدگی و لایب‌نیتس Acad emie Internationale de Philosophie des Sciences, Tenerife, ۲۰۰۵

۱۸. محدودیت‌های عقل Scientific American, ۲۰۰۶

۱۹. اعداد حقیقی چقدر واقعی هستند؟ International Journal of Bifurcation and Chaos, ۲۰۰۶

۲۰. معرفت‌شناسی به عنوان نظریه اطلاعات: از لایب‌نیتس تا Collapse: Journal of Philosophical Research and Development, ۲۰۰۶

۲۱. آیا تمامیت‌ناپذیری یک مشکل جدی است؟ Lolli & Pagallo, La complessit a di Godel, ۲۰۰۷

۲۲. گمانه‌زنی‌ها در مورد زیست‌شناسی، اطلاعات و پیچیدگی Bulletin of the European Association for Theoretical Computer Science, ۲۰۰۷

۲۳. چه مقدار اطلاعات می‌تواند در یک عدد حقیقی وجود داشته باشد؟ International Journal of Bifurcation and Chaos, ۲۰۰۷

۲۴. احتمال توقف : پیچیدگی تقلیل‌ناپذیر در ریاضیات محض Milan Journal of Mathematics, ۲۰۰۷

۲۵. احتمال توقف : خلاقیت متمرکز Obrist, Formulas for the Twenty-First Century, ۲۰۰۷

۲۶. فهرست انتشارات

۲۷. تقدیر و تشکر

۲۸. درباره نویسنده

توضیحات(انگلیسی)
Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as GAdel and Turing.This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin's three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of GAdel and Turing on the limits of mathematical methods, both in logic and in computation. Chaitin argues here that his information-theoretic approach to metamathematics suggests a quasi-empirical view of mathematics that emphasizes the similarities rather than the differences between mathematics and physics. He also develops his own brand of digital philosophy, which views the entire universe as a giant computation, and speculates that perhaps everything is discrete software, everything is 0's and 1's.Chaitin's fundamental mathematical work will be of interest to philosophers concerned with the limits of knowledge and to physicists interested in the nature of complexity."


Table of Contents

1. Contents

2. Introductory note

3. On the difficulty of computations IEEE Transactions on Information Theory, 1970

4. Information-theoretic computational complexity IEEE Transactions on Information Theory, 1974

5. Randomness and mathematical proof Scientific American, 1975

6. Godel's theorem and information International Journal of Theoretical Physics, 1982

7. Randomness in arithmetic Scientific American, 1988

8. Randomness in arithmetic and the decline & fall of reductionism in pure mathematics Bulletin of the European Association for Theoretical Computer Science, 1993

9. A century of controversy over the foundations of mathematics Calude & Paun, Finite versus Infinite, 2000

10. A century of controversy over the foundations of mathematics Complexity, 2000

11. Metamathematics and the foundations of mathematics Bulletin of the European Association for Theoretical Computer Science, 2002

12. Paradoxes of randomness Complexity, 2002

13. Two philosophical applications of algorithmic information theory Lecture Notes in Computer Science, 2003

14. On the intelligibility of the universe and the notions of simplicity, complexity and irreducibility Hogrebe & Bromand, Grenzen und Grenz uberschreitungen, 2004

15. Leibniz, information, math & physics Loer & Weingartner, Wissen und Glauben, 2004

16. Leibniz, randomness & the halting probability Mathematics Today, 2004

17. Complexity & Leibniz Acad emie Internationale de Philosophie des Sciences, Tenerife, 2005

18. The limits of reason Scientific American, 2006

19. How real are real numbers? International Journal of Bifurcation and Chaos, 2006

20. Epistemology as information theory: From Leibniz to Collapse: Journal of Philosophical Research and Development, 2006

21. Is incompleteness a serious problem? Lolli & Pagallo, La complessit a di Godel, 2007

22. Speculations on biology, information & complexity Bulletin of the European Association for Theoretical Computer Science, 2007

23. How much information can there be in a real number? International Journal of Bifurcation and Chaos, 2007

24. The halting probability : Irreducible complexity in pure mathematics Milan Journal of Mathematics, 2007

25. The halting probability : Concentrated creativity Obrist, Formulas for the Twenty-First Century, 2007

26. List of publications

27. Acknowledgements

28. About the author

دیگران دریافت کرده‌اند

فکر کردن به فیزیک ۲۰۲۱
Thinking about Physics 2021

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

سایر کتاب‌های ناشر

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.