১৯৩১ সালে কুর্ট গোডেল এমন একটি গবেষণাপত্র প্রকাশ করেন যা মানবজাতির জ্ঞানতত্ত্বের গতিপথ চিরতরে বদলে দেয়: “অন ফরমালি আনডিসাইডেবল প্রপোজিশনস অব প্রিন্সিপিয়া ম্যাথমেটিকা অ্যান্ড রিলেটেড সিস্টেমস”। পাটিগণিতীয় সংকেতায়নের ওপর দাঁড়িয়ে গোডেল প্রমাণ করেন তাঁর ঐতিহাসিক ডায়াগোনাল লেমা (Diagonal Lemma), যার মাধ্যমে গাণিতিক বাক্য নিজের বাক্যতাত্ত্বিক বৈশিষ্ট্য নিজেই ঘোষণা করতে পারে। এর ফলাফল ছিল স্তব্ধ করে দেওয়ার মতো: যেকোনো সামঞ্জস্যপূর্ণ আনুষ্ঠানিক ব্যবস্থায় এমন কিছু সত্য বাক্য বিদ্যমান, যাদের সেই ব্যবস্থার ভেতরের কোনো নিয়ম দিয়ে কখনোই প্রমাণ করা সম্ভব নয়।
১. ডায়াগোনাল লেমা: স্ব-উল্লেখের গাণিতিক ইঞ্জিন
প্রাকৃতিক ভাষায় “আমি মিথ্যা বলছি” জাতীয় স্ব-উল্লেখাত্মক বাক্য প্রায়শই লায়ার প্যারাডক্স তৈরি করে। গোডেল এই শূন্যগর্ভ বিভ্রান্তি এড়িয়ে বিশুদ্ধ বাক্যতাত্ত্বিক প্রতিস্থাপনের (Substitution) মাধ্যমে নিখুঁত গাণিতিক স্ব-উল্লেখ তৈরি করেন:
ধরা যাক $text{sub}(x, y)$ হলো একটি প্রিমিটিভ রিকার্সিভ ফাংশন যা $x$ গোডেল সংখ্যার সূত্রের মুক্ত চলকে $y$-এর সাংখ্যিক মান বসিয়ে নতুন সূত্রের গোডেল সংখ্যা তৈরি করে।
ডায়াগোনাল লেমা (কারনাপ-গোডেল ফিক্সড পয়েন্ট উপপাদ্য)
যেকোনো মৌলিক পাটিগণিতীয় তত্ত্ব $T$ এবং একটি মুক্ত চলকযুক্ত যেকোনো সূত্র $psi(x)$-এর জন্য এমন একটি বাক্য $G$ খুঁজে পাওয়া সম্ভব যাতে:
[
T vdash G leftrightarrow psi(ulcorner G urcorner)
]
প্রমাণের রূপরেখা:
- একটি ডায়াগোনালাইজিং সূত্র তৈরি করি: $alpha(y) equiv exists z , (text{Sub}(y, y, z) land psi(z))$।
- ধরা যাক এই সূত্রের নিজস্ব গোডেল সংখ্যা হলো $m = ulcorner alpha(y) urcorner$।
- এবার সূত্রে নিজের মান বসিয়ে বাক্যটি তৈরি করি: $G equiv alpha(bar{m})$।
- সংজ্ঞানুসারে $G$-এর অর্থ দাঁড়ায়: $m$-এর গোডেল সংখ্যায় $m$ বসালে যে বাক্য পাওয়া যায় তা $psi$-কে সিদ্ধ করে। কিন্তু সেই নতুন বাক্যটি তো স্বয়ং $G$ নিজেই!
- অতএব তত্ত্বের ভেতর থেকে প্রমাণিত হয়: $T vdash G leftrightarrow psi(ulcorner G urcorner)$। $blacksquare$
২. গোডেলের স্ব-উল্লেখাত্মক বাক্য $G$-এর নির্মাণ
এবার ডায়াগোনাল লেমায় $psi(x)$-এর জায়গায় বসানো হয় অপ্রমাণযোগ্যতা প্রেডিকেট: $neg text{Prov}_T(x)$ (“$x$ সূত্রটি $T$-তে অপ্রমাণযোগ্য”)। ডায়াগোনাল লেমা সাথে সাথে একটি বাক্য $G$ তৈরি করে দেয় যার চরিত্র হলো:
[
T vdash G leftrightarrow neg text{Prov}_T(ulcorner G urcorner)
]
সহজ কথায়, বাক্য $G$ নিজেই নিজের অস্তিত্ব ঘোষণা করছে: “আমি এই তত্ত্বের ভেতর অপ্রমাণযোগ্য।”
৩. প্রথম অসম্পূর্ণতা উপপাদ্যের অমোঘ প্রমাণ
গোডেলের প্রথম অসম্পূর্ণতা উপপাদ্য
পাটিগণিত ধারণে সক্ষম যেকোনো সামঞ্জস্যপূর্ণ (Consistent) আনুষ্ঠানিক ব্যবস্থায় ($T$):
- $T notvdash G$ (বাক্য $G$-কে $T$-তে প্রমাণ করা অসম্ভব)।
- $T$ যদি $omega$-সঙ্গতিপূর্ণ হয়, তবে $T notvdash neg G$ ($G$-এর নেগেশনকেও প্রমাণ করা অসম্ভব)।
- অতএব, বাক্য $G$ হলো এই ব্যবস্থায় অমীমাংসিত (Undecidable)।
- এবং সবচেয়ে চমকপ্রদ হলো: স্বাভাবিক পাটিগণিতের জগতে $G$ সম্পূর্ণ সত্য (TRUE)!
ধাপ ১: $G$-কে প্রমাণ করা অসম্ভব ($T notvdash G$)
ধরা যাক $G$ প্রমাণযোগ্য ($T vdash G$)।
- তাহলে তার একটি সসীম প্রমাণ $n$ আছে, অর্থাৎ $text{Prf}_T(n, ulcorner G urcorner)$ সত্য।
- যেহেতু প্রমাণের হিসাব যান্ত্রিক, তাই তত্ত্ব প্রমাণ করবে $T vdash text{Prov}_T(ulcorner G urcorner)$।
- কিন্তু $G$-এর সংজ্ঞানুসারেই $G$ মানে হলো $neg text{Prov}_T(ulcorner G urcorner)$!
- ফলে তত্ত্বটি একই সাথে একটি উক্তি এবং তার বিপরীত উক্তি উভয়কেই প্রমাণ করে ফেলবে—অর্থাৎ তত্ত্বটি অসঙ্গত ও স্ব-বিরোধী হয়ে যাবে!
- সুতরাং তত্ত্বটি যদি সংগতিপূর্ণ হয়, তবে $T notvdash G$ হতে বাধ্য।
ধাপ ২: $neg G$-কেও প্রমাণ করা অসম্ভব ($T notvdash neg G$)
যদি $T vdash neg G$ হয়, তবে তত্ত্বের ভেতর দাবি করা হচ্ছে $G$-এর একটি প্রমাণ রয়েছে। কিন্তু ধাপ ১-এ আমরা নিশ্চিত হয়েছি যে কোনো সংখ্যাই $G$-এর প্রমাণ নয়। একটি সংগতিপূর্ণ তত্ত্বে এমন অলীক প্রমাণের অস্তিত্ব দাবি করা যায় না (যা $omega$-সঙ্গতি ভঙ্গ করে)। সুতরাং $neg G$-ও অপ্রমাণযোগ্য।
৪. সত্য এবং আনুষ্ঠানিক প্রমাণের চিরন্তন ব্যবধান
বাক্য $G$ কেন নিশ্চিতভাবে সত্য? কারণ বাক্য $G$ দাবি করেছিল: “আমি অপ্রমাণযোগ্য।” আর আমরা গাণিতিকভাবে প্রমাণ করলাম যে সে সত্যিই অপ্রমাণযোগ্য! সুতরাং বাক্যটি যা বলেছিল তা নিখাদ সত্য!
এখানেই আধুনিক মানবচিন্তার সর্বশ্রেষ্ঠ দার্শনিক উপলব্ধি: সত্যের পরিধি আনুষ্ঠানিক প্রমাণের পরিধির চেয়ে বহুগুণে সুবিশাল। কোনো সসীম অ্যাক্সিওম বা নিয়মের কাঠামো—তা যত উন্নত সুপারকম্পিউটারেই চলুক না কেন—সমস্ত গাণিতিক সত্যকে কখনো বন্দি করতে পারবে না। গণিত চিরকালের জন্য মুক্ত ও অসম্পূর্ণ।
