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