نظرية النمط

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

نظرية النمط أو التنويع (بالإنجليزية: Type theory)‏ في الرياضيات، المنطق والمعلوماتية هي أي نظام شكلي بإمكانه القيام مكان نظرية المجموعات البسيطة،[1] أو دراسة التشكيل بشكل عام، وهي أيضاً منهج لبناء المنطق الصوري توضع بواسطته تفرقة بين الموضوعات ذات المستويات المختلفة (الأنماط)، ويهدف هذا المنهج إلى استبعاد المفارقات أو التناقضات من المنطق ونظرية الأعداد وكان أرنست شرودر أول من وضع نظرية الأنماط، وطبقها على منطق الفئات (1890)، وفي الأعوام 1908 - 1910 بنى برتراند راسل نسقاً تفصيلياً من نظرية الأنماط وطبقة على أساس التفرقة (طبقاً للأنماط)بين :

  • الافراد (نمط 1)
  • الصفات (نمط 2)
  • صفات الصفات (نمط 3)

وكذلك أدخل راسل تقسيم الأنماط إلى رتب، وليست نظرية النمط سوى واحدة من المناهج لإزالة التناقضات عن الأبنية في نظرية التعدد والمنطق الصوري وصاغ بيرتراند راسل نظرية النمط وكان ذلك بسبب اكتشافه تعارضا paradoxon في نظرية المجموعات البسيطة سمية بمفارقة راسل.

تعريف النمط: هو أساس تكرار قيمة، إما بالشكل أو بالأرقام.

مراجع[عدل]

  1. ^ Univalent Foundations (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (باللغة الإنجليزية). Univalent Foundations. مؤرشف من الأصل في 25 يونيو 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)


Nuvola apps edu mathematics-ar.svg
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.