গোডেলের প্রথম উপপাদ্য যেখানে দেখিয়েছিল যে আনুষ্ঠানিক গণিতের দৃষ্টিসীমায় অন্ধবিন্দু রয়েছে, তাঁর দ্বিতীয় অসম্পূর্ণতা উপপাদ্য (Gödel’s Second Incompleteness Theorem) ডেভিড হিলবার্টের গণিতের পরম নিশ্চিন্ততা প্রতিষ্ঠার স্বপ্নকে সমূলে ধ্বংস করে দেয়। গোডেল প্রমাণ করেন যে কোনো সামঞ্জস্যপূর্ণ গাণিতিক ব্যবস্থা কখনোই নিজের সামঞ্জস্য বা অসঙ্গতিহীনতা (Consistency) নিজের ভেতরের নিয়ম দিয়ে প্রমাণ করতে পারে না। পরবর্তীতে ১৯৫৫ সালে মার্টিন লয়েবের উপপাদ্যের মাধ্যমে এটি প্রমাণিত হয় যে যুক্তির সুস্থতা কখনো নিজের ভেতরে সার্টিফাই করা যায় না—তাকে যাচাই করতে হয় বাইরের কোনো উচ্চতর কাঠামোর আলোয়।
১. কনসিস্টেন্সি বাক্য $text{Con}(T)$-এর আনুষ্ঠানিক রূপ
একটি গাণিতিক ব্যবস্থা $T$ সঙ্গতিপূর্ণ বা সামঞ্জস্যপূর্ণ যদি তাতে কোনো স্ব-বিরোধ বা অসম্ভব সমীকরণ ($0 = 1$) প্রমাণ করা না যায়। পাটিগণিতীয় চিহ্নের জগতে $0 = 1$-এর একটি নির্দিষ্ট গোডেল সংখ্যা $ulcorner 0 = 1 urcorner$ রয়েছে। সুতরাং “তত্ত্বটি সঙ্গতিপূর্ণ” এই বৈজ্ঞানিক দাবিটিকে পাটিগণিতের একটি সূত্রে প্রকাশ করা যায়:
[
text{Con}(T) equiv neg text{Prov}_T(ulcorner 0 = 1 urcorner)
]
$text{Con}(T)$ হলো একটি $Pi_1$-বাক্য যা দাবি করে: “এমন কোনো পূর্ণসংখ্যা নেই যা $0 = 1$-এর একটি বৈধ প্রমাণ বহন করে।”
২. হিলবার্ট-বার্নেইস-লয়েব ডেরিভেবিলিটি শর্তাবলী (HBL Conditions)
কোনো প্রমাণযোগ্যতা প্রেডিকেট $Box phi equiv text{Prov}_T(ulcorner phi urcorner)$-কে দ্বিতীয় উপপাদ্য সিদ্ধ করতে হলে তিনটি মৌলিক শর্ত পূরণ করতে হয়:
এইচবিএল শর্তাবলী (HBL Conditions)
- D1 (নেসেসিটেশন): যদি $T vdash phi$ হয়, তবে $T vdash Box phi$।
- D2 (বণ্টন বিধি): $T vdash Box(phi to psi) to (Box phi to Box psi)$।
- D3 (অভ্যন্তরীণ প্রমাণ): $T vdash Box phi to Box Box phi$ (তত্ত্বটি জানে যে সে প্রমাণ করতে জানে)।
৩. গোডেলের দ্বিতীয় অসম্পূর্ণতা উপপাদ্য
গোডেলের দ্বিতীয় উপপাদ্য
পিয়ানো পাটিগণিত ধারণে সক্ষম যেকোনো সামঞ্জস্যপূর্ণ আনুষ্ঠানিক ব্যবস্থা $T$-এর জন্য:
[
T notvdash text{Con}(T)
]
তত্ত্বটি নিজের সঙ্গতি বা অবিরোধিতা কখনোই নিজে প্রমাণ করতে পারে না।
প্রমাণ:
- গোডেলের প্রথম উপপাদ্যে আমরা মানব বুদ্ধিমত্তা দিয়ে প্রমাণ করেছিলাম: “যদি $T$ সঙ্গতিপূর্ণ হয়, তবে $G$ অপ্রমাণযোগ্য।” অর্থাৎ: $text{Con}(T) to G$।
- যেহেতু এই মেটা-প্রমাণটি সম্পূর্ণ গঠনমূলক ও সসীম পাটিগণিতীয় ধাপ দিয়ে গঠিত, তাই একে $T$-এর নিজস্ব আনুষ্ঠানিক ভাষার ভেতরেই অবিকল প্রমাণ করা যায়!
- এইচবিএল শর্তাবলী প্রয়োগ করে তত্ত্বের ভেতর প্রমাণিত হয়:
[
T vdash text{Con}(T) to G
] - এবার ধরা যাক তত্ত্বটি নিজের সঙ্গতি প্রমাণ করতে পারে: $T vdash text{Con}(T)$।
- তাহলে মোডাস পনেনস প্রয়োগ করে সাথে সাথে সিদ্ধান্ত আসে: $T vdash G$!
- কিন্তু প্রথম অসম্পূর্ণতা উপপাদ্যেই অমোঘভাবে প্রমাণিত হয়েছে যে $T notvdash G$!
- এক চরম স্ব-বিরোধিতা! সুতরাং তত্ত্বটি কোনোমতেই $text{Con}(T)$-কে প্রমাণ করতে পারে না। $blacksquare$
৪. লয়েবের উপপাদ্য (Löb’s Theorem)
১৯৫৫ সালে লিওন হেনকিন একটি অদ্ভুত প্রশ্ন তোলেন: যদি এমন কোনো বাক্য তৈরি করা হয় যা নিজের প্রমাণযোগ্যতা দাবি করে ($psi leftrightarrow Box psi$), তবে তার পরিণতি কী? মার্টিন লয়েব প্রমাণ করেন এক বিস্ময়কর উপপাদ্য:
লয়েবের উপপাদ্য
যেকোনো বাক্য $phi$-এর জন্য:
[
T vdash Box phi to phi iff T vdash phi
]
লয়েবের উপপাদ্য এক অদ্ভুত বিনয়ী চরিত্রের প্রকাশ ঘটায়: একটি তত্ত্ব যদি দাবি করে “যদি আমি $phi$ প্রমাণ করতে পারি, তবে $phi$ নিশ্চিত সত্য”—তবে তত্ত্বটি কেবল তখনই তা প্রমাণ করতে পারবে যদি সে ইতিমধ্যেই $phi$-কে সরাসরি প্রমাণ করে বসে থাকে!
৫. মোডাল প্রুভেবিলিটি লজিক $mathbf{GL}$
এইচবিএল শর্তাবলী এবং লয়েবের উপপাদ্যের এই কাঠামো জন্ম দেয় গোডেল-লয়েব মোডাল লজিক $mathbf{GL}$-এর। ১৯৭৬ সালে রবার্ট সোলোভে প্রমাণ করেন যে $mathbf{GL}$ লজিকটি পিয়ানো পাটিগণিতের প্রমাণযোগ্যতার নিখুঁত জ্যামিতিক মানচিত্র। গণিত নিজেকে কতটা জানতে পারে, আর কোথায় তার সীমানা—মোডাল লজিক তারই দিকদর্শন।
