نظرية البرهان
نظرية البرهان Proof theory أحد فروع المنطق الرياضي الذي يتعامل مع البرهان ككائن رياضي شكلي، مسهلاً بذلك عملية تحليل البرهان بالتقنيات الرياضية.
البراهين عادة تمثل كبنى مثل القوائم المنبسطة أو الأشجار، القوائم المعلبة أو بيانات معرفة حدسياً للنظام المنطقي. بهذا تكون قواعد الاستنباط rules of infernce لتي تشكل بناء على بدهيات وقواعد الاستدلال للنظام المنطقي بعكس نظرية النموذج أو نظرية المجموعات أو نظرية العودية نظرية البرهان أحد مايسمى الأعمدة الأربع لأسس الرياضيات
يمكن أن نتعتبر نظرية البرهان أحد فروع المنطق الفلسفي أيضاً ,حيث تكون الاهتمام المبدئي بفكرة نظرية البرهان البنيوية وهي فكرة تعتمد على أفكار التقنية بالمعنى البرهاني النظري، وهي فكرة تعتمد على أفكار تقنية في نظرية البرهان البنيوية structural proof theory لتكون مقبولة.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
انظر أيضاً
مراجع
- 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.
