হাজার বছর ধরে গণিতবিদরা মনে করতেন: সংখ্যা হলো গবেষণার বিষয়, আর সেই সংখ্যা নিয়ে যুক্তি-প্রমাণ হলো দর্শনের অংশ—যা সংখ্যার জগতের বাইরে অবস্থান করে। ১৯৩১ সালে কুর্ট গোডেল এই কৃত্রিম বিভাজন চিরতরে ধূলিসাৎ করে দেন। পিয়ানো পাটিগণিত ($text{PA}$) এবং তাঁর যুগান্তকারী গোডেল নাম্বারিং (Gödel Numbering) পদ্ধতির মাধ্যমে তিনি প্রমাণ করেন যে গণিতের প্রতিটি স্বতঃসিদ্ধ, সূত্র এবং প্রমাণকে মৌলিক সংখ্যার সাহায্যে অনন্য পূর্ণসংখ্যায় রূপান্তর করা যায়। গণিত নিজেই নিজের বিচারক ও সমালোচকে পরিণত হলো।
১. দেদকিন্ড-পিয়ানোর স্বতঃসিদ্ধ ব্যবস্থা (Peano Arithmetic)
প্রথম-স্তরের পিয়ানো পাটিগণিত চারটি মৌলিক চিহ্নের ওপর প্রতিষ্ঠিত: $mathcal{L}_A = {0, S, +, times}$, যেখানে $0$ হলো শূন্য, $S$ হলো উত্তরসূরি ফাংশন ($S(x) = x+1$), এবং $+$, $times$ হলো যোগ ও গুণ। এর ভিত্তি সাতটি অ্যাক্সিওম এবং আরোহ বিধির ওপর স্থাপিত:
- $0$ কারও উত্তরসূরি নয়: $forall x , (S(x) neq 0)$
- উত্তরসূরি ফাংশন ইনজেক্টিভ: $forall x forall y , (S(x) = S(y) to x = y)$
- যোগের সূচনা: $forall x , (x + 0 = x)$
- যোগের আরোহ: $forall x forall y , (x + S(y) = S(x + y))$
- গুণের সূচনা: $forall x , (x times 0 = 0)$
- গুণের আরোহ: $forall x forall y , (x times S(y) = (x times y) + x)$
গাণিতিক আরোহ বিধির অ্যাক্সিওম স্কিমা (Induction Schema)
যেকোনো প্রথম-স্তরের সূত্র $phi(x)$-এর জন্য:
[
big( phi(0) land forall x (phi(x) to phi(S(x))) big) to forall x , phi(x)
]
ফার্স্ট-অর্ডার লজিকে যেহেতু অসীম সংখ্যক সূত্র গঠন করা যায়, তাই আরোহ বিধি কোনো একক বাক্য নয়, বরং সূত্রের একটি অসীম স্কিমা।
২. প্রিমিটিভ রিকার্সিভ ফাংশন (Primitive Recursive Functions)
একটি পাটিগণিতীয় ফাংশন হলো প্রিমিটিভ রিকার্সিভ যদি তাকে মৌলিক ফাংশন (জিরো, সাকসেসর, প্রজেকশন) থেকে সসীম সংখ্যক কম্পোজিশন এবং আদিম পুনরাবৃত্তির (Primitive Recursion) মাধ্যমে তৈরি করা যায়। যোগ, বিয়োগ, গুণ, ভাগ, মৌলিক সংখ্যা নির্ণয় এবং যেকোনো ক্রমের এনকোডিং—সবই প্রিমিটিভ রিকার্সিভ। গোডেল প্রমাণ করেন যে প্রতিটি প্রিমিটিভ রিকার্সিভ ফাংশন পিয়ানো পাটিগণিতের ভেতরে সমীকরণ আকারে হুবহু প্রতিনিধিত্বযোগ্য।
৩. গোডেল নাম্বারিং: বাক্যের পাটিগণিত রূপান্তর
গোডেলের মহাজাগতিক উদ্ভাবন ছিল ভাষার প্রতিটি প্রতীক ও বাক্যকে একটি অনন্য স্বাভাবিক সংখ্যায় ($ulcorner phi urcorner$) রূপান্তরিত করা:
ধাপ ১: মৌলিক প্রতীকের মান নির্ধারণ
যৌক্তিক প্রতীকগুলোকে বিজোড় সংখ্যা বরাদ্দ করা হয়:
[
ulcorner neg urcorner = 1, quad ulcorner lor urcorner = 3, quad ulcorner forall urcorner = 5, quad ulcorner ( urcorner = 7, quad ulcorner ) urcorner = 9, quad ulcorner = urcorner = 11, quad ulcorner 0 urcorner = 13, quad ulcorner S urcorner = 15
]
চলক $x_k$-কে জোড় সংখ্যা দেওয়া হয়: $ulcorner x_k urcorner = 2k$।
ধাপ ২: পাটিগণিতের মৌলিক উপপাদ্য দ্বারা সূত্রের এনকোডিং
একটি সূত্র হলো চিহ্নের ক্রম $s_1 s_2 dots s_k$। মৌলিক সংখ্যার সূচক হিসেবে একে সংকেতায়িত করা হয়:
[
ulcorner s_1 s_2 dots s_k urcorner = 2^{ulcorner s_1 urcorner} cdot 3^{ulcorner s_2 urcorner} cdot 5^{ulcorner s_3 urcorner} cdots p_k^{ulcorner s_k urcorner}
]
পাটিগণিতের মৌলিক উপপাদ্য (Fundamental Theorem of Arithmetic) অনুসারে প্রতিটি সংখ্যার মৌলিক উৎপাদক বিশ্লেষণ অনন্য, ফলে যেকোনো গোডেল সংখ্যা থেকে কম্পিউটার বা মানুষের পক্ষে মূল সূত্রটি নিখুঁতভাবে উদ্ধার করা সম্ভব।
ধাপ ৩: প্রমাণের সংকেতায়ন
একটি আনুষ্ঠানিক প্রমাণ হলো সূত্রের একটি ধারা $langle phi_1, dots, phi_m rangle$। তার গোডেল সংখ্যা হয়:
[
ulcorner langle phi_1, dots, phi_m rangle urcorner = 2^{ulcorner phi_1 urcorner} cdot 3^{ulcorner phi_2 urcorner} cdots p_m^{ulcorner phi_m urcorner}
]
৪. প্রমাণ প্রেডিকেট $text{Prf}(x, y)$
কোনো প্রমাণ সঠিক কিনা তা পরীক্ষা করা স্রেফ যান্ত্রিক প্রতীক মেলানোর কাজ, যাতে কোনো অসীম অনুসন্ধানের প্রয়োজন হয় না। ফলে সম্পর্কটি:
[
text{Prf}_{text{PA}}(x, y) equiv text{“} x text{ হলো } y text{ সূত্রের একটি বৈধ আনুষ্ঠানিক প্রমাণের গোডেল সংখ্যা”}
]
হলো একটি বিশুদ্ধ প্রিমিটিভ রিকার্সিভ সম্পর্ক! এর ওপর ভিত্তি করে প্রমাণযোগ্যতা প্রেডিকেট তৈরি হয়:
[
text{Prov}_{text{PA}}(y) equiv exists x , text{Prf}_{text{PA}}(x, y)
]
$text{Prov}_{text{PA}}(y)$ বলে: “এমন একটি পূর্ণসংখ্যা $x$ রয়েছে যা $y$ সূত্রের আনুষ্ঠানিক প্রমাণকে নির্দেশ করে।” অর্থাৎ পাটিগণিত এখন নিজের ভেতর থেকেই ঘোষণা করতে পারে যে কোনো উপপাদ্য প্রমাণযোগ্য কিনা!
