প্রমাণ তত্ত্ব: সংশোধিত সংস্করণের মধ্যে পার্থক্য
অ r2.7.1) (বট যোগ করছে: it:Teoria della dimostrazione |
অ r2.7.2+) (বট পরিবর্তন করছে: pt:Teoria da prova |
||
২০ নং লাইন: | ২০ নং লাইন: | ||
[[nl:Bewijstheorie]] |
[[nl:Bewijstheorie]] |
||
[[pl:Teoria dowodu]] |
[[pl:Teoria dowodu]] |
||
[[pt:Teoria da |
[[pt:Teoria da prova]] |
||
[[ru:Теория доказательств]] |
[[ru:Теория доказательств]] |
||
[[sv:Bevisteori]] |
[[sv:Bevisteori]] |
১০:৫৮, ২৬ আগস্ট ২০১২ তারিখে সংশোধিত সংস্করণ
এই নিবন্ধটিতে কোনো উৎস বা তথ্যসূত্র উদ্ধৃত করা হয়নি। |
প্রমাণ তত্ত্ব (ইংরেজি: Proof theory) গাণিতিক যুক্তিবিজ্ঞানের একটি শাখা যেখানে গাণিতিক প্রমাণসমূহকে বিধিগত গাণিতিক বস্তু হিসেবে গণ্য করা হয়, যার ফলে গাণিতিক কলাকৌশলের সাহায্যে এগুলির বিশ্লেষণ সহজতর হয়। প্রমাণগুলিকে সাধারণত আরোহী পদ্ধতিতে সংজ্ঞায়িত উপাত্ত সংগঠন যেমন সরল লিস্ট, বক্সকৃত লিস্ট, বা ট্রি-এর মাধ্যমে প্রকাশ করা হয়। উপাত্ত সংগঠনগুলি যৌক্তিক ব্যবস্থার স্বতঃসিদ্ধ ও সিদ্ধান্তগ্রহণের নিয়মগুলি অনুসরণ করে নির্মাণ করা হয়। এ কারণে প্রমাণ তত্ত্বের প্রকৃতি বাক্যতাত্ত্বিক (syntactic), পক্ষান্তরে মডেল তত্ত্বের প্রকৃতি আর্থ। মডেল তত্ত্ব, স্বতঃসিদ্ধমূলক সেট তত্ত্ব, পুনরাবৃত্তি তত্ত্ব ও প্রমাণ তত্ত্ব গণিতের ভিত্তির চার স্তম্ভের একটি।
প্রমাণ তত্ত্বকে দার্শনিক যুক্তিবিজ্ঞানের শাখা হিসেবেও গণ্য করা যায়। দার্শনিক যুক্তিবিজ্ঞানে প্রমাণ তত্ত্বমূলক অর্থবিজ্ঞান আলোচিত হয়, এবং এই আলোচনা সাংগঠনিক প্রমাণ তত্ত্বের কলাকৌশলের উপর নির্ভর করে।
গণিত বিষয়ক এই নিবন্ধটি অসম্পূর্ণ। আপনি চাইলে এটিকে সম্প্রসারিত করে উইকিপিডিয়াকে সাহায্য করতে পারেন। |