نظرية البرهان
نظرية البرهان Proof theory أحد فروع المنطق الرياضي الذي يتعامل مع البرهان ككائن رياضي شكلي، مسهلاً بذلك عملية تحليل البرهان بالتقنيات الرياضية.
البراهين عادة تمثل كبنى مثل القوائم المنبسطة أوالأشجار، القوائم المعلبة أوبيانات فهم حدسياً للنظام المنطقي. بهذا تكون قواعد الاستنباط rules of infernce لتي تشكل بناء على بدهيات وقواعد الاستدلال للنظام المنطقي بعكس نظرية النموذج أونظرية المجموعات أونظرية العودية نظرية البرهان أحد مايسمى الأعمدة الأربع لأسس الرياضيات
يمكن حتى نتعتبر نظرية البرهان أحد فروع المنطق الفلسفي أيضاً ,حيث تكون الاهتمام المبدئي بفكرة نظرية البرهان البنيوية وهي فكرة تعتمد على أفكار التقنية بالمعنى البرهاني النظري، وهي فكرة تعتمد على أفكار تقنية في نظرية البرهان البنيوية structural proof theory لتكون مقبولة.
انظر أيضاً
- أساليب البرهان
- Intermediate logics
- برهان (حقيقة)
- نظرية النموذج
مراجع
- J. Avigad, E.H. Reck, 2001.“Clarifying the nature of the infinite”: the development of metamathematics and proof theory. Carnegie-Mellon Technical Report CMU-PHIL-120.
- A. S. Troelstra, H. Schwichtenberg. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press. ISBN 0-521-77911-1
- G. Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, Collected Papers of Gerhard Gentzen. North-Holland, 1969.
