বিংশ শতাব্দীর শুরুতে সমগ্র গাণিতিক বিশ্ব এক অভাবনীয় কাঠামোগত সংকটের মুখোমুখি হয়। গটলব ফ্রেগে যখন তাঁর জীবনের শ্রেষ্ঠ কীর্তি গ্রুন্ডগেজেটজে ডের অ্যারিথমেটিক-এর মাধ্যমে বিশুদ্ধ যুক্তি থেকে সমগ্র পাটিগণিতকে প্রমাণের দ্বারপ্রান্তে, ঠিক তখনই বার্ট্রান্ড রাসেলের একটি সংক্ষিপ্ত চিঠি সবকিছু চূর্ণ করে দেয়: উন্মোচিত হয় রাসেলের প্যারাডক্স। এই মহাসংকট নিরসনে ডেভিড হিলবার্ট ঘোষণা করেন তাঁর বিখ্যাত ফরমালিস্ট প্রোগ্রাম (Hilbert’s Program)—যার লক্ষ্য ছিল গণিতকে চিরতরে স্ব-বিরোধীহীন, সম্পূর্ণ ও সিদ্ধান্তযোগ্য হিসেবে প্রতিষ্ঠা করা। লজিসিজম, ইনটুইশনিজম এবং ফরমালিজমের এই ত্রিমুখী ঐতিহাসিক যুদ্ধ গণিতের সংজ্ঞাকে নতুন করে লিখেছিল।
১. রাসেলের প্যারাডক্স ও নাইভ সেট থিওরির পতন
ফ্রেগের যুক্তি ব্যবস্থা দাঁড়িয়েছিল একটি সহজ অনুমানের ওপর, যার নাম নাইভ কম্প্রিহেনশন (Naive Comprehension): যেকোনো সুনির্দিষ্ট বৈশিষ্ট্য $phi(x)$-এর জন্য এমন একটি সেট তৈরি করা সম্ভব যাতে সেই বৈশিষ্ট্যের সমস্ত উপাদান অন্তর্ভুক্ত থাকবে:
[
exists y forall x , (x in y leftrightarrow phi(x))
]
১৯০১ সালে বার্ট্রান্ড রাসেল একটি অদ্ভুত বৈশিষ্ট্যের অবতারণা করেন: $phi(x) equiv (x notin x)$—অর্থাৎ সেই সমস্ত সেটের সেট যা নিজেকে নিজের উপাদান হিসেবে ধারণ করে না। ধরা যাক সেই সেটটি হলো $R = { x mid x notin x }$। রাসেল প্রশ্ন করলেন: $R$ কি নিজের ভেতরে অবস্থান করে?
[
R in R iff R notin R
]
যদি $R in R$ হয়, তবে তার সংজ্ঞানুসারেই সে নিজের উপাদান হতে পারে না ($R notin R$)। আবার যদি $R notin R$ হয়, তবে সে শর্ত পূরণ করায় তাকে সেটের ভেতরে ঢুকতে হবে ($R in R$)। এক অমোঘ ও মারাত্মক স্ব-বিরোধ!
এই প্যারাডক্স প্রমাণ করে যে “সমস্ত সেটের সেট” বলে কোনো কিছুর অস্তিত্ব থাকা অসম্ভব। উন্মুক্তভাবে সেট তৈরির নিয়ম ধ্রুপদী যুক্তিকে ভেঙে গুঁড়িয়ে দেয়।
২. গণিতের ভিত্তিমূল নিয়ে ত্রিমুখী গৃহযুদ্ধ
রাসেলের প্যারাডক্সের পর গণিতের আত্মা উদ্ধারে তিনটি প্রভাবশালী দার্শনিক ধারা মুখোমুখি লড়াইয়ে নামে:
১. লজিসিজম (বার্ট্রান্ড রাসেল, এ. এন. হোয়াইটহেড)
রাসেল দাবি করলেন যে গণিত হলো বিশুদ্ধ যুক্তির নামান্তর। রাসেল ও হোয়াইটহেড তিন খণ্ডের সুবিশাল প্রিন্সিপিয়া ম্যাথমেটিকা (১৯১০–১৯১৩) রচনা করেন, যেখানে বৃত্তাকার স্ব-উল্লেখ আটকাতে টাইপ থিওরি (Theory of Types) উদ্ভাবন করা হয়। কিন্তু পূর্ণসংখ্যা ও বাস্তব সংখ্যা গঠন করতে গিয়ে তাঁদের এমন কিছু অতিরিক্ত স্বতঃসিদ্ধ যোগ করতে হয় (যেমন অ্যাক্সিওম অফ ইনফিনিটি), যা বিশুদ্ধ যুক্তির আওতাভুক্ত নয়। ফলে লজিসিজম তার বিশুদ্ধতা হারায়।
২. ইনটুইশনিজম (এল. ই. জে. ব্রাউয়ার)
ব্রাউয়ার ঘোষণা করলেন তীব্র বিদ্রোহ: গণিত কোনো বস্তুনিষ্ঠ প্রাকৃতিক সত্য নয়, বরং তা মানুষের মানসিক চিন্তার আরোহী নির্মাণ। কোনো গাণিতিক বস্তুর অস্তিত্ব তখনই স্বীকার করা যাবে যখন তাকে সসীম ধাপে মানুষের মন দিয়ে নির্মাণ করা সম্ভব। ব্রাউয়ার বর্জন করলেন প্রকৃত অসীম এবং ধ্রুপদী যুক্তির মূল স্তম্ভ: বর্জনীয় মধ্যম বিধি (Law of Excluded Middle: $P lor neg P$)। তাঁর মতে, কোনো কিছুর অসম্ভবতা প্রমাণ করে অস্তিত্ব দাবি করা ($neg neg P to P$) স্রেফ এক অলীক কল্পনা।
৩. ফরমালিজম (ডেভিড হিলবার্ট)
হিলবার্ট ব্রাউয়ারের এই চরমপন্থী ভাঙচুরের হাত থেকে ধ্রুপদী গণিতকে রক্ষা করতে প্রতিজ্ঞা করলেন: “ক্যান্টর আমাদের জন্য যে স্বর্গ রচনা করেছেন, সেখান থেকে কেউ আমাদের বিতাড়িত করতে পারবে না!”
৩. ডেভিড হিলবার্টের কর্মসূচি (Hilbert’s Program, 1920–1930)
হিলবার্ট প্রস্তাব করলেন সমগ্র উচ্চতর গণিতকে অর্থহীন কিছু চিহ্নের আনুষ্ঠানিক খেলায় রূপান্তর করতে, যা নির্দিষ্ট যান্ত্রিক নিয়মে পরিচালিত হবে। এই কর্মসূচির তিনটি মূল লক্ষ্য ছিল:
- আনুষ্ঠানিক রূপায়ণ: গণিতের প্রতিটি শাখাকে কোনো দ্ব্যর্থকতা ছাড়া নিখুঁত স্বতঃসিদ্ধের আনুষ্ঠানিক ভাষায় সাজানো।
- সসীম সঙ্গতি প্রমাণ (Finitary Consistency): এমন কোনো অতি-সহজ ও সসীম গঠনমূলক নিয়ম দিয়ে প্রমাণ করা যে গণিতের এই স্বতঃসিদ্ধগুলো কখনোই স্ব-বিরোধী সিদ্ধান্ত ($bot$) দেবে না।
- সম্পূর্ণতা ও সিদ্ধান্তযোগ্যতা: প্রমাণ করা যে গণিতের প্রতিটি সত্য উক্তিকে প্রমাণ করা যায় এবং যেকোনো উক্তি পরীক্ষার একটি সার্বজনীন অ্যালগরিদম রয়েছে।
৪. অবিস্মরণীয় পতন ও আধুনিক যুক্তিবিজ্ঞানের জন্ম
১৯৩০ সালের সেপ্টেম্বরে কোনিগসবার্গে মাত্র চব্বিশ বছরের এক তরুণ গবেষক কুর্ট গোডেল নিঃশব্দে ঘোষণা করলেন তাঁর প্রথম ও দ্বিতীয় অসম্পূর্ণতা উপপাদ্য। মুহূর্তের মধ্যে প্রমাণিত হলো:
হিলবার্টের কর্মসূচির ঐতিহাসিক পরিসমাপ্তি
পাটিগণিত ধারণে সক্ষম যেকোনো সামঞ্জস্যপূর্ণ তত্ত্ব নিজের সামঞ্জস্য কখনোই সসীম বা দুর্বল কোনো পদ্ধতির মাধ্যমে নিজে প্রমাণ করতে পারে না!
পরম নিশ্চিন্ততা অর্জনের যে স্বপ্ন হিলবার্ট দেখেছিলেন, তা গাণিতিকভাবে অসম্ভব প্রমাণিত হলো। কিন্তু এই পতনের ছাই থেকেই জন্ম নিল আধুনিক মডেল থিওরি, প্রুফ থিওরি এবং তাত্ত্বিক কম্পিউটার বিজ্ঞান।
