نظریه برهان

نظریه برهان شاخه‌ای از منطق ریاضی ست که برهان‌ها را به عنوان یک شئ صوری ریاضی در نظر می‌گیرد تا تجزیه و تحلیل آن‌ها به کمک تکنیک‌های ریاضی را آسانتر نماید.Girard, Lafont, and Taylor (1988). نظریه برهان‌ها دارای طبیعتی نحوی‌ست، در مقابل نظریه مدل‌ها که از جنس معناشناسی است. به همراه نظریه مدل‌ها، نظریه مجموعه‌ها مبتنی‌بر اصول موضوع و نظریه بازگشتی، نظریه برهان‌ها یکی از اصول چهارگانه را در بنیان‌های ریاضیّات را تشکیل می‌دهد.According to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Barwise (1978) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics".

 منابع 
 پانویس 

 کتابشناسی 



 Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896



رده:فرامنطق
رده:منطق ریاضی