به درستی معلوم نیست كه اولین دفعه چه كسی این پارادکس را ابداع كرد، ولی بنا به گفتهی کواین - قیلسوف علم مشهور - این مساله قبل از سال 1940 بر سر زبانها افتاده و دهان به دهان میگشت و عموماً به صورت مسألهای تحت عنوان شخص محكوم به مرگ مطرح میشد كه اكنون ما به شرح آن میپردازیم:
در یك روز جمعه دادگاه شخصی را به مرگ محكوم كرد. قاضی به زندانیِ محكوم گفت:
ظهریكی از روزهای هفتهی آینده حكم اعدام دربارهی تو اجرا خواهد شد، ولی ما آنروز را برای تو مشخص نخواهیم كرد و تو هرگز قبل از آن روز اطلاع پیدا نخواهی كرد و فقط شش ساعت قبل یعنی صبحِ روز اجرای حكم موضوع را به تو اطلاع خواهیم داد.
قاضیِ مذكور در همهی عالم به ذكاوت و خوشقولی مشهور بود و همیشه دقیقاً به گفتهی خود عمل مینمود.
زندانی به همراهی وكیل مدافع خود به سلولش داخل شد و هر دو غمزده در گوشهای به فكر فرو رفتند. ناگاه وكیل مدافع با لبخندی پیروزمندانه سكوت را شكست و گفت:
اجرای حكم قاضی امكان ندارد.
زندانی گفت:
من كه چیزی سردر نمیآورم. چرا؟
وكیل مدافع پاسخ داد:
اجازه بده تا درست برایت شرح دهم: مسلماًً آنها روز جمعه نمینتوانند تو را اعدام كنند. به دلیلِ اینكه اگر فرضاً بخواهند در روز جمعهی آینده حكم را اجرا نمایند. در این صورت تو تمام روزهای هفته و همچنین بعدازظهر پنجشنبه زنده خواهی بود و چون فقط روز جمعه یعنی یك روز دیگر به مهلت باقی مانده، بعد ازظهر پنجشنبه برای تو مسلم خواهد شد كه فردا یعنی روز جمعه و تنها روز آخر هفته ، حكم اجرا خواهد شد. در نتیجه تو روز اجرای حكم را یك روز پیشتر پیشبینی و قبل از صبح جمعه از آن اطلاع حاصل كردهای و این موضوع نقض حكم قاضی بوده و گفتهی او را بیاعتبار خواهد كرد.
زندانی گفتهی او را تصدیق كرد.وكیل مدافع ادامه داد:
بنابراین روز جمعهی آینده از فهرستِ روزهای مهلت حذف و در آن روز حكم غیرقابل اجرا است. و اما روز پنجشنبه نیز نمیتوانند تو را اعدام كنند چون در بعدازظهرِ چهارشنبه دو روز بیشتر به آخر هفته نمانده و چون روز جمعه از فهرست حذف شد ، تنها روز پنجشنبه آخرین روز اجرای حكم میباشد نتیجتاً بعدازظهر چهارشنبه تو خواهی دانست در روز پنجشنبه كه آخرین روز امكان اجرای حكم است، تو را اعدام خواهند كرد. اطلاع تو یك روز پیشتر از اجرای حكم مجدداً متناقض با حكم قاضی است. بنابراین پنجشنبه نیز حكم غیرقابل اجرا است. چهارشنبه نیز امكان اجرای حكم وجود ندارد چون جمعه و پنجشنبه حكم غیرقابل اجرا شد و فقط چهارشنبه آخرین روز اجرای حكم تشخیص داده شد و تو كه بعدازظهر سهشنبه هنوز زنده هستی، اجرای حكم روز چهارشنبه را پیشبینی خواهی كرد و از آن اطلاع خواهی یافت.
در این موقع كه زندانی از حالت غمزدگی بیرون آمده بود با لبخندی مسرتبخش گفت:
پس به هر طریق میتوان گفت كه روز سهشنبه و سپس دوشنبه و بالاخره یكشنبه نمیتوانند مرا اعدام كنند و فقط فردا یعنی شنبه باقی است. و اما فردا نیز اجرای حكم برای آنها غیرممكن است چون در این صورت من امروز موضوع را خواهم فهمید.
ملاحظه میشود از لحاظ منطقی هیچ تناقضی در حكم قاضی جهت اعدام زندانی وجود ندارد با این وجود حكمش غیرقابل اجرا است. به دلایل بالا به نظر میآید كه حكم قاضی باعث نقض حكم خودش شده است، اگر حكم را اجرا كند خلاف حكم خودش شده است، اگر حكم را اجرا كند خلاف حكم خود عمل كرده و اگر اجرا نكند باز هم خلاف حكم خود رفتار نموده.
روایت دیگری از این پارادکس از یك اعلامیهی فرماندهی نظامی گفتگو میكند كه در آن ذكر شده:
برای تمرین ، در یكی از شبهای هفتهی آینده آژیر خطر كشیده خواهد شد. شب تمرین در شش بعدازظهر همان روز به اطلاع عامه خواهد رسید و تا شش بعدازظهر كسی از شب موعود مطلع نخواهد شد.
به ظاهر چنین به نظر می رسد که خود این اعلامیه ثابت میكند كه تمرین هرگز انجام نخواهد گرفت. به زبان دیگر اجرای تمرین عملی نیست مگر این كه به متن اعلامیه عمل نشود.
نظرِ شما چیست؟
ادامه دارد…
يكى ديگر از انواع پارادوكس هاى منطقى
Eternity : نوعی پازل است که توسط کریستوفر مانکتون (Christopher Monckton) اختراع شد و شامل 209 تکه م یباشد که هر کدام یک چند ضلعی هستند که زوایای داخلی آنها 30 یا 60 یا 90 درجه می باشد. این پازل در سال 1999 در انگلستان معرفی شد و هدف آن ساختن پازل به گونه ای است که تشکیل یک دوازده وجهی - از نوع dodecagon - را بدهد. این جایزه مبلغ یک میلیون پوند بود که در سال 2000 به دو ریاضی دان که مسئله را حل کردند اعطا شد. چند سال بعد یک ریاضی دان دیگر چیدمان دیگری از این پازل را حل کرد و جایزه دیگری را نصیب خود کرد.
Fields Medal : این جایزه بسیار شبیه به جایزه نوبل در ریاضیات است. همانطور که ممکن است بدانید جایزه صلح نوبل به ریاضیای دانان اعطا نمی شود. اما Field Medal هر چهار سال یکبار از طرف اتحادیه بین المللی ریاضیات به محققان ریاضی اعطا می شود. این جایزه برای اولین بار در سال 1924 از طرف یک کنگره بین المللی در تورنتو (Toronto) تعیین شد. این جایزه بالاترین جایزه و پاداش در زمینه ریاضیات است که ممکن است به شخصی تعلق بگیرد. این جایزه یک مدال طلا است که ارزشی معادل پانزده هزار دلار دارد.
IMO : در عالم ریاضی جوایز بسیاری در مسابقات بین الملی به برترین ها اعطا می شود که شاید بزرگترین و معتبرترین آنها مسابقات بین المللی المپیاد ریاضی (The International Mathematical Olympiad) است. IMO مجموعه مسابقات همه ساله برای دانش آموزان دبیرستانی در کشورهای مختلف انجام می شود. اولین IMO در سال 1959 در رمانی برگزار شد و به تدریج گسترش پیدا کرد بگونه ای که امروزه بیش از 80 کشور در آن شرکت می کنند.
Putnam : از دیگر مسابقات مهم می توان به مسابقات Putnam که در آمریکای شمالی برگزار می شود اشاره کرد. این مسابقات برای داشنجویان راضی برقرار می شود و همه ساله در اول دسامبر بیش از 2000 دانشجو در دو جلسه و در مجموع شش ساعت به حل 12 مسئله ریاضی می پردازند. اغلب مسائل سخت هستند و راه حل های عادی ندارند.
MCM : یا International Mathematical Contest in Modeling نوعی از مسابقات تیمی دانشجویی است. مسائل این مسابقات اغلب توسط مسئولین دولتی یا دست اندرکاران صنعتی طراحی می شود. بهترین راه حل ها در ژورنالها و مجله های معتبر منتشر می شوند.
Nevanlinna : جایزه ای است که از طرف اتحادیه بین الملی ریاضیات به محققین در زمینه علوم اطلاعات (Information Science) اعطا می شود. افراد برنده همانند Field Medal جایزه دریافت می کنند، این جایزه برای اولین بار در سال 1983 در ورشو ارائه شد. این جایزه به محققان در زمینه هایی مانند علوم کامپیوتر، زبانهای برنامه نویسی، مدل سازی ریاضیات، محاسبات عددی، بهینه سازی، تئوری اطلاعات، پردازش سیگنال، سیستم های کنترل، هوش مصنوعی و ... ارائه می شود.
RSA Number : اعداد RSA اعداد مرکبی هستند که تنها دو فاکتو اول دارند برای همین گاهی اوقات به آنها اعداد نیمه اول (semiprime) گفته می شود. با وجود آنکه اعداد RSA به مراتب کوچکتر از بزرگترین اعداد اولی است که تاکنون شناخته شده است اما باید اذعان کرد که تجزیه این اعداد در حالی که فاکتورهای آنها اعداد اول بزرگ باشند بسیار بسیار دشوار است. از این اعداد برای سیستم های رمز با کلید خصوصی و عمومی در انتقال اطلاعات استفاده می شود. شرکتی بنام RSA Security جایزه بزرگی به شخصی خواهد داد که الگوریتمی برای تجزیه این اعداد که فقط دو عامل اول بزرگ دارند اعطا خواهد کرد. لازم به ذکر است که تاکنون برای اعداد RSA از 100 الی 174 بیت جوایزی به ارائه دهندگان الگوریتم اعطا شده است اما برای اعداد RSA شامل 193 بیت راه حلی ارائه نشده است.
