جدول المحتويات
13 علاقات: فلسفة قارية، فلسفة الرياضيات، فلسفة العلوم، لغة متصرفة، نظرية، نظرية النمط، هاسكل كاري، مبرهنات عدم الاكتمال لغودل، مسلمة (فلسفة)، أطروحة تشرش-تورينغ، إنسان، تكامل لامدا، علوم صورية.
فلسفة قارية
الفلسفة القارية هي مجموعة من الآراء والتوجهات الفلسفية التي ظهرت في القرنين التاسع عشر والعشرين في أوروبا القارية.
فلسفة الرياضيات
فلسفة الرياضيات هي إحدى فروع الفلسفة التي تدرس الافتراضات الفلسفية للرياضيات، والأسس والنتائج المترتبة على النظريات الرياضية وتحاول الإجابة عن أسئلة تتعلق بطبيعة الكائنات الرياضية وتتسائل عن كيفية تجريد الكائنات الرياضية من الطبيعة ثماستخدامها في فهمالطبيعة ذاتها، إلى أي درجة يمكننا القول أن العبارات الرياضية صحيحة؟ وهل للكائنات الرياضية وجود حقيقي؟ أمهي مجرد أدوات تخيلية تجريدية يستخدمها الإنسان لتسهيل معالجته لظواهر الطبيعة؟ وبهكذا فإن الهدف من فلسفة الرياضيات هو تقديمسرد عن طبيعة الرياضيات ومنهجها العلمي ودورها في حياة الإنسان.
رؤية نظام شكلي وفلسفة الرياضيات
فلسفة العلوم
تعد فلسفة العلومفرعًا من فروع الفلسفة يهتمبأسس العلموأساليبه وتداعياته.
لغة متصرفة
يسار اللغة المُتصرِّفة أو اللغة الصُّورِيَّة أو اللغة الرسمية مصطلح يطلق في الرياضيات والمنطق والمعلوماتية على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية.
نظرية
النظرية.
رؤية نظام شكلي ونظرية
نظرية النمط
نظرية النمط أو التنويع في الرياضيات، المنطق والمعلوماتية هي أي نظامشكلي بإمكانه القياممكان نظرية المجموعات البسيطة، أو دراسة التشكيل بشكل عام، وهي أيضاً منهج لبناء المنطق الصوري توضع بواسطته تفرقة بين الموضوعات ذات المستويات المختلفة (الأنماط)، ويهدف هذا المنهج إلى استبعاد المفارقات أو التناقضات من المنطق ونظرية الأعداد وكان أرنست شرودر أول من وضع نظرية الأنماط، وطبقها على منطق الفئات (1890)، وفي الأعوام1908 - 1910 بنى برتراند راسل نسقاً تفصيلياً من نظرية الأنماط وطبقة على أساس التفرقة (طبقاً للأنماط)بين.
هاسكل كاري
هاسكل بروكس كاري (بالإنجليزية: Haskell Brooks Curry) ولد في 12 سبتمبر 1900 وتوفي في 1 سبتمبر 1982، كان رياضياتي وعالممنطق أمريكي. اشتهر بعمله في مجال المنطق الترابطي.
مبرهنات عدم الاكتمال لغودل
يسار مبرهنات عدمالاكتمال لغودل هما مبرهنتان في المنطق الرياضي برهنَ عليهما كورت غودل في عام1931.
رؤية نظام شكلي ومبرهنات عدم الاكتمال لغودل
مسلمة (فلسفة)
يسار المُسلَّمة أو الموضوعة أو البديهِيَّة هي منطقٌ أو قضيَّةٌ أو مبدأٌ يُسلَّمبه دون برهان أو دلائل تسنده؛ لأنّه واضح كالمبادئ العقلية والأوليَّات والضروريَّات.
أطروحة تشرش-تورينغ
في نظرية القابلية للحساب، تعرف أطروحة تشرش-تورنغ Church-Turing Thesis، أو حدسية تشرش-تورنغ Church-Turing Conjecture، على أنها فرضية Hypothesis حول طبيعة الدوال الحسابية Computable functions.
رؤية نظام شكلي وأطروحة تشرش-تورينغ
إنسان
الإنسان العاقل هو ال الوحيد المتبقي من البشراني (الأناسي)، وهو العاقل الوحيد، الذي يمتلك -خلافاً لبقية الحيوانات على الأرض- دماغا عالي التطور، قادر على التفكير المجرد واستخداماللغة والنطق والتفكير الداخلي الذاتي وإعطاء حلول للمشاكل التي يواجهها.
رؤية نظام شكلي وإنسان
تكامل لامدا
حساب اللامبدا نظامصوري في المنطق الرياضي، يعبر عن الحوسبة القائمة على التجريد والتطبيق باستخدامالمتغيرات المقيدة والاستبدال.
علوم صورية
العُلُومُ الصُّورِيَّةُ أو العلومالشكلية هي فروع المعرفة التي تهتمبالأنظمة الشكلية، كالمنطق، والرياضيات، وعلمالكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات.