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

বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে
Zaheen (আলোচনা | অবদান)
{{গণিতের ভিত্তি ও যুক্তিবিজ্ঞান}}
Zaheen (আলোচনা | অবদান)
+navbox
১ নং লাইন:
{{গণিতের ভিত্তি ও যুক্তিবিজ্ঞান}}
'''গণিতের ভিত্তি''' ([[ইংরেজি]]: Foundations of mathematics) বলতে গণিতের সেই শাখাকে বোঝায় যেখানে প্রাথমিক গাণিতিক ধারণাসমূহকে (যেমন - সংখ্যা, পরিমাণ, আকৃতি, সেট, ইত্যাদি) কিছু মৌলিক ধারণার স্তরক্রমে (hierarchy of fundamental concepts) বিন্যস্ত করা হয়, কী ভাবে স্বতঃসিদ্ধ নির্মাণ ও গাণিতিক প্রমাণ সম্পাদন করতে হয়, তার নিয়মগুলো খুঁজে বের করা হয়, এবং এগুলো যে বিধিগত ব্যবস্থার (formal system) অন্তর্গত, তার বৈশিষ্ট্য ও সীমা নিয়ে আলোচনা করা হয়। বর্তমান গণিতের কিছু শাখা, যেমন - [[গাণিতিক যুক্তিবিজ্ঞান]], [[স্বতঃসিদ্ধমূলক সেট তত্ত্ব]], [[প্রমাণ তত্ত্ব]], [[মডেল তত্ত্ব]], [[পুনরাবৃত্তি তত্ত্ব]] (recursion theory) ইত্যাদিকে একত্রে "গণিতের ভিত্তি" নামে ডাকা হয়।
 
২৩ ⟶ ২২ নং লাইন:
==স্বজ্ঞাবাদ==
স্বজ্ঞাবাদীদের মতে গাণিতিক বস্তু বা সত্যসমূহ গাণিতিক চিন্তাভাবনাকারী ব্যক্তি বা গাণিতিক স্বজ্ঞাসম্পন্ন ব্যক্তির থেকে স্বাধীন নয়। এই বস্তু বা সত্যগুলো কেবল গাণিতিক মনের সাহায্যেই উপলব্ধি করতে হয়। ১৯ শতকে [[ক্রনেকার]] ও [[পোয়াঁকারে]], ২০ শতকের শুরুতে [[বোরেল]], [[লেবেসগে]], ও [[লুজিনের]] দার্শনিক দৃষ্টিভঙ্গিকে স্বজ্ঞাবাদের অন্তর্ভুক্ত করা যায়, তবে শেষোক্ত তিন জনের দৃষ্টিভঙ্গি প্রায়-স্বজ্ঞাবাদ (semi-intuitionism) বা ফরাসি অভিজ্ঞতাবাদ (French empiricism) নামেই বেশি পরিচিত। ওলন্দাজ গণিতবিদ ব্রাউয়ার স্বজ্ঞাবাদের আরও সঙ্কীর্ণ একটি অবস্থান গ্রহণ করেন, যা হিলবার্টের বিধিবাদের ঘোর বিরোধী ছিল। বর্তমানে স্বজ্ঞাবাদ বলতে ব্রাউয়ারের ব্যাখ্যাকৃত স্বজ্ঞাবাদকেই বোঝায়।
 
{{গণিতের ক্ষেত্রসমূহ}}
 
{{গণিত-অসম্পূর্ণ}}