:  ۸۸۴۷۴
:  علم
:  قضیه گودل
:  قضیه
   رضا امیر رحیمی
:   نیلوفر
:  رقعی
:  ۱۳۹۳
:  ۱
:  ۱۵
:  ۲۲
:  نرم
:  ۲۷۸
:  ۱۷۰,۰۰۰ ریال


درباره کتاب:


کرت گودل بی تردید بزرگ ترین منطق دان قرن بیستم، و در کنار ارسطو و فرگه، یکی از سه منطق دان بزرگ تاریخ است. نبوغ و شخصیت کافکایی بی نظیر او بیش از هر چیز در دو قضیه ای بازتاب یافته، که به عنوان قضیه ناتمامیت معروف هستند، و گودل آن ها را به شیوه ای بدیع در ۲۵ سالگی به اثبات رساند. انتشار مقاله دوران ساز او که حاوی اثبات این قضیه بود، نقطه ی عطفی در تاریخ اندیشه ی ریاضی و منطق، و به طور کلی، علم است.

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

دیوار این محصول | کل دیوار
دیوار شهر کتاب، دیواری‌است برای گفت‌وگوی علاقمندان به کتاب و کتابخوانی و نوشتن درباره علاقه‌مندی های مشترک
برای نوشتن و فعالیت در دیوار شهر کتاب به سیستم وارد شوید
سال ۱۹۳۱ در یک مجله علمی آلمانی مقاله نسبتا کوتاهی منتشر شد که عنوان آن چنین بود: درباره گزاره‌های صوری تصمیم‌ناپذیر در کتاب "اصول ریاضیات" و نظام‌های مرتبط. نویسنده این مقاله کرت گودل بود. او در آن زمان یک ریاضی‌دان جوان ۲۵ ساله در دانشگاه وین بود که بعدها از سال ۱۹۳۸ تا آخر عمر خود عضو دائم مرکز پژوهش‌های پیشرفته در دانشگاه پرینستون شد. این مقاله نقطی عطفی در تاریخ منطق و ریاضیات است. در سال ۱۹۵۲ که دانشگاه هاروارد خواست به او درجه دکترای افتخاری بدهد، در تقدیرنامه ذکر شده بود که این اثر کوتاه او یکی از مهم‌ترین پیشرفت‌های منطق در دوران مدرن است. اما علی رغم این اهمیت تاریخی، آن مقاله در زمان انتشار با استقبال خوبی مواجه نشد؛ زیرا بیشتر ریاضی‌دانان نه از عنوان مقاله چیزی فهمیدند و نه از مطالب و محتوای آن چیزی دست‌گیرشان شد. "اصول ریاضیات" که در عنوان مقاله آمده به کتاب سه جلدی مهم و مشهور آلفرد نورث وایتهد و برتراند راسل اشاره دارد. این کتاب که به منطق ریاضی و بنیادهای ریاضی می‌پردازد، در بیشتر شاخه‌های ریاضی پیش‌نیاز نبوده و به همین دلیل بیشتر ریاضی‌دانان لزومی نمی‌بینند که با مطالب مفصل آن آشنا باشند. همچنین گودل در مقاله خود به پرسش‌هایی پرداخته که تنها اندکی از پژوهشگران به آنها علاقمند بوده‌اند. استدلال‌های مقاله نیز طوری بودند که فقط متخصصان می‌توانستند از آن سر در بیاورند و آن را بخوبی درک کنند. مجموعه این عوامل باعث شد که ارزش و اهمیت آن مقاله درست درک نشود. اما امروزه اوضاع کاملا فرق کرده و نظریه گودل بطور گسترده‌ای پذیرفته شده و همگان فهمیده‌اند که نتایج آن مقاله از جهت اهمیت کاملا انقلابی هستند. نتایج و اثرات این نظریه به منطق و ریاضی محدود نمانده و دامنه گسترده‌ای از دانش‌ها را تحت الشعاع خود قرار داده است. در روزگار ما لوازم و نتایج این نظریه وارد حوزه کامپیوتر، هوش مصنوعی، فلسفه ذهن، فیزیک، فلسفه و... شده است.

کتاب حاضر نیز قصد دارد لب و محتوای نظریه گودل را طوری توضیح دهد که حتی افراد غیرمتخصص نیز بتوانند آن را درک کنند و استدلال‌های مربوط به آن را بفهمند. فهم کامل و دقیق سخنان گودل بویژه استدلال‌های او بدون آشنایی گسترده با ریاضیات بسیار دشوار است اما ساختار بنیادی استدلال‌ها و جوهر نتایج بحث برای غیرمتخصص نیز قابل درک است. البته برای چنین درک و فهمی لازم است که شخص با بعضی از دگرگونی‌ها در تاریخ منطق صوری و ریاضی آشنا باشد.

به ... دیدن ادامه » همین دلیل در بخش اول این کتاب دو بخشی، چهار فصل برای این کار در نظر گرفته شده تا مقدمات آشنایی خواننده را با نظریه گودل فراهم کند. پس از آن چهار فصل و یک پیوست به توضیح و تبیین خود نظریه ناتمامیت اختصاص یافته است. در بخش دوم کتاب نیز چهار فصل توسط چهار نفر نگاشته شده که هر کدام از آنها خاطرات جالب خود را در مورد گودل روایت می‌کنند و خواننده را با زندگی و آثار و افکار او بهتر و بیشتر آشنا می‌کنند. کتاب حاضر که چاپ اول آن در سال ۱۹۵۸صورت گرفت، علاوه بر اینکه اولین کتابی است که جهت آشنایی افراد غیرمتخصص با نظریه گودل نگاشته شد، اما همچنان یکی از مشهورترین و پرخواننده‌ترین آثار در همین موضوع است. این اثر برای کسانی که به منطق، ریاضیات، فلسفه منطق و منطق فلسفی علاقمند هستند، علاوه بر اینکه کتابی بسیار مفید و آموزنده است، بسیار جالب، جذاب و شیرین نیز هست.

http://www.alef.ir/book
۲۰ اسفند ۱۳۹۳
کورش بیژنی این را دوست دارد
برای همراهی در دیوار لطفا درآغاز    وارد شوید