গণিতের ভিত্তি: সংশোধিত সংস্করণের মধ্যে পার্থক্য

বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে
Zaheen (আলোচনা | অবদান)
+
Zaheen (আলোচনা | অবদান)
সম্পাদনা সারাংশ নেই
৩ নং লাইন:
সেটের ধারণার উপর ভিত্তি করে [[রিচার্ড ডেডেকিন্ড]] [[স্বাভাবিক সংখ্যা]] ও [[বাস্তব সংখ্যা|বাস্তব সংখ্যার]] তত্ত্ব প্রদান করেন। বাস্তব সংখ্যাকে তিনি [[মূলদ সংখ্যা|মূলদ সংখ্যার]] সেটের খন্ডাংশ বা "cuts" হিসেবে সংজ্ঞায়িত করেছিলেন। এভাবে [[সেট তত্ত্ব]] গণিতের একটি ঐক্যবদ্ধকরণের নীতি (unifying principle) হিসেবে কাজ করত।
 
কিন্তু দেখা গেল সেট তত্ত্বে অতি ব্যবহৃত কিছু যুক্তি (argument) -কূটাভাসের যেজন্ম দেয়। যুক্তিগুলোঅথচ এই যুক্তিগুলোই গণিতের সবচেয়ে কার্যকর যুক্তিগুলোর অন্যতম এবং [[বিধিগত যুক্তিবিজ্ঞান|বিধিগত যুক্তিবিজ্ঞানের]] (formal logic) একেবারে প্রাথমিক কাঠামো যাদেরএদের ওপরওপরেই দাঁড়িয়ে আছে - কূটাভাসের জন্ম দেয়।আছে। এই পর্যবেক্ষণের ফলস্বরূপ অনেক সমালোচক গণিতবিদ গাণিতিক যুক্তিপ্রদানের প্রকৃতি নিয়েই প্রশ্ন তোলেন। আর সেই প্রশ্নের উত্তর খুঁজতে গিয়েই বিংশ শতাব্দীর শুরুতে গণিতের এক নতুন শাখার সৃষ্টি হয়, যার নাম দেয়া হয় '''গণিতের ভিত্তি''' (foundations of mathematics)।
 
সৃষ্টির শুরুতেই শাখাটি বিভিন্ন মতবাদে (doctrines) বিভক্ত হয়ে পড়ে। এদের মধ্যে [[বারট্রান্ড রাসেল|বারট্রান্ড রাসেলের]] [[যুক্তিবাদ]] (logicism), [[লাউৎসেন এখবার্টস ইয়ান ব্রাউয়ার|ব্রাউয়ারের]] [[স্বজ্ঞাবাদ]] (intuitionism) এবং [[ডেভিড হিলবার্ট|হিলবার্টের]] [[বিধিবাদ]] (formalism) অন্যতম। যে সেট তত্ত্বের কারণে এই গোলযোগের শুরু, তাতে সংশোধন এনে বলা হল [[গেয়র্গ কান্টর|গেয়র্গ কান্টরের]] প্রদত্ত সেটের সংজ্ঞা অতিরিক্ত সরল (naive), এবং স্বতঃসিদ্ধের (axioms) ভিত্তিতে তত্ত্বটি নতুন করে বর্ণনা করার প্রয়াস নেয়া হল।