۱۳۸۸ خرداد ۸, جمعه
توجيه يك ...(؟)
نمي‌دونم اينكه فكر مي‌كردم توجيهي نداره، توجيه خوبي بود واسه اينكه توضيح نخواستم يا نه...
۱۳۸۸ خرداد ۳, یکشنبه
۱۳۸۸ خرداد ۲, شنبه
۱۳۸۸ اردیبهشت ۲۱, دوشنبه
راه‌حل
هر مساله‌اي يك راه حل سريع، ساده، اما غلط دارد! (هِنري لوييس مِنكن)
من تا مدت‌ها فكر مي‌كردم هر مساله‌اي راه‌حلي ساده اما زمانگير داره (مثل روش backtrack)، تا اينكه مساله Halting رو ديدم، مساله‌اي كه مهم نيست چقدر وقت بدي، به هر حال كامپيوتر جماعت نمي‌تونه حلش كنه! مساله اينه كه يه برنامه‌ي كامپيوتري داريم، مي‌خوايم ببينيم كه اگه اجراش كنيم بالاخره تموم مي‌شه يا تا بي‌نهايت ادامه داره! (يعني با توجه به محدوديت RAM و CPU، توي يه حلقه گرفتار مي‌شه يا نه) ثابت شده كه اين مساله در حالت كلي نمي‌تونه توسط كامپيوتر حل بشه!
هميشه اين سوال برام مطرح بود كه اون مسائلي كه توسط كامپيوتر حل نمي‌شن همين قدر فلسفي‌ان يا اين كه مسائل ملموس‌تري هم هستن كه كامپيوتر نتونه حلشون كنه. وقتي مي‌گم مساله ملموس منظورم همين مسائل عادي هستن كه معمولاً كامپيوتر تو حلشون خيلي كمك مي‌كنه، مثل اين مسئله:
فرض كنيد يه مجموعه‌اي از دومينوها داريم، كه طرف پايين و بالاش يه سري حرف نوشته شده، مي‌خواييم ببينم كه آيا مي‌شه اينارو يه طوري بغل هم گذاشت كه جمله‌اي كه طرف بالاي دومينوها ايجاد مي‌شه همون جمله‌اي باشه كه طرف پايين ايجاد مي‌شه؟! (تكرار هم مجازه)
مثلاً براي اين مجموعه
اين مي‌تونه يه جواب باشه
من كه خيلي تعجب كردم وقتي فهميدم، اين مساله با اين درجه از ملموسيت(!) هم در حالت كلي توسط كامپيوتر نمي‌تونه حل بشه، هر چقدر هم كه بهش زمان بديم!
۱۳۸۸ اردیبهشت ۱۶, چهارشنبه
دروغ vs حقيقت
يكي نوشته: "هیچ حقیقتی برتر از دروغ و هیچ دروغی برتر از حقیقت نیافتم."
براي اينكه بگم خوب نگشته، يه نمونه از چيزايي كه گقته نيافته رو نوشتم:
يك حقیقت برتر از دروغ: هیچ دروغی برتر از حقیقت یافت نمي‌شود!
يك دروغ برتر از حقیقت: هیچ حقیقتی برتر از دروغ يافت نمي‌شود!
۱۳۸۸ اردیبهشت ۱۵, سه‌شنبه
اشتراک در:
پست‌ها (Atom)