نرم افزار: سیستم ها: محاسبات علمی

اثبات گودل

Godel's Proof

دانلود کتاب Godel’s Proof (به فارسی: اثبات گودل) نوشته شده توسط «Ernest Nagel»


اطلاعات کتاب اثبات گودل

موضوع اصلی: ریاضیات

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

ناشر: Routledge

نویسنده: Ernest Nagel

زبان: English

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

سال انتشار: 1971

تعداد صفحه: 129

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

کد کتاب: 9780203406618 , 9780415040402 , 0203406613 , 041504040X

نوبت چاپ: 2

توضیحات کتاب اثبات گودل

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


In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.

دانلود کتاب «اثبات گودل»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.