بالاترین سوالات
زمانبندی
چت
دیدگاه
نظریه برهان
از ویکیپدیا، دانشنامه آزاد
Remove ads
نظریه برهان شاخهای از منطق ریاضی ست که برهانها را به عنوان یک شئ صوری ریاضی در نظر میگیرد تا تجزیه و تحلیل آنها به کمک تکنیکهای ریاضی را آسانتر نماید.[۱] نظریه برهانها دارای طبیعتی نحویست، در مقابل نظریه مدلها که از جنس معناشناسی است. به همراه نظریه مدلها، نظریه مجموعهها مبتنیبر اصول موضوع و نظریه بازگشتی، نظریه برهانها یکی از اصول چهارگانه را در بنیانهای ریاضیّات را تشکیل میدهد.[۲][۳]
Remove ads
منابع
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads