نظريّة البرهان proof theory فرع من الرياضيّات يُعنى بدراسة مفاهيم البرهان الرياضي وقابلية الإثبات رياضياً. وتُعرّف أيضاً بأنها فرع من الرياضيات يهتم بدراسة الخصائص التوافقية combinatorial properties للبراهين الصورية formal في المنطق. ولما كان للبرهان دور مركزي في الرياضيّات، لما له من أهميّة في إثبات صحّة قضيّة رياضيّة ما أو خطئها؛ يمكن القول إن نظريّة البرهان هي - بشكل أو بآخر - دراسة تأسيس كلّ الرياضيّات.

">

logo

logo

logo

logo

logo

البرهان (نظرية-)

برهان (نظريه)

Proof theory -

نظريّة البرهان proof theory فرع من الرياضيّات يُعنى بدراسة مفاهيم البرهان الرياضي وقابلية الإثبات رياضياً. وتُعرّف أيضاً بأنها فرع من الرياضيات يهتم بدراسة الخصائص التوافقية combinatorial properties للبراهين الصورية formal في المنطق. ولما كان للبرهان دور مركزي في الرياضيّات، لما له من أهميّة في إثبات صحّة قضيّة رياضيّة ما أو خطئها؛ يمكن القول إن نظريّة البرهان هي - بشكل أو بآخر - دراسة تأسيس كلّ الرياضيّات.

اقرأ المزيد »




التصنيف : تقانات الفضاء والفلك
النوع : تقانات الفضاء والفلك
المجلد : المجلد الرابع
رقم الصفحة ضمن المجلد : 0

آخر أخبار الهيئة :

البحوث الأكثر قراءة

هل تعلم ؟؟

عدد الزوار حاليا : 1108
الكل : 40559904
اليوم : 89719