نظرية البرهان

اذهب الى الأسفل

نظرية البرهان

مُساهمة من طرف شريفه حمد القصيبي في الإثنين مايو 09, 2016 11:57 am

نظرية البرهان Proof theory أحد فروع المنطق الرياضي الذي يتعامل مع البرهان ككائن رياضي شكلي، مسهلاً بذلك عملية تحليل البرهان بالتقنيات الرياضية.

البراهين عادة تمثل كبنى مثل القوائم المنبسطة أو الأشجار، القوائم المعلبة أو بيانات معرفة حدسياً للنظام المنطقي. بهذا تكون قواعد الاستنباط rules of infernce لتي تشكل بناء على بدهيات وقواعد الاستدلال للنظام المنطقي بعكس نظرية النموذج أو نظرية المجموعات أو نظرية العودية نظرية البرهان أحد مايسمى الأعمدة الأربع لأسس الرياضيات

يمكن أن نتعتبر نظرية البرهان أحد فروع المنطق الفلسفي أيضاً ,حيث تكون الاهتمام المبدئي بفكرة نظرية البرهان البنيوية وهي فكرة تعتمد على أفكار التقنية بالمعنى البرهاني النظري، وهي فكرة تعتمد على أفكار تقنية في نظرية البرهان البنيوية structural proof theory لتكون مقبولة.

شريفه حمد القصيبي
زائر


الرجوع الى أعلى الصفحة اذهب الى الأسفل

الرجوع الى أعلى الصفحة


 
صلاحيات هذا المنتدى:
لاتستطيع الرد على المواضيع في هذا المنتدى