গাণিতিক যুক্তি, মডেল থিওরি ও অসম্পূর্ণতা (পর্ব ১১): কন্টিনিউয়াম হাইপোথিসিস ও পল কোহেনের ফোর্সিং পদ্ধতি

১৮৭৮ সালে জর্জ ক্যান্টর সেট থিওরির সবচেয়ে বিখ্যাত অনুমানটি প্রকাশ করেন: কন্টিনিউয়াম হাইপোথিসিস (The Continuum Hypothesis – $text{CH}$)। ক্যান্টর দাবি করেন যে স্বাভাবিক সংখ্যার গণনাযোগ্য অসীম ($aleph_0$) এবং বাস্তব সংখ্যার অবিচ্ছিন্ন অসীম ($2^{aleph_0}$)-এর মাঝে দ্বিতীয় কোনো আকারের অসীম থাকতে পারে না; অর্থাৎ $2^{aleph_0} = aleph_1$। প্রায় এক শতাব্দী ধরে বিশ্বের শ্রেষ্ঠ গণিতবিদরা এই অনুমানের পেছনে ছুটেছেন। এর ঐতিহাসিক সমাপ্তি ঘটেছিল যুগান্তকারী আবিষ্কারে: কুর্ট গোডেল (১৯৩৮) এবং পল কোহেন (১৯৬৩) প্রমাণ করেন যে কন্টিনিউয়াম হাইপোথিসিস গণিতের মূল ভিত্তি $text{ZFC}$ থেকে সম্পূর্ণ স্বাধীন ও অমীমাংসিত। আর এই প্রমাণের জন্য পল কোহেন উদ্ভাবন করেন আধুনিক যুক্তিবিজ্ঞানের সবচেয়ে ক্ষমতাধর হাতিয়ার: ফোর্সিং (Forcing)।

১. ক্যান্টরের কন্টিনিউয়াম হাইপোথিসিস

ক্যান্টর তাঁর বিখ্যাত ডায়াগোনাল আর্গুমেন্ট দিয়ে দেখান যে বাস্তব সংখ্যা কোনোক্রমেই স্বাভাবিক সংখ্যার সাথে এক-এক মিল করা যায় না:

[
|mathbb{N}| = aleph_0 < |mathbb{R}| = 2^{aleph_0}
]

$aleph_0$-এর ঠিক পরবর্তী বৃহত্তর অসীম সংখ্যাটি হলো $aleph_1$। ক্যান্টরের অনুমান ছিল:

[
2^{aleph_0} = aleph_1
]

১৯০০ সালে প্যারিসে আন্তর্জাতিক গণিত সম্মেলনে ডেভিড হিলবার্ট যখন তাঁর ঐতিহাসিক ২৩টি অমীমাংসিত সমস্যার তালিকা প্রকাশ করেন, তখন তিনি কন্টিনিউয়াম হাইপোথিসিসকে রেখেছিলেন এক নম্বর সমস্যা হিসেবে।

২. গোডেলের প্রথম অর্ধাংশ: কনস্ট্রাক্টিবল ইউনিভার্স $L$ (১৯৩৮)

কুর্ট গোডেল প্রথম প্রমাণ করেন যে $text{ZFC}$-র স্বতঃসিদ্ধগুলো থেকে কন্টিনিউয়াম হাইপোথিসিসকে মিথ্যা প্রমাণ করা অসম্ভব:

[
text{Con}(text{ZFC}) implies text{Con}(text{ZFC} + text{CH})
]

গোডেল একটি বিশেষ অভ্যন্তরীণ মহাবিশ্ব তৈরি করেন, যার নাম কনস্ট্রাক্টিবল ইউনিভার্স $L$। ফন নিউম্যানের জগতে যেখানে সমস্ত খেয়ালখুশিমতো উপসেট নেওয়া হয়েছিল, গোডেল সেখানে কেবল প্রথম-স্তরের ভাষায় সুসংজ্ঞায়িত উপসেটগুলো নিয়ে ধাপে ধাপে $L$ তৈরি করেন। গোডেল প্রমাণ করেন যে এই সুশৃঙ্খল জগতে কোনো বুনো বা অনিয়ন্ত্রিত সেট থাকতে পারে না এবং এখানে অ্যাক্সিওম অফ চয়েস ও কন্টিনিউয়াম হাইপোথিসিস উভয়ই স্বয়ংক্রিয়ভাবে সত্য ($L vDash text{GCH}$)।

