দুই হাজার বছরেরও বেশি সময় ধরে ধ্রুপদী যুক্তিবিজ্ঞান দাঁড়িয়েছিল এরিস্টটলের একটি অভ্রান্ত নিয়মের ওপর: বর্জনীয় মধ্যম বিধি (Law of the Excluded Middle – $P lor neg P$)। যেকোনো উক্তি হয় সত্য হবে নয়তো মিথ্যা—এর মাঝে তৃতীয় কোনো বিকল্প নেই। বিংশ শতাব্দীর শুরুতে ডাচ গণিতবিদ এল. ই. জে. ব্রাউয়ার এক যুগান্তকারী বিপ্লব শুরু করেন, যার নাম ইনটুইশনিজম (Intuitionism)। ব্রাউয়ার ঘোষণা করলেন: গণিতে অস্তিত্বশীলতা মানেই হলো অ্যালগরিদম দিয়ে নির্মাণযোগ্যতা। আপনি যদি কোনো সূত্রের বাস্তব প্রমাণ বা সাক্ষী নির্মাণ করতে না পারেন, তবে কোনো বিমূর্ত শূন্যে তাকে “সত্য” বা “মিথ্যা” ঘোষণা করার কোনো অধিকার আপনার নেই। ১৯৩০ সালে আরেন্ড হেইটিং দ্বারা বিধিবদ্ধ ইনটুইশনিস্টিক যুক্তিবিজ্ঞান আজ আধুনিক কম্পিউটার প্রোগ্রামিং এবং থিওরেম প্রুভারের প্রধান ভাষাগত ভিত্তিমূলে পরিণত হয়েছে।
১. বর্জিত ধ্রুপদী সূত্রসমূহ
ইনটুইশনিস্টিক লজিক এমন সমস্ত নিয়মকে নাকচ করে দেয় যা বাস্তব প্রমাণ বা অ্যালগরিদম ছাড়া ফাঁকা অস্তিত্ব দাবি করে:
- বর্জনীয় মধ্যম বিধি ($P lor neg P$ বর্জিত):
গঠনমূলক গণিতে $P lor neg P$ দাবি করতে হলে আপনার হাতে এমন একটি পদ্ধতি থাকতে হবে যা হয় $P$-এর প্রমাণ দেবে, নয়তো $P$-এর নেগেশনের প্রমাণ দেবে। রিম্যান হাইপোথিসিসের মতো শত শত অমীমাংসিত সমস্যার ক্ষেত্রে মানুষ আজও কোনো প্রমাণ জানে না। সুতরাং একে অগ্রিম সত্য বা মিথ্যা বলে দেওয়া অলীক কল্পনা মাত্র। - ডাবল নেগেশন এলিমিনেশন ($neg neg P to P$ বর্জিত):
কোনো কিছুর অসত্যতাকে ভুল প্রমাণ করা ($neg neg P$) মানে এই নয় যে আপনি মূল বস্তুটি ($P$) তৈরি করতে পেরেছেন! ইনটুইশনিজমে কোনো বস্তু প্রমাণ ছাড়া জন্ম নিতে পারে না।
২. বিএইচকে গঠনমূলক ব্যাখ্যা (BHK Interpretation)
ইনটুইশনিস্টিক লজিকে সত্যতা ট্রুথ টেবিল দিয়ে মাপা হয় না; মাপা হয় প্রমাণের গঠন দিয়ে:
বিএইচকে প্রমাণের নিয়মাবলী
- $A land B$-এর প্রমাণ হলো একটি জোড় $(p, q)$, যেখানে $p$ হলো $A$-এর প্রমাণ এবং $q$ হলো $B$-এর প্রমাণ।
- $A lor B$-এর প্রমাণ হলো স্পষ্টভাবে বলে দেওয়া কোন উক্তিটি সত্য এবং তার সুনির্দিষ্ট প্রমাণ পেশ করা।
- $A to B$-এর প্রমাণ হলো একটি কার্যকর অ্যালগরিদম যা $A$-এর যেকোনো প্রমাণকে $B$-এর প্রমাণে রূপান্তরিত করে।
- $neg A$-এর প্রমাণ হলো এমন এক পদ্ধতি যা $A$-এর প্রমাণ পেলে তা থেকে সরাসরি একটি স্ব-বিরোধ বা অসম্ভব সমীকরণ ($bot$) উৎপাদন করে।
- $exists x , phi(x)$-এর প্রমাণ হলো একটি বাস্তব বস্তু $c$ এবং $phi(c)$-এর প্রমাণ হাতে তুলে দেওয়া। (ফাঁকা অস্তিত্ব দাবি নিষিদ্ধ!)
৩. হেইটিং বীজগণিত (Heyting Algebras)
ধ্রুপদী যুক্তি যেখানে বুলিয়ান বীজগণিতের সাথে মেলে, ইনটুইশনিস্টিক যুক্তি সেখানে জন্ম দেয় হেইটিং বীজগণিত (Heyting Algebra)-এর। একটি হেইটিং অ্যালজেব্রা হলো এমন একটি ল্যাটিস যেখানে রিলেটিভ সিউডো-কমপ্লিমেন্ট $a to b$ সংজ্ঞায়িত থাকে:
[
c le (a to b) iff c land a le b
]
টপোলজি এবং হেইটিং ল্যাটিস
একটি টপোলজিক্যাল স্পেসের সমস্ত উন্মুক্ত সেটের (Open Sets) সংগ্রহ একটি নিখুঁত হেইটিং বীজগণিত গঠন করে:
- $U land V = U cap V$ (ছেদ)
- $U lor V = U cup V$ (সংযোগ)
- নেগেশন হলো বাইরের উন্মুক্ত অংশ: $neg U = text{Int}(X setminus U)$
বাস্তব সংখ্যা রেখায় শূন্য বাদে বাকি উন্মুক্ত সেট $U = mathbb{R} setminus {0}$ নিলে দেখা যায় $neg U = emptyset$, ফলে $U cup neg U neq mathbb{R}$! জ্যামিতিকভাবেই বর্জনীয় মধ্যম বিধি ভেঙে পড়ে!
৪. কৃপকে মডেল ও জ্ঞানের বিকাশ (Kripke Semantics)
১৯৬৫ সালে সল কৃপকে ইনটুইশনিস্টিক যুক্তির জন্য একটি রূপরেখা দেন যেখানে মহাবিশ্বকে দেখা হয় জ্ঞান বা তথ্যের ক্রমবর্ধমান স্তর (States of Knowledge) হিসেবে ($w le v$):
সত্যের স্থায়িত্ব (Persistence): মানুষ বা কম্পিউটার একবার কোনো সত্য আবিষ্কার ও প্রমাণ করলে, ভবিষ্যতের কোনো স্তরেই সেই সত্য আর মিথ্যা হতে পারে না ($w le v land w Vdash P implies v Vdash P$)।
নেগেশন $neg A$ মানে হলো: “ভবিষ্যতের কোনো দিন, কোনো গবেষণাগারেই $A$-কে আর প্রমাণ করা সম্ভব হবে না।” যুক্তিবিজ্ঞান এখানে পরিণত হলো মানুষের জ্ঞান অর্জনের এক জীবন্ত, গতিশীল মানচিত্রে।
