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

مشرفة سجلت في : 04/08/2010 مساهماتي : 690

نظرية البرهان Proof theory أحد فروع [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] الذي بتعامل مع [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] ككائن رياضي شكلي، مسهلا بذلك عملية تحليل البرهان بالتقنيات الرياضية. البراهين عادة تمثل [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] معرفة حدسيا، مثل القوائم المنبسطة plain lists، القوائم المعلبة boxed lists، أو الأشجار، التي تتشكل بناء على [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] rules of inference للنظام المنطقي. بهذا تكون نظرية البرهان [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] بطبيعتها، بعكس [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] model theory أو [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] أو [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] recursion theory. نظرية البرهان أحد ما يسمى الأعمدة الأربع four pillars [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط] foundations of mathematics.

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

يسلمو دمعة على المعلومات الحلوة
دمتي متالقة

مشكوووووووووووووووووورة دمعة علي ما قدمتي
ان شاء الله بتفيدينا كمان وكمان

عضو جديد سجلت في : 10/11/2010 مساهماتي : 6 العمر : 32

مشكورة يا عسل

عضو جديد سجلت في : 10/11/2010 مساهماتي : 6 العمر : 32

مشكورة يا عسل

عضو جديد سجلت في : 18/11/2010 مساهماتي : 6

بالنسبة لي موضوع جديد و رائع
مشكورة أخت دمعة فلسطين

عضو جديد سجلت في : 16/10/2011 مساهماتي : 13

صدق احد علماء الرياضيات حين قال لكي تفهم الرياضيات يجب ان تبرهن الرياضيات
وقال اخر
كلمة واضح لاتوجد ابدا في قاموس الرياضيات
تشكرين اخت دمعة على ما قدمتي