Metadata
Author: Samanantar
Data
Bangla[bn]
প্রমাণ তত্ত্ব (ইংরেজি: Proof theory) গাণিতিক যুক্তিবিজ্ঞানের একটি শাখা যেখানে গাণিতিক প্রমাণসমূহকে বিধিগত গাণিতিক বস্তু হিসেবে গণ্য করা হয়, যার ফলে গাণিতিক কলাকৌশলের সাহায্যে এগুলির বিশ্লেষণ সহজতর হয়।
English[en]
Proof theory is a major branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques.