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

يمكن أن تعتبر نظرية البرهان أحد فروع المنطق الفلسفي أيضا، حيث يكون الاهتمام المبدئي بفكرة بالمعنى البرهاني النظري proof-theoretic semantics، وهي فكرة تعتمد على أفكار تقنية في نظرية البرهان البنيوية structural proof theory لتكون مقبولة.
Q1166618
المنطق الرياضي
Concept
Q11538
البرهان
Concept
Q175263
بنى بيانات
Concept
Q17736
بدهيات
Concept
None
قواعد الاستدلال
UNK
None
نحوية
UNK
Q467606
نظرية النموذج
Concept
None
نظرية المجموعات البديهية
UNK
Q818930
نظرية الاستدعاء الذاتي
Concept
None
لأسس الرياضيات
UNK
Q491412
المنطق الفلسفي
Concept
None
بالمعنى البرهاني النظري
UNK
None
نظرية البرهان البنيوية
UNK
Q852732
نظرية البرهان
Concept
Q852732
نظرية البرهان
Concept
Q852732
نظرية البرهان
Concept
Q852732
نظرية البرهان
Concept
subclass of
studies
used by