Rikunarita-ORG/Wikinium huggingface dataset:
# مسلمات بيانو

جيوسيبي بيانو.
تعرف بديهيات بيانو، المسماة أيضاً مسلمات بيانو، في علم المنطق الرياضي بأنها مجموعة من البديهيات المتعلقة بالأعداد الطبيعية. أوجدها في القرن التاسع عشر عالم الرياضيات الإيطالي جيوسيبي بيانو. استُخدمت هذه البديهيات كما هي وبدون تعديلات تذكر في عدد من الأبحاث الرياضية أهمها التحقق من اتساق وكمال نظرية الأعداد.

أثار هيرمان كراسمان عام 1860 الاهتمام حول الشكليات (الإنجليزية: *formalism*) الحسابية من خلال أبحاثه التي بين فيها إمكانية استقراء العديد من الحقائق الرياضية المعقدة بدءاً من حقائق قاعدية بسيطة توضح ماهية عملية التالي وطريقة القيام بالاستقراء. عام 1881 أوجد الرياضي تشارلز ساندرز بيرس تبديهاً (أي تبسيطاً للحقائق) (الإنجليزية: *Axiomatization*) لحساب الأعداد الطبيعية. وقد اقترح ريتشارد ديدكايند عام 1888 جملةً من البديهيات المتعلقة بالأعداد، ونشر بيانو عام 1889 ضمن كتابه «مبادئ الحساب موضحةً بطريقة جديدة» (اللاتينية: *Arithmetices principia, nova methodo exposita*) نسخةً أكثر دقة من هذه البديهيات.

تقع بديهيات بيانو ضمن ثلاث فئات: تحتوي **الفئة الأولى** على بديهية واحدة تجزم وجوب احتواء مجموعة الأعداد على عنصر واحد على الأقل. تتضمن **الفئة الثانية** أربع بديهيات تصف خصائص المساواة، أما **الفئة الثالثة** فهي تتضمن جملاً من الرتبة الأولى تتعلق بالأعداد الطبيعية وتعبر عن الصفات الرئيسية لعملية التالي، بالإضافة إلى جملة واحدة من الرتبة الثانية تُعتبر قاعدةَ الاستقراء الرياضي للأعداد الطبيعية. من الجدير بالذكر أنه يمكن الحصول على نظام من منطق الرتبة الأولى أضعف (أقل قدرة تعبيرية) من حساب بيانو من خلال إضافة رموز عمليات الجمع والضرب إلى جملة البديهيات واستبدال بديهية الاستقراء ذات الرتبة الثانية بمخطط بديهية من الرتبة الأولى.

## البديهيات

عندما قام بيانو بصياغة بديهياته كانت لغة المنطق الرياضي لا تزال حديثة العهد. ولم يلقَ نظام الترميز المنطقي الذي جاء به بيانو لتبيان البديهيات استحساناً وشيوعاً على الرغم من أن بعض الترميزات التي عرّفها لا تزال تستخدم حتى اليوم، فأصل رمز الانتماء إلى مجموعة ∈ المستخدم اليوم ليس إلا رمز بيانو ε، وكذلك رمز الاحتواء ⊃ هو في الأصل الحرف 'C' معكوساً الذي عرفه بيانو أيضاً.

## مراجع
# إنترلنغوا بيانو

|  |  |  |  |
| --- | --- | --- | --- |
|

|  |  |  |
| --- | --- | --- |
|  | إنترلنغوا بيانو، لاتينية بدون تصريف |  |

 |
| الاسم الذاتي | Latino sine flexione |
| الاختراع | جوزيبه بيانو في 1903 |
| الغاية | لغة مساعدة دولية |
| الكتابة | كتابة لاتينية  |
| النسب | لغة مصطنعة
+ إنترلنغوا بيانو
 |
|  **مدخل إلى اللغات المصطنعة** |
| تعديل مصدري - تعديل  |

**إنترلنغوا بيانو**، وتعرف أيضا **باللاتينية بدون تصريف** (بالإيطالية : Latino sine flexione) وتعرف اختصارا ب **LsF** أو **IL** لغة مصطنعة ولغة مساعدة دولية تم إحداثها ووضع قواعدها من طرف عالم الرياضيات الإيطالي جوزيبه بيانو سنة 1903.

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

## تاريخ المشروع

عرض جوزيبه بيانو أهداف مشروعه سنة 2003 في مقالة بعنوان *"اللاتينية بدون تصريف كلغة مساعدة عالمية"* (باللاتينية: *De Latino sine Flexione, Lingua Auxiliare Internationale) في مجلة الرياضيات Revista de Mathematica* حيث دافع عن طرح لايبنيتس في اعتبار اللاتينية لغة كونية، وعارض فيه المشاريع السائدة آنذاك لابتكار لغات مساعدة دولية معتبرا إياها دون جدوى باعتبار أن اللاتينية لديها كل المقومات لكي تكون لغة كونية للعلوم والرياضيات.

استهل بيانو مقالته بلاتينية قديمة (كلاسيكية) وبتقدم النص قام بتطبيق مشروعه اللغوي تدريجيا بالاستغناء عن قواعد التصريف (عدم تغيير بنية الكلمات في الجمع أو بنية الأفعال الزمنية) إلى غاية الوصول إلى اللاتينية المبسطة التي كان يطمح إليها في نهاية النص.

في 1904، أصدر بيانو معجما مقارنا للغته المصطنعة بمقابلات باللغات الإنجليزية والفرنسية والألمانية والإسبانية والإيطالية والروسية واليونانية والسانسكريتية.

تم إصدار كتابين في 1909 و1915، أكثر شمولا يضمان إضافة إلى المعجم المقارن مع اللغات الأوروبية شروحا حول قواعد النحو والتصريف للغة الجديدة.

في المجموع، تم استعمال اللغة في العديد من المقالات والمنشورات العلمية (في الرياضيات خصوصا) واللسانية إلى غاية 1950.

## مراجع

## مقالات ذات صلة

* لغة مصطنعة
* جوزيبه بيانو
# علم آيسلندا

| علم آيسلندا |
| --- |
|  |
|  |
| التناسب | * format 25/18
 |
| الاعتماد | * 1944
 |
| الألوان | * أحمر
* أزرق
* أبيض
 |
|  |

اعتُمد علم أيسلندا الحالي رسمياً في (17 يونيو 1944) والعلم الأيسلندي مشابه للعلم النرويجي ولكن بعكس اللونين الأحمر والأزرق مكان بعضهما البعض .

## وصف العلم

* اللون الأحمر يرمز إلى كفاح البلاد من أجل استقلال آيسلندا عن الدنمارك والدماء التي نزلت
* اللون الأبيض يرمز إلى الثلوج التي تغطي أيسلندا
* اللون الأزرق يرمز إلى المحيط الأطلسي

## مصادر

* موقع مكتب رئاسة الوزراء الإيسلندية باللغة الإنجليزية