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

نظرية البرهان (بالإنجليزية: Proof theory) هي أحد فروع المنطق الرياضي الذي يتعامل مع البرهان كائنا رياضيا شكليا، مسهلا بذلك عملية تحليل البرهان بالتقنيات الرياضية.[1][2][3] تمثل البراهين عادة بنى بيانات معرفة حدسيا، مثل القوائم المنبسطة (plain lists) أو القوائم المعلبة (boxed lists) أو الأشجار، التي تتشكل بناء على بدهيات وقواعد الاستدلال rules of inference للنظام المنطقي. بهذا تكون نظرية البرهان نحوية بطبيعتها، بعكس نظرية النموذج أو نظرية المجموعات البديهية أو نظرية الاستدعاء الذاتي. نظرية البرهان أحد ما يسمى الأعمدة الأربع لأسس الرياضيات.

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

مراجع

  1. "معلومات عن نظرية البرهان على موقع thes.bncf.firenze.sbn.it". thes.bncf.firenze.sbn.it.
  2. "معلومات عن نظرية البرهان على موقع universalis.fr". universalis.fr. مؤرشف من الأصل في 26 يوليو 2019.
  3. "معلومات عن نظرية البرهان على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 24 أكتوبر 2018.
    • بوابة فلسفة
    • بوابة رياضيات
    • بوابة تقنية المعلومات
    • بوابة منطق
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.