goedels

  • فرا ریاضیات، ماشین‌ها و اثبات گودل

    دانلود کتاب Metamathematics, machines and Goedel’s proof (به فارسی: فرا ریاضیات، ماشین‌ها و اثبات گودل) نوشته شده توسط «N. Shankar» اطلاعات کتاب فرا ریاضیات، ماشین‌ها و اثبات گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: N. Shankar زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1994 تعداد صفحه: 218 حجم کتاب: 2 مگابایت کد کتاب: 052142027X , 0511569882 , 9780521585330 , 9780521420273 , 9780511569883 , 0521585333 توضیحات کتاب فرا ریاضیات، ماشین‌ها و اثبات گودل تأیید خودکار بخش‌های بزرگ ریاضیات هدف بسیاری از ریاضیدانان از لایب‌نیتس تا هیلبرت بوده است. در حالی…

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

    دانلود کتاب Goedel’s incompleteness theorems (به فارسی: قضایای ناتمامی گودل) نوشته شده توسط «Raymond M. Smullyan» اطلاعات کتاب قضایای ناتمامی گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: Raymond M. Smullyan زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 تعداد صفحه: 151 حجم کتاب: 2 مگابایت کد کتاب: 0195046722 , 9781423735199 , 9780195046724 نوبت چاپ: First Printing توضیحات کتاب قضایای ناتمامی گودل کورت گودل، بزرگ‌ترین منطق‌دان زمان ما، در سال 1931 با قضیه تصمیم‌ناپذیری خود، دنیای ریاضیات را مبهوت کرد، که نشان داد برخی گزاره‌ها در ریاضیات ذاتاً «تصمیم‌ناپذیر»…

  • اثبات گودل: با پیشگفتار D.R. هافستادتر

    دانلود کتاب Goedel’s Proof: With a foreword by D.R. Hofstadter (به فارسی: اثبات گودل: با پیشگفتار D.R. هافستادتر) نوشته شده توسط «Ernest Nagel – James R. Newman – Douglas R. Hofstadter» اطلاعات کتاب اثبات گودل: با پیشگفتار D.R. هافستادتر موضوع اصلی: ابتدایی نوع: کتاب الکترونیکی ناشر: NYU Press نویسنده: Ernest Nagel – James R. Newman – Douglas R. Hofstadter زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 160 حجم کتاب: 2 مگابایت کد کتاب: 9780585480329 , 9780814758168 , 0814758169 نوبت چاپ: Revised توضیحات کتاب اثبات گودل: با پیشگفتار D.R. هافستادتر شاهکار کوچکی…

  • مقدمه ای بر قضایای گودل

    دانلود کتاب An introduction to Goedel’s theorems (به فارسی: مقدمه ای بر قضایای گودل) نوشته شده توسط «Smith P.» اطلاعات کتاب مقدمه ای بر قضایای گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Smith P. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 130 حجم کتاب: 1 مگابایت نوبت چاپ: web draft دانلود کتاب «مقدمه ای بر قضایای گودل»

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