کتاب الکترونیکی

قضایای ناتمامی گودل

Godel's incompleteness theorems

دانلود کتاب Godel’s incompleteness theorems (به فارسی: قضایای ناتمامی گودل) نوشته شده توسط «Smullyan R.M.»


اطلاعات کتاب قضایای ناتمامی گودل

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

نویسنده: Smullyan R.M.

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1992

تعداد صفحه: 151

حجم کتاب: 6 مگابایت

توضیحات کتاب قضایای ناتمامی گودل

کورت گودل، بزرگ‌ترین منطق‌دان زمان ما، در سال 1931 با قضیه غیرقابل تصمیم‌پذیری خود، دنیای ریاضیات را مبهوت کرد، که نشان داد برخی گزاره‌ها در ریاضیات ذاتاً غیرقابل تصمیم‌گیری هستند. قوام بدیهیات انتخاب و نظریه پیوستگی شهرت جهانی بیشتری برای او به ارمغان آورد.در این جلد مقدماتی ریموند اسمولیان که خود منطق دان معروفی است خواننده را در دنیای شگفت انگیز قضایای ناتمام بودن گودل راهنمایی می کند.سطح ارائه مناسب است. برای هر کسی که آشنایی اولیه با منطق ریاضی دارد. به عنوان مقدمه ای واضح و مختصر برای یک موضوع دشوار اما ضروری، این کتاب برای ریاضیدانان، فیلسوفان و دانشمندان کامپیوتر جذاب خواهد بود.


Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently “undecidable. His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel’s incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.

دانلود کتاب «قضایای ناتمامی گودل»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.