حساب کاربری
​
زمان تقریبی مطالعه: 1 دقیقه
لینک کوتاه

نظریه برهان

نظریه برهان شاخه‌ای از منطق ریاضی ست که برهان‌ها را به عنوان یک شئ صوری ریاضی در نظر می‌گیرد تا تجزیه و تحلیل آن‌ها به کمک تکنیک‌های ریاضی را آسانتر نماید. نظریه برهان‌ها دارای طبیعتی نحوی‌ست، در مقابل نظریه مدل‌ها که از جنس معناشناسی است. به همراه نظریه مدل‌ها، نظریه مجموعه‌ها مبتنی‌بر اصول موضوع، و نظریه بازگشتی، نظریه برهان‌ها یکی از اصول چهارگانه را در بنیان‌های ریاضیّات را تشکیل می‌دهد.

آخرین نظرات
ثبت نظرات
نظر خود را درباره این مقاله بنویسید
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.