{
 "id": "invention/combinatorics-ibn-munim",
 "class": "invention",
 "slug": "combinatorics-ibn-munim",
 "label": {
  "ar": "عد ابن منعم للتوافيق والتباديل",
  "en": "Ibn Munim's combinatorial enumeration",
  "ur": "ابن منعم کی توافیق و تباديل کی گنتی"
 },
 "summary": {
  "ar": "توسيع لعد الحروف بواسطة ألوان ونماذج وجداول، لا اختراع كل عد أو حصر الكلمات ذات المعنى {cite:djebbar-ibn-munim-combinatoire pp9–13}.",
  "en": "Extended letter counting through colour models, rules and tables, not all counting or a census of meaningful words {cite:djebbar-ibn-munim-combinatoire pp9–13}.",
  "ur": "رنگ، نمونے، اصول و جدول سے حروف کی گنتی کی توسیع؛ ہر گنتی کی ایجاد یا بامعنی الفاظ کا شمار نہیں {cite:djebbar-ibn-munim-combinatoire pp9–13}۔"
 },
 "stub": false,
 "wings": [
  "ideas"
 ],
 "regions": [
  "maghreb",
  "andalus-europe"
 ],
 "periods": [
  "period/abbasid-fragmentation"
 ],
 "tags": [],
 "aliases": [],
 "themes": [],
 "data": {
  "names": [
   {
    "kind": "alternate",
    "lang": "en",
    "value": "Combinatorial counting in sectionXI of Fiqh al-hisab"
   }
  ],
  "domain": "mathematics",
  "kind": "method",
  "disciplines": [
   "mathematics"
  ],
  "era": {
   "origins": "middle-period",
   "first_attested": {
    "edtf": "12XX",
    "calendar": "julian",
    "precision": "century",
    "status": "historical",
    "note": "Broad13th-century context. Djebbar tentatively1207–1212 from dedication, not dated colophon. No guessed exact composition or Hijri conversion;1551 copy not author date.",
    "sources": [
     "source/djebbar-ibn-munim-combinatoire",
     "source/arrabita-ibn-munim-naqr"
    ]
   },
   "status_today": "transformed"
  },
  "origin": {
   "place": "place/marrakesh",
   "context": {
    "ar": "تعليم ابن منعم المروي بمراكش؛ جبار لم يحسم مكان التأليف في تقريره الأقدم {cite:arrabita-ibn-munim-naqr section3} {cite:djebbar-ibn-munim-combinatoire p8}.",
    "en": "Reported Marrakech teaching; Djebbar did not establish composition place in earlier report {cite:arrabita-ibn-munim-naqr section3} {cite:djebbar-ibn-munim-combinatoire p8}.",
    "ur": "مراکش میں منقول تدریس؛ جبار کی پرانی رپورٹ مقام تصنیف طے نہیں کرتی {cite:arrabita-ibn-munim-naqr section3} {cite:djebbar-ibn-munim-combinatoire p8}۔"
   }
  },
  "makers": [
   {
    "person": "person/ibn-munim-al-abdari",
    "role": "improver",
    "note": "Explicit named Muslim classification from Arrabita; Sunni separately default frame, not personal school certificate. Distinct from Sicilian namesake.",
    "sources": [
     "source/arrabita-fiqh-hisab",
     "source/arrabita-ibn-munim-naqr"
    ]
   }
  ],
  "attribution": {
   "status": "improvement",
   "claim": {
    "ar": "صياغة منتظمة للتوافيق والتباديل والتكرار في عد لغوي.",
    "en": "Systematic combinations, permutations and repetition within linguistic enumeration.",
    "ur": "لسانی گنتی میں توافیق، تباديل و تکرار کی منظم صورت۔"
   },
   "basis": {
    "ar": "جبار يميز الاستدلال التوافقي عن بناء الكرجي الجبري السابق، ويشكك في نسبة ربط صريح بمعاملات ذات الحدين {cite:djebbar-ibn-munim-combinatoire pp10–12}.",
    "en": "Djebbar distinguishes combinatorial reasoning from al-Karaji's earlier algebraic triangle and questions explicit binomial-coefficient identification {cite:djebbar-ibn-munim-combinatoire pp10–12}.",
    "ur": "جبار توافقي دلیل و کرجی کے سابق جبری مثلث کو الگ کرتا، صریح دو حدی معاملات کی شناخت پر سوال رکھتا ہے {cite:djebbar-ibn-munim-combinatoire pp10–12}۔"
   },
   "perspectives": []
  },
  "precursors": [
   {
    "external": {
     "ar": "عد الخليل بن أحمد اللغوي والجدول الجبري السابق",
     "en": "Al-Khalil's linguistic counting and earlier algebraic triangle",
     "ur": "خلیل کی لسانی گنتی اور سابق جبری مثلث"
    },
    "note": "Distinct prior traditions named by Djebbar; no conflation with al-Karaji polynomial-arithmetic invention or verified copy chain.",
    "sources": [
     "source/djebbar-ibn-munim-combinatoire"
    ]
   }
  ],
  "dependents": [],
  "spread": [],
  "impact": {
   "fields": [
    "mathematics"
   ],
   "changed": {
    "ar": "عد عام مع أمثلة وجداول وتعليل، لا عد يدوي لقائمة ألفاظ ذات معنى {cite:djebbar-ibn-munim-combinatoire pp9–13}.",
    "en": "General enumeration with examples, tables and reasoning, not manual listing of meaningful words {cite:djebbar-ibn-munim-combinatoire pp9–13}.",
    "ur": "مثال، جدول و دلیل کے ساتھ عمومی شمار؛ بامعنی الفاظ کی دستی فہرست نہیں {cite:djebbar-ibn-munim-combinatoire pp9–13}۔"
   },
   "history": {
    "ar": "استقبال مغاربي تذكره الدراسات عند ابن البنا وابن هيدور، لا خط مباشر مثبت إلى باسكال {cite:arrabita-ibn-munim-naqr section2}.",
    "en": "Maghribi reception reported for Ibn al-Banna/Ibn Haydur, not an established direct line to Pascal {cite:arrabita-ibn-munim-naqr section2}.",
    "ur": "ابن البنا و ابن ہیدور میں منقول مغربی استقبال، پاسکال تک ثابت براہ راست خط نہیں {cite:arrabita-ibn-munim-naqr section2}۔"
   },
   "significance": 3,
   "why": "Bounded systematic combinatorial interpretation/extension; predecessors, model limits and modern notation distinguished."
  },
  "described_in": [
   "work/fiqh-hisab-ibn-munim"
  ],
  "examples": [],
  "sites": [],
  "concepts": [],
  "today": {
   "form": {
    "ar": "أمثلة ورقية حديثة تفرق الاختيار عن الترتيب والتكرار.",
    "en": "Modern paper examples distinguish selection, ordering and repetition.",
    "ur": "جدید کاغذی مثالیں انتخاب، ترتیب اور تکرار الگ کرتی ہیں۔"
   },
   "descendants": {
    "ar": "تشابه تعليمي لا نسب مباشر لبرنامج؛ الصورة جدول حديث بترتيب مختلف.",
    "en": "Teaching comparison, not direct software genealogy; image uses modern different layout.",
    "ur": "تدریسی تقابل، سافٹ ویئر کا براہ راست نسب نہیں؛ تصویر کی ترتیب جدید و مختلف ہے۔"
   }
  },
  "media": {
   "image": "media/ibn-munim-arithmetic-context",
   "diagram": "media/diagram-ibn-munim-counting"
  },
  "kids": {
   "ar": "اختر بطاقتين مختلفتين من خمس، ثم اسأل هل تبديل موضعيهما يصنع اختياراً جديداً.",
   "en": "Choose two different cards from five, then ask whether swapping positions makes a new selection.",
   "ur": "پانچ میں سے دو مختلف کارڈ چنیں؛ پوچھیں جگہ بدلنے سے نیا انتخاب بنتا ہے یا نہیں۔"
  },
  "sources": [
   "source/djebbar-ibn-munim-combinatoire",
   "source/arrabita-ibn-munim-naqr",
   "source/arrabita-fiqh-hisab",
   "source/commons-pascal-small-rohieb"
  ],
  "status": {
   "review": "published",
   "completeness": 3,
   "generated_by": "Copilot SDK in VS Code"
  },
  "provenance": {
   "layer": "own-research",
   "generated_by": "Copilot SDK in VS Code",
   "model": "unknown",
   "run": "inventions-p3-b62",
   "source": "Actual selected Djebbar/Arrabita and inspected CC0 image. Original manuscript/2005 edition not read; modern notation/examples independently checked."
  }
 },
 "prose": {
  "ar": {
   "sections": [
    {
     "heading": "الموجز",
     "markdown": "كم اختياراً مختلفاً يمكن تكوينه من ألوان محددة؟ وكم يتغير الجواب إذا صار ترتيب الألوان مهماً أو سمحنا بتكرارها؟ جعل [[person/ibn-munim-al-abdari|ابن منعم العبدري]] مسائل من هذا النوع أدوات لعد الحروف والكلمات في القسم الحادي عشر من [[work/fiqh-hisab-ibn-munim|فقه الحساب]]. يصف أحمد جبار انتقالاً من أمثلة ملموسة إلى قواعد وجداول وتعليل، لا كتابة قائمة طويلة ثم عد سطورها {cite:djebbar-ibn-munim-combinatoire pp9–13}.\n\nنسجل تطويراً منظماً في العد التوافقي، لا اختراع العد كله أو أول جدول مثلثي في العالم. يذكر جبار الخليل بن أحمد سلفاً لغوياً، والكرجي سلفاً في بناء الجدول جبرياً. الإسهام هنا تفسير عناصره عن طريق الاختيارات والتباديل وتوسيع مسائل التكرار، مع حدود للتجريد يصرح بها الدارس {cite:djebbar-ibn-munim-combinatoire pp10–12}."
    },
    {
     "heading": "ما هو",
     "markdown": "التوافق اختيار عناصر دون اعتبار ترتيبها، والتبديل يعامل اختلاف المواقع بوصفه اختلافاً في النتيجة. أما السماح بتكرار العنصر فيغير مجموعة الحالات مرة أخرى. هذه تعريفات حديثة نشرح بها المسألة؛ ليست كل كلمات المؤلف مطابقة لاصطلاحات كتاب مدرسي اليوم. يميز تحليل جبار بين هذه الأنواع داخل مشروع لغوي، ويشرح أن الألوان نموذج للعد {cite:djebbar-ibn-munim-combinatoire pp10–12}.\n\nوقد يعني «عد الكلمات» عد تراكيب وفق افتراضات للحروف وعلاماتها، لا حصر مفردات مستعملة ذات معنى. تقول دراسة الرابطة إن المثال يختار أبجدية وعدداً أقصى لطول الكلمة وحالات للضبط؛ هذه شروط نموذج، لا اكتشاف جميع الألفاظ التي نطق بها البشر. لا نخلط الإمكان الشكلي بالمعجم أو عدد اللغات أو عدد المتكلمين {cite:arrabita-fiqh-hisab combinatorial section}."
    },
    {
     "heading": "العالم قبله",
     "markdown": "عمل اللغويين، وفي مقدمته عد الخليل بن أحمد، حاضر في وصف ابن منعم لمهمته كما ينقله جبار. كانت العلاقات بين الحروف وعدد أوضاعها طريقاً إلى أسئلة حسابية، لا مادة اخترعها رياضي بلا تراث لغوي. ويعرض المؤلف ما يضيفه على حساب لا يتكرر فيه الحرف، بدلاً من إعلان أن كل ما قبله خال من التنظيم {cite:djebbar-ibn-munim-combinatoire pp9–11} {cite:arrabita-fiqh-hisab combinatorial section}.\n\nومن جهة أخرى، سبق بناء الجدول الحسابي في عمل الكرجي الجبري. ذلك مختلف عن [[invention/karaji-polynomial-arithmetic|حسابه للمقادير الجبرية]] وعن معنى الجدول التوافقي هنا. لا نحسب الشكل نفسه مرتين تحت شعار «أول من اخترع مثلث باسكال»؛ بل نحدد نوع الاستدلال والاستعمال. وجود أعداد متماثلة لا يثبت أن المؤلفين فهموا جميع العلاقات نفسها أو قرؤوا النسخة نفسها {cite:djebbar-ibn-munim-combinatoire pp10–11}."
    },
    {
     "heading": "القصة",
     "markdown": "تصف سيرة عبد العزيز النقر رجلاً من دانية بالأندلس استقر وعلم في [[place/marrakesh|مراكش]] بالقبة المنصورية. تاريخ انتقاله غير معلوم، والدعوة من الخليفة رأي منقول لبعض الباحثين. التقرير الأقدم لجبار لم يستطع تحديد مكان التأليف؛ لا نخفي الفرق بين ما عرفه ذلك التقرير وما أضافته السيرة الحديثة من مصدر ترجمي أقدم {cite:arrabita-ibn-munim-naqr section3} {cite:djebbar-ibn-munim-combinatoire p8}.\n\nيرجح جبار تأليف الكتاب بين1207 و1212 من سياق الإهداء ومدح الناصر، لا من خاتمة مؤرخة. نضع القرن الثالث عشر إطاراً عريضاً ونترك الترجيح باسمه. ويذكر تحليل القسم أن الجداول التطبيقية أضيفت بعد تداول نسخ بين الطلاب؛ فالنص مرتبط بتعليم وتجريب عرض، لا بومضة واحدة مكتملة نعرف يومها {cite:djebbar-ibn-munim-combinatoire pp7–8,12}."
    },
    {
     "heading": "المخترع والمخترعون",
     "markdown": "هو أبو جعفر أحمد بن إبراهيم بن علي بن منعم العبدري، لا محمد بن عيسى بن عبد المنعم المرتبط بصقلية. تحذر السيرة من الخلط بينهما، ولا نربط هذه الهوية بأشخاص آخرين لمجرد تشابه «عبد المنعم» أو مهنة الحساب. تسميه مقالة الرابطة عن الكتاب صراحة ضمن العلماء المسلمين؛ هذا أساس الهوية الفردية، لا الاسم أو موطنه {cite:arrabita-ibn-munim-naqr sections1,3} {cite:arrabita-fiqh-hisab introduction}.\n\nالإطار السني هنا قاعدة المتحف المعلنة، لا شهادة شخصية بأنه مالكي. وينقل جبار خطاب المقدمة في مدح ابن تومرت والحاكم الموحدي؛ نبقي ذلك خطاباً منسوباً ولا نصدقه باسم المتحف أو نستخرج منه وحده سيرة مذهبية كاملة. وتذكر السيرة التعليم عن أبيه والطب والتلاميذ، مع ندرة المعلومات؛ ليست لدينا تفاصيل لكل سنة من حياته {cite:djebbar-ibn-munim-combinatoire pp5–8} {cite:arrabita-ibn-munim-naqr sections3–5}."
    },
    {
     "heading": "كيف يعمل",
     "markdown": "يعرض جبار مسألة عشر ألوان من الحرير نريد منها حزم لون واحد أو لونين حتى عشرة، مع عد الحزم لكل عدد من الألوان. في الصف الأول عشر حالات مفردة. ولتكوين الأزواج نثبت اللون المتأخر ونقرنه بكل لون قبله، حتى لا نكرر الزوج نفسه بعكس ترتيبه. شاهدنا الصفحة المطبوعة19 و20 من الدراسة؛ هذا عرض تحليلي حديث للمسألة لا ورقة مخطوط المؤلف {cite:djebbar-ibn-munim-combinatoire pp19–20}.\n\nبترميزنا الحديث، عدد الأزواج من عشرة هو `1+2+...+9=45`، وعدد الثلاثيات `C(10,3)=120`. الرمز `C(n,k)` يعني اختيار `k` عناصر مختلفة من `n` دون ترتيب. نجمع الحالات وفق أكبر عنصر مختار، فنحول مشكلة كبيرة إلى مجموع مسائل أصغر. عدم إعادة عد المجموعة نفسها شرط صحة العملية، لا مجرد حيلة لتسريع الكتابة.\n\nولمثال أصغر من صنعنا، من خمس بطاقات مختلفة نختار اثنتين بعشر طرق. إذا ميزنا الأولى من الثانية صار العدد عشرين؛ لكل زوج موضعان. وإذا سمحنا بالتكرار في موضعين فالعدد خمسة وعشرون. أما الاختيار غير المرتب مع التكرار فخمسة عشر. اختلاف الأجوبة لا يعني خطأ الحساب؛ لقد اختلف السؤال الذي نحسبه.\n\nيمكن شرح علاقة حديثة أخرى بتقسيم الاختيارات إلى قسمين: فيها البطاقة الأخيرة أو ليس فيها. عندئذ `C(n,k)=C(n-1,k)+C(n-1,k-1)`، مع `C(n,0)=1` و`C(n,n)=1`. الاختيار الخالي واحد في اصطلاحنا، وإن كانت مسألة الحزم تبدأ بلون واحد؛ فلا ننسب هذا الحد بصيغته إلى سطر لم نقرأه في الأصل.\n\nتبني هذه العلاقة الصف `1,5,10,10,5,1` للخمس، والصف `1,10,45,120,210,252,210,120,45,10,1` للعشر. مجموع الأخير1024، ومنه1023 اختياراً غير خال. هذه أعداد تحققنا منها حديثاً بتعداد مستقل وبالعلاقة؛ ليست صورة الجدول الأصلي ولا برهاناً أن المؤلف ربط كل عنصر بمعامل ذي الحدين.\n\nوالتكرار يحتاج حذراً آخر. الأحرفA وA وB تنتج ثلاث سلاسل مختلفة، لا ستاً: تبادل نسختيA لا يخلق كتابة جديدة. وتضاف في المشروع اللغوي علامات الضبط وقيود النطق؛ لا يكفي ضرب كل نتيجة بأربعة لكل حرف إذا منع النموذج حالات معينة. يشرح جبار التكرار والتدرج والجداول، لا معجماً آلياً يعرف المعنى {cite:djebbar-ibn-munim-combinatoire pp11–13}."
    },
    {
     "heading": "الانتشار",
     "markdown": "يذكر النقر استعمال فقه الحساب عند ابن البنا وابن هيدور وابن زكريا الغرناطي، وينقل عن ابن خلدون مكانته في مصادر رفع الحجاب. هذه أخبار استقبال من الدراسات المقروءة، لا قراءة منا لجميع النصوص اللاحقة أو إحصاء لعدد النسخ. ويفرق جبار بين بقاء نتائج في التعليم وبين إثبات اعتراف صريح بالاستدلال التوافقي أداة مستقلة {cite:arrabita-ibn-munim-naqr section2} {cite:djebbar-ibn-munim-combinatoire pp12–13}.\n\nولا يرسم تشابه الجدول طريقاً مباشراً إلى باسكال أو مرسين. يقارن جبار بعض الإجراءات بأعمال لاحقة، لكن المقارنة ليست سند انتقال بعينه. الصورة الحديثة تستعمل اسماً شائعاً للجدول؛ لا يجعل الاسم مؤلفها مصدراً لتاريخ ابن منعم، ولا يحسم أولوية عالمية أو سرقة فكرية. نحتاج لكل طريق وثيقة تخصه."
    },
    {
     "heading": "ما بُني عليه",
     "markdown": "يذكر عرض الكتاب الأصول لإقليدس وفصلاً من الاستكمال للمؤتمن ضمن مقدمات القراءة، كما يذكر التحليل والتركيب في تبرير المسائل. لا نستنتج أن كل برهان توافقي نسخة من برهان هندسي. يرى جبار في القسم نوعاً من الاستدلال الاستقرائي والتوافقي يعمل بجانب أدوات العرض المعلنة، وهذه قراءة تحليلية ننسبها إليه {cite:arrabita-fiqh-hisab book introduction} {cite:djebbar-ibn-munim-combinatoire pp12–13}.\n\nالألوان والحروف نماذج مختلفة تشترك في قواعد عد محددة. يجوز نقل عدد الاختيارات عندما نحافظ على شروط التميز والترتيب والتكرار، لا لأن اللون والحرف شيء واحد في الواقع. ويشير جبار إلى أن هذه المرحلة تقترح طريقاً إلى تجريد أوسع دون أن تقدم بعد نموذجاً واحداً معلناً يعيد كل مسائل العد إلى بنية عامة واحدة {cite:djebbar-ibn-munim-combinatoire pp11–12}."
    },
    {
     "heading": "ما بُني فوقه",
     "markdown": "العلاقة بالمؤلفين المغاربة اللاحقين مذكورة في السير، لكننا لا نضع كل حاسوب أو برنامج لغة تابعاً مباشراً لهذه الرسالة. يمكن مقارنة العد الحديث بها تعليمياً دون اختراع سلسلة نسب. وقائمة التوابع الخالية تعني أن علاقات اختراعات محددة لم توثق هنا، لا أن الكتاب بلا أثر أو أن تلاميذه لم ينتفعوا به {cite:arrabita-ibn-munim-naqr sections2,5}.\n\nوينبه جبار إلى أمر مهم: وجود الجدول لا يثبت تعرف المؤلف إلى مطابقته معاملات التوسع الجبري. بل يستشكل الدارس عدم استعمال ذلك الربط في قسم استخراج الجذور. لا نكمل للقدماء نتيجة لم يظهروها لأننا نراها سهلة اليوم. الاستنتاج الرياضي الممكن والسجل التاريخي لما قاله شخص مسألتان مختلفتان {cite:djebbar-ibn-munim-combinatoire pp10–11}."
    },
    {
     "heading": "الأثر في الحياة",
     "markdown": "ألوان الحرير تجعل الاختيار مرئياً، لكنها ليست دليلاً أن مصنعاً طبق جدولاً محدداً أو أن المؤلف اخترع النسيج. تعمل الحزم في التحليل نموذجاً مجرداً لتفادي اعتبار الترتيب. يمكن أن يفهم القارئ المسألة ببطاقات ورقية دون لمس خيوط تاريخية أو صنع منتج. لا نملك قياساً لكمية تجارة أو وقت وفرته هذه القواعد {cite:djebbar-ibn-munim-combinatoire pp19–23}.\n\nوتتيح الحياة التعليمية قصة أوضح من ادعاء اقتصادي غير موثق: يذكر النص إضافة أمثلة وجداول بعد وصول الكتاب إلى الطلاب. شرح القاعدة وتوسيع الأمثلة استجابة لحاجة تعليمية كما يقرأها جبار. هذا لا يثبت مدرسة بمناهج حديثة أو امتحانات موحدة أو عدد حضور بعينه، لكنه يحفظ المتعلم في القصة بدلاً من جعلها سيرة بطل وحيد {cite:djebbar-ibn-munim-combinatoire p12}."
    },
    {
     "heading": "كيف غيّر التاريخ",
     "markdown": "أهمية العمل في تنظيم مسائل وتعليلها وتجاوز خصوصية مثال واحد، لا في رقم ضخم يزعم عد جميع لغات العالم. يبرز جبار أن المجال اللغوي يفتح نتائج أوسع منه، مع حدود التجريد القائم حينذاك. نسميه تطوراً منهجياً محدداً، دون نقل أوصاف التفوق العامة في مقالة تعريفية إلى حكم المتحف على جميع الحضارات {cite:djebbar-ibn-munim-combinatoire pp9–13}.\n\nوتاريخ دراسته يبين تغير المعرفة: تقرير سابق استخرج قرائن من الإهداء، ثم قدمت مقالة أحدث أخباراً من ترجمة قديمة. الدليل الجديد يوسع الصورة ولا يجعل ما عرفه الباحث أول مرة كذباً. لذلك نفرق بين المؤلف والناسخ والمحقق والمؤرخ، ونقول بوضوح أي طبقة قرأناها. لا نضع اكتشاف مخطوط حديثاً في تاريخ اختراع القاعدة."
    },
    {
     "heading": "من اخترعه حقاً؟",
     "markdown": "نسبة هذا التطوير لابن منعم تستند إلى القسم الموصوف في فقه الحساب. الخليل حاضر بوصفه سلفاً في العد اللغوي، والكرجي في الجدول الجبري. عبارة جبار عن أقدم بناء توافقي يعرفه تبقى مقيدة بمعرفته وبنوع البناء، لا أول مثلث حسابي في التاريخ. لا نرفع كلمة «تحسين» إلى أصل مطلق لجعل عنوان جذاب أكثر {cite:djebbar-ibn-munim-combinatoire pp10–11}.\n\nويظل الرياضي مختلفاً عن سميه الصقلي وعن أصحاب أسماء قريبة في قاعدة المتحف. دقة الهوية تمنع نقل تواريخ أو مؤلفات أو ديانة من شخص لآخر. وتاريخ1207–1212 ترجيح للتأليف؛ سنة1551 تاريخ نسخ منقول عن مقالة أخرى؛ وسنة2005 طبعة حديثة. لا يمكن استبدال واحد من هذه التواريخ بالآخر دون تغيير معنى الادعاء {cite:arrabita-ibn-munim-naqr sections1–4} {cite:arrabita-fiqh-hisab manuscript and edition}."
    },
    {
     "heading": "اليوم",
     "markdown": "تختبر برامج اليوم الأعداد بالتعداد الصغير ثم بالعلاقات، لكن هذا أسلوب تحقق حديث نقدمه نحن، لا برنامج ابن منعم. الفحص المستقل مفيد: إذا حسبنا الأزواج مرتبة ثم قسمنا على اثنين في حالة عنصرين مختلفين، نتوقع10 من خمس. أماA وA فليستا زوجاً مختلف العنصرين؛ نقل القسمة إلى حالة أخرى دون تعديل يحطم الفرض.\n\nرسم Rohieb المؤرخ2016 يضم ثمانية صفوف من صفر إلى سبعة، أطلقه صاحبه برخصةCC0. أرقامه وترتيبه المثلثي حديثان؛ ليس صفحة من فقه الحساب أو صورة الحرير. الصف الأخير فيه1،7،21،35،35،21،7،1. يستطيع الزائر قراءة العلاقات في النص، ولا يحتاج أن يستخرجها من الصورة وحدها {cite:commons-pascal-small-rohieb Description and licence}."
    },
    {
     "heading": "الشواهد الباقية",
     "markdown": "تصف مقالة الرابطة نسخة ضمن المجموع416، صفحات214–419، منسوخة بتونس على يد حسن الربعي في958هـ/1551، وعثور إدريس لمرابط عليها سنة1981 ثم تحقيقه المنشور سنة2005. ننقل الوصف من المقالة، لا من معاينة المخطوط أو الطبعة. وعبارة النسخة الوحيدة في سياق التحقيق ليست مسحاً حالياً لجميع خزائن العالم {cite:arrabita-fiqh-hisab manuscript and edition}.\n\nقرأنا أجزاء محددة من دراسة جبار وشاهدنا صفحتيها19 و20، لا جميع131صفحة أو متنها العربي المصور. كما أن الرموز الحديثة في عمل المحقق ليست حروف المخطوط بالضرورة. يتيح فصل هذه الطبقات للقارئ تقييم ما تثبته الصورة وما يثبته تحليل ثانوي وما لا نعرفه، دون تقديم ملف التحميل بوصفه ترخيصاً لنقل الكتاب إلى المستودع."
    },
    {
     "heading": "في الثقافة",
     "markdown": "تجمع القصة اللغة والتعليم والحساب، ومعها سيرة طبيب ومعلم. ينقل النقر عن مصدر أقدم حكاية استحضار ابن منعم مسائل إقليدس قبل النوم من الآخر إلى الأول؛ نعرضها حكاية منقولة، لا طقساً شهدناه أو اختباراً لذكائه. والمدح الطبي في السيرة ليس وصفة علاج أو برهان فعالية حديثاً {cite:arrabita-ibn-munim-naqr sections3–4}.\n\nواسم فقه الحساب يدل هنا على معرفة الحساب في سياق الكتاب، لا تحويل كل نتيجة إلى فتوى. كما أن مدح الحاكم في مقدمة الإهداء خطاب تاريخي له غرضه. نستطيع حفظه منسوباً دون تكرار أحكامه على خصومه في صوت المتحف أو مساواة رعاية السياسة بصحة البرهان الرياضي {cite:djebbar-ibn-munim-combinatoire pp5–9}."
    },
    {
     "heading": "للصغار",
     "markdown": "خذ خمس بطاقات عليها رموز مختلفة، لا ألواناً وحدها حتى يشارك من يصعب عليه تمييز اللون. ضع كل زوج في قائمة مرة واحدة. إذا بدلت اليمين باليسار، هل تريد عده جديداً؟ اكتب القاعدة قبل العد. هذا النشاط يعرض الفرق بين الاختيار والترتيب، لا يحتاج خيوطاً أو أدوات أو مقتنيات أصلية.\n\nثم اسمح باستعمال الرمز مرتين، واسأل لماذا تغير العدد. يمكن للبالغ مقارنة القائمة بالصف الحسابي الصغير، مع القول إنه رسم حديث لا خط ابن منعم. الغرض تعلم السؤال المحدد: ما الذي يعد متشابهاً، وما الذي يعد مختلفاً؟ العدد الصحيح جواب لشروط واضحة، لا زينة طويلة تحفظ بلا فهم."
    },
    {
     "heading": "المراجع",
     "markdown": "- {cite:djebbar-ibn-munim-combinatoire selected pp5–13,19–23}\n- {cite:arrabita-ibn-munim-naqr sections1–5}\n- {cite:arrabita-fiqh-hisab book manuscript and methods}\n- {cite:commons-pascal-small-rohieb Description licence and image}"
    }
   ],
   "frontmatter": {
    "id": "invention/combinatorics-ibn-munim",
    "lang": "ar",
    "source_lang": "ar",
    "translators": [],
    "status": {
     "review": "published"
    },
    "provenance": {
     "generated_by": "Copilot SDK in VS Code",
     "model": "unknown",
     "run": "inventions-p3-b62",
     "source": "Selected actual Djebbar/printed19–20, Arrabita and inspected CC0 image; modern examples, not manuscript transcription"
    }
   },
   "updated": "2026-11-06"
  },
  "en": {
   "sections": [
    {
     "heading": "Summary",
     "markdown": "How many selections can a fixed set of colours produce? How does the answer change if order matters or repetition is allowed? [[person/ibn-munim-al-abdari|Ibn Munim al-Abdari]] made such questions tools for counting letters and words in sectionXI of [[work/fiqh-hisab-ibn-munim|Fiqh al-hisab]]. Ahmed Djebbar describes movement from concrete models to rules, tables and reasoning, not merely writing a long list and counting its lines {cite:djebbar-ibn-munim-combinatoire pp9–13}.\n\nOur record concerns systematic combinatorial development, not invention of counting or the world's first triangular table. Djebbar acknowledges al-Khalil ibn Ahmad's linguistic predecessor work and al-Karaji's algebraic construction. The contribution concerns interpreting entries through selections and permutations and extending repetition problems, with limits to abstraction the historian explicitly discusses {cite:djebbar-ibn-munim-combinatoire pp10–12}."
    },
    {
     "heading": "What it is",
     "markdown": "A combination selects elements without regard to order; a permutation treats changed positions as different outcomes. Permitting an element to repeat changes the possibilities again. These modern definitions explain the problem, not an assertion that every historical word matches a current textbook term. Djebbar distinguishes these kinds within a linguistic project, using colours as a counting model {cite:djebbar-ibn-munim-combinatoire pp10–12}.\n\n“Counting words” can mean counting constructions under assumptions about letters and signs, not enumerating meaningful vocabulary in actual use. Arrabita describes a chosen alphabet, maximum example length and marking conditions. These are model assumptions, not discovery of everything humans have said. Formal possibility, a dictionary, the number of languages and the number of speakers are different quantities {cite:arrabita-fiqh-hisab combinatorial section}."
    },
    {
     "heading": "The world before it",
     "markdown": "Linguists' work, particularly al-Khalil's counting, appears in Ibn Munim's account of his task as reported by Djebbar. Relations between letters and possible arrangements already led to arithmetic questions. The author extends counting without repeated letters rather than claiming an unorganized void before himself. Mathematical and linguistic traditions belong together in this story {cite:djebbar-ibn-munim-combinatoire pp9–11} {cite:arrabita-fiqh-hisab combinatorial section}.\n\nAl-Karaji's earlier algebra supplied an arithmetic triangle. That is distinct from his [[invention/karaji-polynomial-arithmetic|polynomial arithmetic]] record and from the combinatorial interpretation here. We do not count the same shape twice under “first inventor of Pascal's triangle.” We identify reasoning and use: identical numbers do not establish that authors understood every same relationship or read the same copy {cite:djebbar-ibn-munim-combinatoire pp10–11}."
    },
    {
     "heading": "The story",
     "markdown": "Abd al-Aziz al-Naqr's biography describes a man from Denia in al-Andalus settling and teaching at the Mansuriyya in [[place/marrakesh|Marrakech]]. Arrival is undated; a caliphal invitation is a reported scholarly suggestion. Djebbar's earlier report could not establish composition place. We distinguish that report's knowledge from an updated biography's use of older biographical evidence {cite:arrabita-ibn-munim-naqr section3} {cite:djebbar-ibn-munim-combinatoire p8}.\n\nDjebbar tentatively dates the book1207–1212 from dedication and praise of al-Nasir, not a dated colophon. Our record uses broad thirteenth-century placement and attributes the narrower suggestion. His analysis also reports application tables added after copies circulated among students. This was teaching and developing exposition, not a single perfectly dated moment of inspiration {cite:djebbar-ibn-munim-combinatoire pp7–8,12}."
    },
    {
     "heading": "The maker(s)",
     "markdown": "The author is Abu Jafar Ahmad ibn Ibrahim ibn Ali ibn Munim al-Abdari, not the Sicilian Muhammad ibn Isa ibn Abd al-Munim. The biography warns about confusion; similar names and mathematical occupation do not establish identity. Arrabita's book article explicitly names him among Muslim scholars. That supplies an individual Muslim basis, not his name or birthplace {cite:arrabita-ibn-munim-naqr sections1,3} {cite:arrabita-fiqh-hisab introduction}.\n\nThe separate Sunni frame is the museum's declared default, not personal Maliki attestation. Djebbar reports prefatory praise of Ibn Tumart and the Almohad ruler; this remains attributed rhetoric, neither endorsed by the museum nor sufficient alone for a complete personal sect biography. Paternal teaching, medicine and students appear in the biography, but information remains sparse {cite:djebbar-ibn-munim-combinatoire pp5–8} {cite:arrabita-ibn-munim-naqr sections3–5}."
    },
    {
     "heading": "How it works",
     "markdown": "Djebbar presents ten silk colours made into tufts of one colour, two and so on to ten, counting selections of each size. The first line has ten single-colour cases. To form pairs, fix a later colour and join it to every earlier one, avoiding a second count when their order reverses. We visually checked printed19–20: a modern analytical account, not the author's manuscript {cite:djebbar-ibn-munim-combinatoire pp19–20}.\n\nIn our notation, ten colours give `1+2+...+9=45` pairs and `C(10,3)=120` triples. Here `C(n,k)` selects `k` different objects from `n`, ignoring order. Grouping cases by their largest selected element turns one large problem into smaller sums. Not counting one selection twice is a correctness condition, not just a shortcut.\n\nOur smaller modern example chooses two different cards from five in ten ways. Distinguish first position from second and there are twenty: two positions for each pair. Allow repeated cards in two ordered positions and there are twenty-five. Ignore order but allow repetition and there are fifteen. Different answers need not mean faulty arithmetic; the question changed.\n\nA modern explanation splits selections according to whether the final card is included. This gives `C(n,k)=C(n-1,k)+C(n-1,k-1)`, with `C(n,0)=1` and `C(n,n)=1`. Our convention counts one empty selection, although the tuft problem starts with one colour. We do not attribute that boundary statement to an unread original line.\n\nThe recurrence constructs row `1,5,10,10,5,1` for five and `1,10,45,120,210,252,210,120,45,10,1` for ten. The latter sums to1024, giving1023 nonempty selections. We independently checked these by enumeration and recurrence. They are not a photograph of the original table or proof that the author identified every entry with a binomial coefficient.\n\nRepetition needs another distinction. LettersA,A,B give three distinct strings, not six; swapping identicalA copies creates no new writing. The linguistic project adds signs and pronunciation restrictions. Multiplying everything by four per letter fails if the model excludes some states. Djebbar describes repetition, recursive reasoning and tables, not software that knows lexical meaning {cite:djebbar-ibn-munim-combinatoire pp11–13}."
    },
    {
     "heading": "The spread",
     "markdown": "Al-Naqr reports use by Ibn al-Banna, Ibn Haydur and Ibn Zakariyya al-Gharnati, and cites Ibn Khaldun concerning sources of Raf al-hijab. These are reception reports from articles read, not our reading of every later text or copy census. Djebbar distinguishes teaching that preserves results from evidence explicitly recognizing combinatorial reasoning as an independent tool {cite:arrabita-ibn-munim-naqr section2} {cite:djebbar-ibn-munim-combinatoire pp12–13}.\n\nResemblance does not draw a direct route to Pascal or Mersenne. Djebbar compares procedures with later work; comparison is not a particular transmission record. Our modern image uses a familiar triangle name. Its title neither makes the illustrator an authority on Ibn Munim nor settles universal priority or intellectual theft. Each historical route needs its own evidence."
    },
    {
     "heading": "What it was built on",
     "markdown": "The book overview identifies Euclid's Elements and part of al-Mutaman's Istikmal as preparatory reading, alongside analysis and synthesis in proofs. This does not make every combinatorial argument a copy of geometry. Djebbar identifies inductive and combinatorial reasoning alongside the declared expository tools: a historian's analysis, clearly attributed {cite:arrabita-fiqh-hisab book introduction} {cite:djebbar-ibn-munim-combinatoire pp12–13}.\n\nColours and letters are different models sharing selected counting rules. Transfer works when distinctness, ordering and repetition conditions survive, not because a colour and a letter are identical things. Djebbar sees a route toward wider abstraction without an explicitly single model reducing all counting problems to one general structure at this stage {cite:djebbar-ibn-munim-combinatoire pp11–12}."
    },
    {
     "heading": "What was built on it",
     "markdown": "Later Maghribi reception is reported, but every computer or language program is not a direct descendant of this book. Educational comparison does not require invented genealogy. An empty direct-dependents list means particular invention links are unestablished here, not that the work lacked influence or students learned nothing {cite:arrabita-ibn-munim-naqr sections2,5}.\n\nDjebbar stresses that possessing the triangle does not establish recognition of its binomial-coefficient interpretation. Indeed, he questions the absence of that link in the root-extraction section. We cannot complete an unexpressed historical result because it now seems easy. What follows mathematically and what a person demonstrably stated are separate questions {cite:djebbar-ibn-munim-combinatoire pp10–11}."
    },
    {
     "heading": "Impact on daily life",
     "markdown": "Silk colours make selection visible, not evidence that a factory used one table or that Ibn Munim invented weaving. Tufts serve a model excluding position from selection. Paper cards explain the problem without handling historical threads or making a product. We have no measured trade volume or time saving attributable to these rules {cite:djebbar-ibn-munim-combinatoire pp19–23}.\n\nThe teaching story is clearer than an unsupported economic claim: tables and examples were added after students received copies. Djebbar reads an exposition responding to educational needs. This establishes neither modern curricula nor standardized exams nor a particular class size, but it keeps learners present instead of reducing knowledge to a lone hero {cite:djebbar-ibn-munim-combinatoire p12}."
    },
    {
     "heading": "How it changed history",
     "markdown": "Significance lies in organizing and explaining problems beyond one example, not an enormous alleged count of all human languages. Djebbar shows linguistic questions opening wider results, with contemporary abstraction's limits. This is bounded methodological development, not the museum adopting broad celebratory claims that one civilization universally surpassed others {cite:djebbar-ibn-munim-combinatoire pp9–13}.\n\nResearch history also shows changing knowledge: an earlier report drew clues from dedication; a later biography added information from an older source. New evidence enlarges the picture rather than making earlier limited knowledge dishonest. Author, copyist, editor and historian are different roles. Discovering a manuscript in modern times does not date invention of its rules."
    },
    {
     "heading": "Who invented it?",
     "markdown": "Attribution rests on the described section of Fiqh al-hisab. Al-Khalil precedes it in linguistic counting and al-Karaji in algebraic triangle construction. Djebbar's earliest-known combinatorial-construction assessment is qualified by his knowledge and the type of construction, not a claim to the first arithmetic triangle ever. “Improvement” must not become absolute origin for a louder headline {cite:djebbar-ibn-munim-combinatoire pp10–11}.\n\nThe mathematician remains separate from his Sicilian namesake and similarly named museum people. Identity care prevents transferring books, dates or religion between individuals.1207–1212 is suggested composition;1551 a reported copy;2005 a modern edition. Replacing one with another changes the claim, even when all appear in the same book's history {cite:arrabita-ibn-munim-naqr sections1–4} {cite:arrabita-fiqh-hisab manuscript and edition}."
    },
    {
     "heading": "Today",
     "markdown": "Current programs can check small cases by enumeration and recurrence. That is our modern verification, not Ibn Munim's program. Independently count ordered pairs, then divide by two for two different objects: five gives ten. ButA,A is not a different-object pair; transferring the same division to another case without changing assumptions breaks the reasoning.\n\nRohieb's2016 CC0 image has eight rows indexed zero through seven. Modern digits and triangular arrangement do not depict Fiqh al-hisab or silk tufts. The final row is1,7,21,35,35,21,7,1. Relationships are also explained in text: readers need not extract them from an image alone {cite:commons-pascal-small-rohieb Description and licence}."
    },
    {
     "heading": "Surviving examples",
     "markdown": "Arrabita describes a copy in collection416, pages214–419, copied in Tunis by Hasan al-Rabai in958AH/1551, found by Idriss Lamrabet in1981 and edited in2005. These details come through the article, not firsthand inspection. Its sole-known-copy statement in the edition's context is not a current worldwide library census {cite:arrabita-fiqh-hisab manuscript and edition}.\n\nWe read selected parts of Djebbar's study and inspected printed19–20, not all131pages or its Arabic reproduction. Modern editorial symbols are not necessarily manuscript letters. Separating layers lets readers assess what an image, secondary analysis or unknown text establishes. A downloadable file is not permission to put the source book into Git."
    },
    {
     "heading": "In culture",
     "markdown": "Language, teaching and arithmetic meet a physician-teacher's biography. Al-Naqr reports an older account of Ibn Munim mentally reviewing Euclid backward before sleep. This is an attributed anecdote, not an observed routine or intelligence test. Medical praise in that biography is neither a treatment recipe nor modern efficacy evidence {cite:arrabita-ibn-munim-naqr sections3–4}.\n\nFiqh al-hisab concerns knowledge of calculation here, not turning each result into a religious ruling. Dedication's political praise is historical rhetoric with a purpose. We retain it without repeating judgements about opponents in the museum's voice or making patronage establish the truth of a mathematical proof {cite:djebbar-ibn-munim-combinatoire pp5–9}."
    },
    {
     "heading": "For young readers",
     "markdown": "Use five cards with different symbols, not colour alone, so colour discrimination is unnecessary. List every pair once. If left and right swap, should that count again? Write the rule before counting. This explores selection versus order without threads, tools or original artifacts.\n\nThen permit the same symbol twice and ask why the answer changes. An adult can compare the list with a small triangle while explaining that it is modern, not Ibn Munim's handwriting. The central question is what counts as identical or different. A correct number answers explicit assumptions; it is not a long ornament to memorize without understanding."
    },
    {
     "heading": "References",
     "markdown": "- {cite:djebbar-ibn-munim-combinatoire selected pp5–13,19–23}\n- {cite:arrabita-ibn-munim-naqr sections1–5}\n- {cite:arrabita-fiqh-hisab book manuscript and methods}\n- {cite:commons-pascal-small-rohieb Description licence and image}"
    }
   ],
   "frontmatter": {
    "id": "invention/combinatorics-ibn-munim",
    "lang": "en",
    "source_lang": "ar",
    "translators": [
     "Copilot SDK in VS Code"
    ],
    "status": {
     "review": "published"
    },
    "provenance": {
     "generated_by": "Copilot SDK in VS Code",
     "model": "unknown",
     "run": "inventions-p3-b62",
     "source": "Arabic translation from selected actual Djebbar/Arrabita and inspected CC0 image; modern examples, not manuscript transcription"
    }
   },
   "updated": "2026-11-06"
  },
  "ur": {
   "sections": [
    {
     "heading": "خلاصہ",
     "markdown": "مقرر رنگوں سے کتنے مختلف انتخاب بن سکتے ہیں؟ ترتیب اہم ہو یا تکرار کی اجازت ہو تو جواب کتنا بدلتا ہے؟ [[person/ibn-munim-al-abdari|ابن منعم العبدری]] نے ایسے سوال [[work/fiqh-hisab-ibn-munim|فقہ الحساب]] کے گیارہویں حصے میں حروف و الفاظ گننے کے اوزار بنائے۔ احمد جبار ٹھوس مثال سے اصول، جدول اور دلیل تک حرکت بیان کرتا ہے، محض لمبی فہرست لکھ کر سطریں گننا نہیں {cite:djebbar-ibn-munim-combinatoire pp9–13}۔\n\nیہ منظم ترکیبی ترقی کا ریکارڈ ہے، ہر گنتی یا دنیا کے پہلے مثلثی جدول کی ایجاد نہیں۔ جبار خلیل بن احمد کا لسانی اور کرجی کا جبری سابق کام مانتا ہے۔ انتخاب و تباديل سے خانوں کا مطلب واضح کرنا اور تکرار کے سوال بڑھانا موضوع ہے؛ تجرید کی حدود بھی مؤرخ واضح رکھتا ہے {cite:djebbar-ibn-munim-combinatoire pp10–12}۔"
    },
    {
     "heading": "یہ کیا ہے",
     "markdown": "توافق میں عناصر چنتے وقت ترتیب اہم نہیں؛ تبادل میں مقام بدلنا الگ نتیجہ ہے۔ عنصر کی تکرار کی اجازت امکانات پھر بدل دیتی ہے۔ یہ آج کی تعریفیں سوال سمجھاتی ہیں، تاریخی مصنف کا ہر لفظ آج کی درسی اصطلاح نہیں۔ جبار لسانی منصوبے کے اندر ان قسموں کو الگ کرتا اور رنگوں کو گنتی کا نمونہ بتاتا ہے {cite:djebbar-ibn-munim-combinatoire pp10–12}۔\n\n«الفاظ گننا» حروف و علامات کی فرض کردہ شرطوں کے مطابق ساختیں گننا ہو سکتا ہے، زیر استعمال بامعنی لغت شمار کرنا نہیں۔ الرابطہ منتخب ابجد، مثال کے زیادہ سے زیادہ طول اور ضبط کی حالتیں بتاتا ہے۔ یہ نمونے کے مفروضے ہیں، انسانوں کی ہر کہی بات کی دریافت نہیں۔ صوری امکان، لغت، زبانوں اور بولنے والوں کی تعداد الگ مقداریں ہیں {cite:arrabita-fiqh-hisab combinatorial section}۔"
    },
    {
     "heading": "اس سے پہلے کی دنیا",
     "markdown": "جبار کے مطابق ابن منعم اپنے کام میں اہل زبان، خصوصاً خلیل کی گنتی کو سامنے رکھتے ہیں۔ حروف اور ان کی ممکنہ ترتیبیں پہلے ہی حسابی سوال پیدا کر رہی تھیں۔ مصنف بغیر مکرر حرف کی گنتی آگے بڑھاتا ہے، اپنے سے پہلے بے ترتیب خلا کا دعویٰ نہیں کرتا۔ ریاضی اور لسانی روایتیں اس کہانی میں اکٹھی رہتی ہیں {cite:djebbar-ibn-munim-combinatoire pp9–11} {cite:arrabita-fiqh-hisab combinatorial section}۔\n\nکرجی کے سابق جبر میں حسابی مثلث تھا۔ یہ ان کے [[invention/karaji-polynomial-arithmetic|کثیر رقمی جبری حساب]] کے ریکارڈ اور یہاں کی توافقی تعبیر سے الگ ہے۔ «پاسکال کے مثلث کا پہلا موجد» کہہ کر ایک شکل دو مرتبہ نہیں گنتے۔ دلیل و استعمال متعین کرتے ہیں؛ یکساں اعداد سے یکساں تمام فہم یا ایک نسخے کا مطالعہ ثابت نہیں ہوتا {cite:djebbar-ibn-munim-combinatoire pp10–11}۔"
    },
    {
     "heading": "کہانی",
     "markdown": "عبد العزیز النقر کی سوانح دانیہ کے اندلسی عالم کو [[place/marrakesh|مراکش]] کی قبۂ منصوریہ میں آباد و مدرس بتاتی ہے۔ آمد کی تاریخ نہیں؛ خلیفہ کی دعوت بعض محققین کی منقول تجویز ہے۔ جبار کی پرانی رپورٹ مقام تصنیف طے نہیں کر سکی تھی۔ اس رپورٹ کے علم اور جدید سوانح میں پرانی ترجمانی شہادت کے اضافے کا فرق محفوظ رکھتے ہیں {cite:arrabita-ibn-munim-naqr section3} {cite:djebbar-ibn-munim-combinatoire p8}۔\n\nجبار اهداء اور الناصر کی تعریف سے1207 تا1212 کی تصنیف تجویز کرتا ہے، مؤرخ انجام سے نہیں۔ ریکارڈ میں وسیع تیرہویں صدی ہے، تنگ تجویز اس کے نام سے۔ تحلیل کے مطابق کتاب طلبہ کے ہاتھوں میں آنے کے بعد تطبیقی جدول بڑھے۔ یہ تدریس اور بیان کی ترقی ہے، ایک عین مؤرخ کامل لمحۂ الہام نہیں {cite:djebbar-ibn-munim-combinatoire pp7–8,12}۔"
    },
    {
     "heading": "بنانے والے",
     "markdown": "مصنف ابو جعفر احمد بن ابراہیم بن علی بن منعم العبدری ہیں، صقلی محمد بن عیسیٰ بن عبد المنعم نہیں۔ سوانح خلط سے خبردار کرتی ہے؛ ملتا نام اور ریاضی کا پیشہ شناخت نہیں بناتے۔ الرابطہ کی کتاب والی تحریر انہیں واضح طور پر مسلم علما میں شمار کرتی ہے۔ انفرادی مسلم بنیاد یہ ہے، نام یا وطن نہیں {cite:arrabita-ibn-munim-naqr sections1,3} {cite:arrabita-fiqh-hisab introduction}۔\n\nالگ سنی فریم عجائب گھر کا معلن عمومی قاعدہ ہے، ذاتی مالکی سند نہیں۔ جبار مقدمے میں ابن تومرت و موحد حاکم کی مدح بیان کرتا ہے؛ یہ منسوب خطاب رہتا ہے، عجائب گھر کی تائید یا تنہا مکمل مسلکی سوانح نہیں۔ والد کی تعلیم، طب اور شاگرد ملتے ہیں، مگر معلومات کم ہیں؛ ہر سال کی زندگی کا ریکارڈ نہیں {cite:djebbar-ibn-munim-combinatoire pp5–8} {cite:arrabita-ibn-munim-naqr sections3–5}۔"
    },
    {
     "heading": "یہ کیسے کام کرتا ہے",
     "markdown": "جبار دس ریشمی رنگوں سے ایک، دو سے دس رنگ تک کے گچھے بنانے اور ہر حجم کے انتخاب گننے کا سوال پیش کرتا ہے۔ پہلی سطر دس منفرد رنگ ہے۔ جوڑوں کے لیے بعد کا رنگ مقرر کر کے ہر پہلے رنگ سے ملائیں، الٹی ترتیب سے ایک جوڑا دوبارہ نہ گنیں۔ مطبوعہ19 و20 دیکھے: یہ جدید تحلیلی بیان ہے، مصنف کے مخطوطے کا صفحہ نہیں {cite:djebbar-ibn-munim-combinatoire pp19–20}۔\n\nہماری علامت میں دس رنگوں کے جوڑے `1+2+...+9=45`، تین کے مجموعے `C(10,3)=120` ہیں۔ `C(n,k)` کا مطلب `n` مختلف اشیا میں سے `k` کا غیر مرتب انتخاب ہے۔ سب سے بڑے منتخب عنصر سے گروہ بنانے پر بڑا سوال چھوٹی جمعوں میں بدلتا ہے۔ ایک انتخاب دو بار نہ گننا صحت کی شرط ہے، صرف تیزی کی تدبیر نہیں۔\n\nہماری چھوٹی جدید مثال میں پانچ مختلف کارڈ میں سے دو کے دس انتخاب ہیں۔ پہلا و دوسرا مقام الگ ہوں تو بیس: ہر جوڑے کے دو مقام ہیں۔ دو مرتب مقامات میں تکرار ہو تو پچیس۔ ترتیب نہ ہو مگر تکرار ہو تو پندرہ۔ مختلف جواب لازماً حساب کی غلطی نہیں؛ سوال کی شرط بدل گئی ہے۔\n\nجدید وضاحت آخری کارڈ شامل ہونے یا نہ ہونے کے دو حصے بناتی ہے۔ یوں `C(n,k)=C(n-1,k)+C(n-1,k-1)`، اور `C(n,0)=1`، `C(n,n)=1`۔ ہماری قرارداد میں خالی انتخاب ایک ہے، اگرچہ گچھے کا سوال ایک رنگ سے شروع ہے۔ اس حد کی عبارت ان پڑھی اصل سطر سے منسوب نہیں کرتے۔\n\nتعلق پانچ کی قطار `1,5,10,10,5,1` اور دس کی `1,10,45,120,210,252,210,120,45,10,1` بناتا ہے۔ دوسری کا مجموعہ1024، غیر خالی انتخاب1023 ہیں۔ آزاد شمار اور تعلق سے جانچا ہے۔ یہ اصل جدول کی تصویر یا مصنف کے ہر خانے کو دو حدی معامل جاننے کا ثبوت نہیں۔\n\nتکرار میں الگ احتیاط ہے۔ A،A،B کے تین مختلف سلسلے ہیں، چھ نہیں؛ یکساںA آپس میں بدلنے سے نئی تحریر نہیں۔ لسانی منصوبے میں ضبط و تلفظ کی پابندیاں آتی ہیں۔ اگر بعض حالتیں ممنوع ہوں تو ہر حرف کے لیے چار سے ضرب کافی نہیں۔ جبار تکرار، ترجعی دلیل اور جدول بتاتا ہے، معنی جاننے والا خودکار لغوی پروگرام نہیں {cite:djebbar-ibn-munim-combinatoire pp11–13}۔"
    },
    {
     "heading": "پھیلاؤ",
     "markdown": "النقر ابن البنا، ابن ہیدور اور ابن زکریا الغرناطی کے استعمال اور رفع الحجاب کے مصادر پر ابن خلدون کا بیان دیتا ہے۔ یہ پڑھی تحریروں کے استقبال کی خبریں ہیں، ہر بعد کا متن ہمارا پڑھنا یا نسخوں کا شمار نہیں۔ جبار تدریس میں نتائج کے بقا اور توافقی دلیل کو آزاد آلے کی واضح حیثیت ملنے کی شہادت الگ کرتا ہے {cite:arrabita-ibn-munim-naqr section2} {cite:djebbar-ibn-munim-combinatoire pp12–13}۔\n\nمشابہت پاسکال یا مرسین تک براہ راست راستہ نہیں کھینچتی۔ جبار بعد کے کام سے طریقے ملاتا ہے، تقابل مخصوص انتقالی ریکارڈ نہیں۔ جدید تصویر عام معروف نام استعمال کرتی ہے۔ عنوان مصور کو ابن منعم کی تاریخ کا سند نہیں بناتا، نہ عالمی اولیت یا علمی چوری طے کرتا ہے۔ ہر تاریخی راستے کو اپنی دلیل چاہیے۔"
    },
    {
     "heading": "اس کی بنیاد کیا تھی",
     "markdown": "کتاب کا تعارف اقلیدس کے اصول اور مؤتمن کے استکمال کا حصہ مقدماتی مطالعہ، نیز براهین میں تحلیل و ترکیب بتاتا ہے۔ اس سے ہر توافقی دلیل ہندسے کی نقل نہیں بنتی۔ جبار بیان کے معلن اوزار کے ساتھ استقرائی و توافقی استدلال شناخت کرتا ہے؛ مؤرخ کی تحلیل اسی کی طرف منسوب ہے {cite:arrabita-fiqh-hisab book introduction} {cite:djebbar-ibn-munim-combinatoire pp12–13}۔\n\nرنگ اور حرف مختلف نمونے ہیں جن میں بعض گنتی کے اصول مشترک ہیں۔ منتقلی تب ہو جب تمیز، ترتیب اور تکرار کی شرط محفوظ ہو، نہ اس لیے کہ رنگ و حرف ایک چیز ہیں۔ جبار وسیع تجرید کا راستہ دیکھتا ہے مگر اس مرحلے پر ایسا معلن واحد نمونہ نہیں جو ہر شمار کو ایک عمومی ساخت میں بدل دے {cite:djebbar-ibn-munim-combinatoire pp11–12}۔"
    },
    {
     "heading": "اس پر کیا بنایا گیا",
     "markdown": "بعد کے مغربی استقبال کی خبر ہے، مگر ہر کمپیوٹر یا لسانی پروگرام اس کتاب کا براہ راست جانشین نہیں۔ تدریسی تقابل کے لیے گھڑا نسب نہیں چاہیے۔ براہ راست توابع خالی ہونے کا مطلب مخصوص ایجاد کے روابط یہاں ثابت نہیں، نہ یہ کہ کام بے اثر یا طالب علم نے کچھ نہ سیکھا {cite:arrabita-ibn-munim-naqr sections2,5}۔\n\nجبار زور دیتا ہے کہ مثلث ہونا اس کے دو حدی معاملات کی شناخت ثابت نہیں کرتا۔ وہ جذر والے حصے میں اس ربط کے استعمال نہ ہونے پر سوال بھی رکھتا ہے۔ آج آسان لگنے پر غیر ظاہر تاریخی نتیجہ مصنف کے لیے مکمل نہیں کر سکتے۔ ریاضی میں ممکن استنتاج اور کسی شخص نے واقعی کیا کہا، الگ سوال ہیں {cite:djebbar-ibn-munim-combinatoire pp10–11}۔"
    },
    {
     "heading": "روزمرہ زندگی پر اثر",
     "markdown": "ریشمی رنگ انتخاب دکھاتے ہیں، یہ ثبوت نہیں کہ کارخانے نے مخصوص جدول لگایا یا ابن منعم نے بُنائی ایجاد کی۔ گچھے ایسا نمونہ ہیں جس میں مقام انتخاب سے خارج ہے۔ تاریخی دھاگا چھوئے یا چیز بنائے بغیر کارڈ سے مسئلہ سمجھ سکتے ہیں۔ ان اصول سے تجارت یا وقت کی بچت کا ناپا عدد ہمارے پاس نہیں {cite:djebbar-ibn-munim-combinatoire pp19–23}۔\n\nتدریس کی کہانی بے ثبوت معاشی دعوے سے واضح ہے: طلبہ کو نسخے ملنے کے بعد مثال و جدول بڑھے۔ جبار اسے تعلیمی ضرورت کے مطابق بیان سمجھتا ہے۔ اس سے جدید نصاب، معیاری امتحان یا خاص جماعت کا حجم نہیں نکلتا، مگر سیکھنے والے موجود رہتے ہیں؛ علم صرف تنہا ہیرو کی سوانح نہیں بنتا {cite:djebbar-ibn-munim-combinatoire p12}۔"
    },
    {
     "heading": "اس نے تاریخ کو کیسے بدلا",
     "markdown": "اہمیت مسئلے منظم کر کے دلیل دینے اور ایک مثال سے آگے جانے کی ہے، تمام انسانی زبانیں گننے کے بڑے عدد کی نہیں۔ جبار لسانی سوال سے وسیع نتائج اور اس وقت کی تجرید کی حد دکھاتا ہے۔ یہ محدود منہجی ترقی ہے، کسی تعریفی مضمون کے عمومی تمدنی تفوق کو عجائب گھر کا فیصلہ بنا لینا نہیں {cite:djebbar-ibn-munim-combinatoire pp9–13}۔\n\nتحقیق کی تاریخ علم کا بدلنا دکھاتی ہے: پہلی رپورٹ نے اهداء سے قرینہ لیا، بعد کی سوانح نے قدیم ماخذ کی معلومات بڑھائیں۔ نیا ثبوت تصویر وسیع کرتا ہے، پہلے محدود علم کو جھوٹ نہیں بناتا۔ مصنف، ناسخ، محقق و مؤرخ الگ کردار ہیں۔ جدید دور میں مخطوطہ ملنا اس کے اصول کی ایجاد کی تاریخ نہیں۔"
    },
    {
     "heading": "اسے حقیقتاً کس نے ایجاد کیا؟",
     "markdown": "نسبت فقہ الحساب کے بیان کردہ حصے پر ہے۔ خلیل لسانی شمار اور کرجی جبری مثلث میں سابق ہیں۔ جبار کا معلوم قدیم توافقی تعمیر والا اندازہ اس کے علم اور تعمیر کی قسم سے محدود ہے، پہلے عالمی حسابی مثلث کا دعویٰ نہیں۔ زیادہ شور والے عنوان کے لیے «بہتری» کو مطلق آغاز نہیں بناتے {cite:djebbar-ibn-munim-combinatoire pp10–11}۔\n\nریاضی دان صقلی ہم نام اور ملتے نام والے عجائب گھر کے افراد سے الگ رہتا ہے۔ شناخت کی احتیاط کتاب، تاریخ یا مذہب ایک سے دوسرے میں منتقل ہونے سے روکتی ہے۔1207 تا1212 تجویز تصنیف،1551 منقول نسخہ اور2005 جدید اشاعت ہیں۔ سب ایک تاریخ میں ملیں بھی، ایک کو دوسرے کی جگہ دینے سے دعویٰ بدل جاتا ہے {cite:arrabita-ibn-munim-naqr sections1–4} {cite:arrabita-fiqh-hisab manuscript and edition}۔"
    },
    {
     "heading": "آج",
     "markdown": "آج کے پروگرام چھوٹی صورت شمار اور ترجعی تعلق دونوں سے جانچ سکتے ہیں۔ یہ ہمارا جدید تحقق ہے، ابن منعم کا پروگرام نہیں۔ پہلے مرتب جوڑے گن کر دو مختلف اشیا کے لیے دو سے بانٹیں تو پانچ سے دس ملیں۔ مگرA،A مختلف اشیا کا جوڑا نہیں؛ شرط بدلے بغیر یہی تقسیم دوسری صورت میں لے جانا دلیل توڑ دیتا ہے۔\n\nRohieb کی2016 کی CC0 تصویر میں صفر تا سات کی آٹھ قطاریں ہیں۔ جدید ہندسے اور مثلثی ترتیب فقہ الحساب یا ریشمی گچھے نہیں دکھاتے۔ آخری قطار1،7،21،35،35،21،7،1 ہے۔ تعلق متن میں بھی سمجھایا ہے، قاری کو صرف تصویر سے نکالنا ضروری نہیں۔ اصل کی قرأت اور موجودہ تصور الگ رہتے ہیں {cite:commons-pascal-small-rohieb Description and licence}۔"
    },
    {
     "heading": "باقی ماندہ شواہد",
     "markdown": "الرابطہ مجموعہ416، صفحات214 تا419 کا نسخہ بتاتا ہے جسے حسن الربعی نے تونس میں958ھ/1551 میں لکھا؛ ادریس لمرابط نے1981 میں پایا اور2005 میں شائع کیا۔ یہ مضمون کی خبر ہے، نسخے یا طباعت کا ہمارا معائنہ نہیں۔ اشاعت کے سیاق میں واحد معلوم نسخہ کہنا آج کے ہر عالمی کتب خانے کی گنتی نہیں {cite:arrabita-fiqh-hisab manuscript and edition}۔\n\nجبار کے منتخب حصے اور مطبوعہ19 و20 دیکھے، تمام131صفحات یا عربی عکس نہیں۔ محقق کی جدید علامتیں لازماً مخطوطے کے حروف نہیں۔ تہیں الگ رکھنے سے قاری جان سکتا ہے تصویر، ثانوی تحلیل اور نامعلوم متن کیا ثابت کرتے ہیں۔ فائل کا قابل ڈاؤن لوڈ ہونا ماخذ کی کتاب گٹ میں رکھنے کی اجازت نہیں بنتا۔"
    },
    {
     "heading": "ثقافت میں",
     "markdown": "زبان، تدریس اور حساب کے ساتھ طبیب استاد کی سوانح ملتی ہے۔ النقر قدیم خبر دیتا ہے کہ ابن منعم سونے سے پہلے اقلیدس الٹی ترتیب میں ذہناً دہراتے تھے۔ یہ منقول حکایت ہے، دیکھا معمول یا ذہانت کا امتحان نہیں۔ طبی تعریف علاج کا نسخہ یا جدید تاثیر کا ثبوت بھی نہیں بنتی {cite:arrabita-ibn-munim-naqr sections3–4}۔\n\nفقہ الحساب یہاں علم حساب کا نام ہے، ہر نتیجے کو فتویٰ بنانا نہیں۔ مقدمے کی سیاسی مدح تاریخی خطاب ہے جس کا مقصد ہے۔ اسے محفوظ رکھ سکتے ہیں مگر مخالفین کے فیصلے عجائب گھر کی آواز میں نہیں دہراتے، نہ سرپرستی کو ریاضی کی دلیل کی صحت بناتے ہیں۔ نسبت اور توثیق دو الگ کام ہیں {cite:djebbar-ibn-munim-combinatoire pp5–9}۔"
    },
    {
     "heading": "بچوں کے لیے",
     "markdown": "پانچ کارڈ پر مختلف نشان بنائیں، صرف رنگ نہیں، تاکہ رنگ الگ دیکھنا ضروری نہ ہو۔ ہر جوڑا ایک بار لکھیں۔ دائیں بائیں بدلنے سے کیا دوبارہ گنیں گے؟ پہلے اصول لکھیں، پھر شمار کریں۔ یہ انتخاب و ترتیب سمجھاتا ہے؛ دھاگا، آلہ یا اصل تاریخی شے نہیں چاہیے۔ بالغ شخص نتیجہ بچے کے ساتھ ملا سکتا ہے۔\n\nپھر ایک نشان دو مرتبہ لینے دیں اور پوچھیں عدد کیوں بدلا۔ فہرست چھوٹے مثلث سے ملاتے وقت بتائیں کہ نقش جدید ہے، ابن منعم کی لکھائی نہیں۔ بنیادی سوال کیا ایک جیسا اور کیا مختلف گننا ہے۔ صحیح عدد واضح شرط کا جواب ہے، سمجھ کے بغیر یاد کرنے کی لمبی آرائش نہیں۔ اختلاف گنتی سے پہلے سوال میں بھی ہو سکتا ہے۔"
    },
    {
     "heading": "مراجع",
     "markdown": "- {cite:djebbar-ibn-munim-combinatoire selected pp5–13,19–23}\n- {cite:arrabita-ibn-munim-naqr sections1–5}\n- {cite:arrabita-fiqh-hisab book manuscript and methods}\n- {cite:commons-pascal-small-rohieb Description licence and image}"
    }
   ],
   "frontmatter": {
    "id": "invention/combinatorics-ibn-munim",
    "lang": "ur",
    "source_lang": "ar",
    "translators": [
     "Copilot SDK in VS Code"
    ],
    "status": {
     "review": "published"
    },
    "provenance": {
     "generated_by": "Copilot SDK in VS Code",
     "model": "unknown",
     "run": "inventions-p3-b62",
     "source": "Arabic translation from selected actual Djebbar/Arrabita and inspected CC0 image; modern examples, not manuscript transcription"
    }
   },
   "updated": "2026-11-06"
  }
 },
 "degree": 4,
 "contemporaries": [],
 "updated": "2026-11-06",
 "connections": [
  {
   "to": "person/ibn-munim-al-abdari",
   "type": "improved_by",
   "inverse": true,
   "derived": true,
   "role": "improver",
   "note": "Systematic combination/permutation counting in linguistic setting, not first counting or first arithmetic triangle.",
   "sources": [
    "source/arrabita-fiqh-hisab",
    "source/arrabita-ibn-munim-naqr",
    "source/djebbar-ibn-munim-combinatoire"
   ]
  },
  {
   "to": "work/fiqh-hisab-ibn-munim",
   "type": "described_by",
   "inverse": true,
   "derived": true,
   "sources": [
    "source/djebbar-ibn-munim-combinatoire",
    "source/arrabita-ibn-munim-naqr",
    "source/arrabita-fiqh-hisab",
    "source/commons-pascal-small-rohieb"
   ]
  }
 ],
 "related": [
  "place/marrakesh",
  "person/ibn-munim-al-abdari",
  "work/fiqh-hisab-ibn-munim"
 ],
 "license": {
  "prose": "CC BY-SA 4.0",
  "data": "CC0 1.0"
 }
}