نظرية البرهان
نظرية البرهان باللغة الانجليزية (Proof theory) وهي عبارة عن أحد فروع المنطق الرياضي الذي يتعامل مع البرهان كائنا رياضيا شكليا، مسهلا بذلك عملية تحليل البرهان بالتقنيات الرياضية. تمثل البراهين في العادة بنى بيانات معرفة حدسيا، مثل القوائم المنبسطة (plain lists) أو القوائم المعلبة (boxed lists) أو الأشجار، التي تتشكل بناء على بدهيات وقواعد الاستدلال rules of inference للنظام المنطقي. بهذا تكون نظرية البرهان نحوية بطبيعتها، بعكس نظرية النموذج أو نظرية المجموعات البديهية أو نظرية الاستدعاء الذاتي. نظرية البرهان وهو أحد ما يسمى الأعمدة الأربع لأسس الرياضيات.
حيث يمكن أن تعد نظرية البرهان أحد فروع المنطق الفلسفي أيضا، حيث يكون الاهتمام المبدئي بفكرة بالمعنى البرهاني النظري وباللغة الانجليزية proof-theoretic semantics، وهي فكرة تعتمد على أفكار تقنية في نظرية البرهان البنيوية باللغة الانجليزية structural proof theory لتكون مقبولة.
المراجع
areq.net
التصانيف
منطق منطق رياضي نظرية البرهان رياضيات