"প্রমাণ তত্ত্ব" পাতাটির দুইটি সংশোধিত সংস্করণের মধ্যে পার্থক্য

বট নিবন্ধ পরিষ্কার করেছে। কোন সমস্যায় এর পরিচালককে জানান।
(বট নিবন্ধ পরিষ্কার করেছে, কোন সমস্যা?)
(বট নিবন্ধ পরিষ্কার করেছে। কোন সমস্যায় এর পরিচালককে জানান।)
 
{{উৎসহীন}}
{{Unreferenced}}
'''প্রমাণ তত্ত্ব''' ({{lang-en|Proof theory}}) [[গাণিতিক যুক্তিবিজ্ঞান|গাণিতিক যুক্তিবিজ্ঞানের]] একটি শাখা যেখানে [[গাণিতিক প্রমাণ|গাণিতিক প্রমাণসমূহকে]] বিধিগত গাণিতিক বস্তু হিসেবে গণ্য করা হয়, যার ফলে গাণিতিক কলাকৌশলের সাহায্যে এগুলির বিশ্লেষণ সহজতর হয়। প্রমাণগুলিকে সাধারণত আরোহী পদ্ধতিতে সংজ্ঞায়িত [[উপাত্ত সংগঠন]] যেমন সরল লিস্ট, বক্সকৃত লিস্ট, বা ট্রি-এর মাধ্যমে প্রকাশ করা হয়। উপাত্ত সংগঠনগুলি যৌক্তিক ব্যবস্থার স্বতঃসিদ্ধ ও সিদ্ধান্তগ্রহণের নিয়মগুলি অনুসরণ করে নির্মাণ করা হয়। এ কারণে প্রমাণ তত্ত্বের প্রকৃতি [[বাক্যতত্ত্ব|বাক্যতাত্ত্বিক]] (syntactic), পক্ষান্তরে [[মডেল তত্ত্ব|মডেল তত্ত্বের]] প্রকৃতি [[অর্থবিজ্ঞান|আর্থ]]। মডেল তত্ত্ব, [[স্বতঃসিদ্ধমূলক সেট তত্ত্ব]], [[পুনরাবৃত্তি তত্ত্ব]] ও প্রমাণ তত্ত্ব [[গণিতের ভিত্তি|গণিতের ভিত্তির]] চার স্তম্ভের একটি।
 
১,৮২,৩৮১টি

সম্পাদনা