৩. পল কোহেনের মহাবিপ্লব: ফোর্সিং পদ্ধতি (Forcing, 1963)

সিএইচ-কে ভুল প্রমাণ করতে হলে এমন একটি নতুন মহাবিশ্ব তৈরি করা দরকার যেখানে বাস্তব সংখ্যার সংখ্যা অন্তত $aleph_2$-এর সমান হবে ($2^{aleph_0} ge aleph_2$)। কিন্তু একটি সুসংগত জগতের ক্ষতি না করে কীভাবে হাজার হাজার নতুন বাস্তব সংখ্যা ঢুকিয়ে দেওয়া সম্ভব?

পল কোহেন আবিষ্কার করলেন ফোর্সিং (Forcing):

ধাপ ১: গ্রাউন্ড মডেল $M$

একটি গণনাযোগ্য ট্রানজিটিভ মডেল $M vDash text{ZFC}$ দিয়ে শুরু করা হয়।

ধাপ ২: পসেট $mathbb{P}$ ও সসীম শর্ত

মডেলের ভেতরে একটি আংশিক ক্রমানুসারে সাজানো সেট $(mathbb{P}, le)$ নেওয়া হয়, যার উপাদানগুলো হলো নতুন বাস্তব সংখ্যাগুলোর সসীম আংশিক তথ্য (Finite Approximations)।

ধাপ ৩: জেনেটিক ফিল্টার $G$

একটি বিশেষ ফিল্টার $G$ তৈরি করা হয় যা $M$-এর সমস্ত ঘন সেটের সাথে মিলিত হয়। এই $G$ গ্রাউন্ড মডেল $M$-এর নিজস্ব জগতের অন্তর্ভুক্ত নয়—সে বাইরের মহাবিশ্বের অংশ! এই ফিল্টার সমস্ত সসীম শর্ত জোড়া লাগিয়ে $aleph_2$ সংখ্যক সম্পূর্ণ নতুন বাস্তব সংখ্যা জন্ম দেয়।

ধাপ ৪: জেনেটিক এক্সটেনশন $M[G]$

$M$-এর সাথে নতুন ফিল্টার $G$ যুক্ত করে নতুন মহাবিশ্ব $M[G]$ গঠিত হয়।

৪. ফোর্সিং সম্পর্ক ($p Vdash phi$) ও সিএইচ-এর স্বাধীনতা

কোহেনের সবচেয়ে বৈপ্লবিক কৌশল ছিল: অদৃশ্য নতুন মহাবিশ্ব $M[G]$-এর সত্যতা গ্রাউন্ড মডেল $M$-এর ভেতরে বসেই সসীম শর্ত $p$-এর মাধ্যমে নিয়ন্ত্রণ করা যায় ($p Vdash phi$—”শর্ত $p$ বাক্য $phi$-কে বাধ্য করছে”)।

কোহেন প্রমাণ করেন যে এই সংযোজনের ফলে কোনো কার্ডিনাল সংখ্যা ধ্বংস হয় না। নতুন জগতে বাস্তব সংখ্যার পরিমাণ দাঁড়ায় $aleph_2$, যার ফলে $2^{aleph_0} = aleph_1$ সম্পূর্ণ মিথ্যা প্রমাণিত হয় ($M[G] vDash neg text{CH}$)!

এই ঐতিহাসিক কীর্তির জন্য পল কোহেন ১৯৬৬ সালে ফিল্ডস মেডেল লাভ করেন—যা যুক্তিবিজ্ঞানের ইতিহাসে একমাত্র ফিল্ডস মেডেল জয়ের গৌরবময় অধ্যায়।

শাকিল মাহমুদ সজল

সফটওয়্যার প্রকৌশলী ও লেখক, ঢাকা, বাংলাদেশ। কম্পিউটার বিজ্ঞান, পদার্থবিজ্ঞান, ইতিহাস ও ভাবনার সমন্বয়ে ব্যক্তিগত নোট ও প্রবন্ধ সংকলন।