hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
أطروحة تشرش-تورينغ بيان تشيرش وتورنج
قيل ... أن «دالة قابلة للحساب بشكل فعال إذا كان من الممكن العثور على قيمها من خلال عملية ميكانيكية بحتة». قد نأخذ هذا حرفياً، ونفهم أنه من خلال عملية ميكانيكية بحتة، يمكن تنفيذها بواسطة آلة. التطور ... يؤدي إلي ... لتحديد الحاسوبية † مع الحسابية فعالة. [ † هي الحاشية المقتبسة أعلاه. ]
أطروحة تشرش-تورينغ التاريخ
إحدى المشكلات المهمة التي واجهها علماء المنطق في ثلاثينيات القرن الماضي كانت مشكلة مسألة القرار (بالإنجليزية: Entscheidungsproblem)‏ لديفيد هيلبرت وويلهلم أكرمان، والتي تساءلت عما إذا كان هناك إجراء ميكانيكي لفصل الحقائق الرياضية عن الأكاذيب الرياضية. تطلب هذا المسعى أن يتم تثبيت فكرة «الخوارزمية» أو «القابلية للحساب الفعال»، على الأقل بشكل كافٍ لبدء المهمة. لكن منذ البداية بدأت محاولات ألونزو تشيرش بجدل مستمر حتى يومنا هذا. [بحاجة لتوضيح وتوسيع] فكرة «القابلية للحساب الفعال» لتكون (1) «بديهية أو بديهية» في نظام بديهي، (2) مجرد تعريف «حدد» اثنين أو أكثر من الافتراضات، (3) فرضية تجريبية لتكون التحقق من خلال ملاحظة الأحداث الطبيعية، أو (4) مجرد اقتراح من أجل الجدل (أي «أطروحة»).
أطروحة تشرش-تورينغ التاريخ
في سياق دراسة المشكلة، قدم تشرش وتلميذه ستيفن كلاين مفهوم الوظائف القابلة للتحديد، وتمكنا من إثبات أن العديد من الفئات الكبيرة من الوظائف التي يتم مواجهتها بشكل متكرر في نظرية الأعداد كانت قابلة للتحديد λ. بدأ النقاش عندما اقترحت تشيرش على جودل أن على المرء أن يعرف الوظائف «القابلة للحساب بشكل فعال» كوظائف قابلة للتحديد λ. ومع ذلك، لم يكن جودل مقتنعًا ووصف الاقتراح بأنه «غير مرض تمامًا». بدلاً من ذلك، في المراسلات مع تشيرش (حوالي 1934-1935)، اقترح جودل إضفاء البديهية على مفهوم «الحساب الفعال». في الواقع، في رسالة أرسلها تشرش عام 1935 إلى كلاين، أفاد تشرش بأن:
لكن جودل لم يقدم أي إرشادات أخرى. في النهاية، كان يقترح تكراره، بعد تعديله من خلال اقتراح هيربراند، الذي ذكره جودل بالتفصيل في محاضراته عام 1934 في برينستون نيوجيرسي (قام كلاين وروسر بنسخ الملاحظات). لكنه لم يعتقد أنه يمكن تحديد الفكرتين بشكل مرضٍ «إلا بطريقة الكشف عن مجريات الأمور».
أطروحة تشرش-تورينغ التاريخ
بعد ذلك، كان من الضروري تحديد وإثبات تكافؤ مفهومين للقدرة على الحساب الفعال. مُجهزًا بحساب التفاضل والتكامل λ والعودة «العامة»، قدم ستيفن كلاين بمساعدة تشرش وجي باركلي روسر البراهين (1933، 1935) لإثبات أن الحسابين متكافئان. قام تشرش بعد ذلك بتعديل أساليبه لتشمل استخدام عودية هيربراند-جودل ثم أثبت (1936) أن مسألة القرار غير قابل للحل: لا توجد خوارزمية يمكنها تحديد ما إذا كانت الصيغة جيدة التكوين.
أطروحة تشرش-تورينغ التاريخ
بعد عدة سنوات في رسالة إلى ديفيس (حوالي 1965)، قال جودل إنه «في وقت هذه المحاضرات [1934]، لم يكن مقتنعًا على الإطلاق بأن مفهومه للتكرار يشمل جميع عمليات التكرار الممكنة». بحلول عام 1963 - 1964، تنصل جودل من تكرار هيربراند-جودل وحساب التفاضل والتكامل لصالح آلة تورينج كتعريف لـ «الخوارزمية» أو «الإجراء الميكانيكي» أو «النظام الرسمي». فرضية تؤدي إلى قانون طبيعي؟: في أواخر عام 1936، تم تسليم ورقة آلان تورينج (التي تثبت أيضًا أن مشكلة مسألة القرار غير قابلة للحل) شفهيًا، ولكنها لم تظهر بعد في الطباعة. من ناحية أخرى، ظهرت ورقة Emil Post لعام 1936 وتم اعتمادها بشكل مستقل عن عمل تورينج. اختلف بوست بشدة مع «تحديد» تشيرش للحساب الفعال باستخدام حساب التفاضل والتكامل λ والتكرار. بدلاً من ذلك، اعتبر فكرة «القابلية للحساب الفعال» مجرد «فرضية عمل» قد تؤدي بالاستدلال الاستقرائي إلى «قانون طبيعي» بدلاً من «تعريف أو بديهية». انتقدت تشيرش هذه الفكرة «بشدة». وهكذا كان بوست في ورقته البحثية عام 1936 يستبعد أيضًا اقتراح كورت جودل للكنتش في 1934-1935 بأن الأطروحة يمكن التعبير عنها كبديهية أو مجموعة من البديهيات.
أطروحة تشرش-تورينغ التاريخ
يضيف تورينج تعريفًا آخر، يساوي روسر الثلاثة: في غضون وقت قصير فقط، ظهرت ورقة تورينج 1936-1937 «حول الأرقام المحسوبة، مع تطبيق على مشكلة مسألة القرار». ذكر فيه فكرة أخرى عن «الحوسبة الفعالة» مع إدخال آلاته (المعروفة الآن باسم النموذج الحسابي المجرد لآلة تورينج). وفي رسم إثبات تمت إضافته باعتباره «ملحقًا» إلى ورقته البحثية 1936-1937، أظهر تورينج أن فئات الوظائف المحددة بواسطة حساب التفاضل والتكامل λ وآلات تورينج تتطابق. كان تشرش سريعًا في إدراك مدى جاذبية تحليل تورينج. في مراجعته لورقة تورينج أوضح أن فكرة تورينج جعلت «التماثل بفعالية في المعنى العادي (غير المحدد صراحة) واضحًا على الفور». في غضون بضع سنوات (1939) سيقترح تورينج، مثل تشرش وكلين من قبله، أن تعريفه الرسمي لعامل الحوسبة الميكانيكية هو التعريف الصحيح. وهكذا، بحلول عام 1939، اقترحت كل من تشيرش (1934) وتورنج (1939) بشكل فردي أن «الأنظمة الرسمية» يجب أن تكون تعريفات «للحساب الفعال».
أطروحة تشرش-تورينغ التاريخ
أطروحة تشرش - تورينغ: ستيفن كلاين، في مقدمة عن الرياضيات، انتقل أخيرًا إلى تسمية «أطروحة تشيرش» و «أطروحة تورينج»، مستخدمًا نظريته في القابلية للتكرار. بعد أن تحول كلاين من تقديم عمله في مصطلحات تعريف تشيرش-كلين لامدا، إلى التكرار العودي جودل-كلين (الوظائف العودية الجزئية). في هذا الانتقال، عدل كلين وظائف جوديل العودية العامة للسماح بإثبات عدم قابلية حل المشكلات في حدس آي جي براور. في كتابه للخريجين حول المنطق، تم تقديم «أطروحة تشيرش» وتبيّن أن النتائج الرياضية الأساسية غير قابلة للتحقيق. بعد ذلك، يواصل كلاين تقديم «أطروحة تورينج»، حيث تظهر النتائج على أنها غير قابلة للحساب، مستخدمًا اشتقاقه المبسط لآلة تورينج بناءً على عمل إميل بوست. تم إثبات تكافؤ كلتا الأطروحتين باستخدام «نظرية XXX». أخيرًا، استخدم كلاين لأول مرة مصطلح «أطروحة تشيرش - تورينج» في قسم يساعد فيه على تقديم توضيحات للمفاهيم الواردة في ورقة ألان تورينج «مشكلة الكلمة في شبه المجموعات مع الإلغاء»، كما هو مطلوب في نقد من ويليام بون.
أطروحة تشرش-تورينغ التاريخ
أدت محاولة فهم فكرة «الحوسبة الفعالة» بشكل أفضل إلى قيام روبن غاندي (تلميذ وصديق تورينج) في عام 1980 بتحليل حساب الآلة (على عكس الحوسبة البشرية التي تقوم بها آلة تورينج). أدى فضول غاندي حول الأوتوماتا الخلوية وتحليلها (بما في ذلك لعبة الحياة لكونواي) والتوازي والأوتوماتا البلورية، إلى اقتراح أربعة «مبادئ (أو قيود) ... وهو ما يقال، يجب أن ترضي أي آلة». رابعه الأكثر أهمية، «مبدأ السببية» يقوم على «السرعة المحدودة لانتشار التأثيرات والإشارات؛ الفيزياء المعاصرة ترفض إمكانية الفعل اللحظي عن بعد». من هذه المبادئ وبعض القيود الإضافية - (1 أ) حد أدنى على الأبعاد الخطية لأي جزء من الأجزاء، (1 ب) حد أعلى لسرعة الانتشار (سرعة الضوء)، (2) التقدم المنفصل للآلة، و (3) السلوك الحتمي - أنتج نظرية مفادها أن «ما يمكن حسابه بواسطة جهاز يفي بالمبادئ من الأول إلى الرابع يمكن حسابه.»  في أواخر التسعينيات، حلل ويلفريد سيغ مفاهيم تورينج وغاندي عن «القابلية للحساب الفعال» بقصد «شحذ المفهوم غير الرسمي، وصياغة سماته العامة بشكل بديهي، والتحقيق في الإطار البديهية». في كتابه عامي 1997 و 2002 عمل يعرض زيغ سلسلة من القيود على سلوك كومبيوتر - «وكيل البشرية الحوسبة الذي ينطلق ميكانيكيا». تختصر هذه القيود إلى:
"(L.2) (المنطقة المحلية) يمكن للمُحسِّن تحويل الانتباه من تكوين رمزي إلى آخر، ولكن يجب أن تكون التكوينات الجديدة التي تمت ملاحظتها ضمن مسافة محدودة من التكوين الذي تمت ملاحظته مسبقًا على الفور.
«(D) (التحديد) يحدد التكوين (الفرعي) الذي يمكن التعرف عليه فورًا بشكل فريد خطوة الحساب التالية (والمعرف [الوصف الفوري])»؛ ذكر بطريقة أخرى: «الحالة الداخلية للحاسب مع التكوين الملحوظ تعمل بشكل فريد على إصلاح خطوة الحساب التالية والحالة الداخلية التالية.»
يبقى الأمر قيد المناقشة النشطة داخل المجتمع الأكاديمي.
لا يمكن اعتبار الأطروحة سوى تعريف رياضي عادي. تشير تعليقات جوديل على الموضوع إلى وجهة النظر هذه، على سبيل المثال «تم تحديد التعريف الصحيح للحسابات الميكانيكية بما لا يدع مجالاً للشك بواسطة تورينج». تم تقديم قضية عرض الأطروحة على أنها ليست أكثر من تعريف صريحًا بواسطة روبرت سواري، حيث قيل أيضًا أن تعريف تورينج للقدرة الحسابية ليس أقل احتمالًا أن يكون صحيحًا من تعريف إبسيلون-دلتا للمتصل المستمر. وظيفة.
أطروحة تشرش-تورينغ نجاح الرسالة
تم اقتراح أشكال أخرى (إلى جانب العودية، حساب التفاضل والتكامل، وآلة تورينج) لوصف إمكانية الحساب / الحوسبة الفعالة. يضيف ستيفن كلاين (1952) إلى القائمة الوظائف " المعقولية في النظام S 1 " لكورت جودل 1936، وأنظمة إميل بوست (1943، 1946) «تشيرش وتسمى أيضًا الأنظمة العادية». في الخمسينيات من القرن الماضي، قام هاو وانج ومارتن ديفيس بتبسيط نموذج آلة تورينج ذات الشريط الواحد (انظر آلة ما بعد تورينج). قام مارفن مينسكي بتوسيع النموذج ليشمل شريطين أو أكثر وقام بتبسيط الأشرطة بشكل كبير إلى «عدادات مقلوبة»، والتي طورها ميلزاك ولامبك إلى ما يعرف الآن باسم نموذج آلة العداد. في أواخر الستينيات وأوائل السبعينيات من القرن الماضي، قام الباحثون بتوسيع نموذج آلة العداد إلى آلة التسجيل، وهي قريبة قريبة من المفهوم الحديث للكمبيوتر. تشمل النماذج الأخرى المنطق التوافقي وخوارزميات ماركوف. يضيف جورخيف نموذج آلة المؤشر لكولموغوروف ويوسبنكي (1953، 1958): «... لقد أرادوا ذلك فقط ... أقنعوا أنفسهم بأنه لا توجد طريقة لتوسيع مفهوم الوظيفة الحسابية.»
أطروحة تشرش-تورينغ نجاح الرسالة
تتضمن كل هذه المساهمات أدلة على أن النماذج مكافئة حسابيًا لآلة تورينج؛ ويقال أن هذه النماذج قد اكتملت تورينج. نظرًا لأن كل هذه المحاولات المختلفة لإضفاء الطابع الرسمي على مفهوم «الحساب الفعال / الحوسبة» قد أسفرت عن نتائج معادلة، فمن المفترض الآن بشكل عام أن أطروحة تشيرش-تورينج صحيحة. في الواقع، اقترح جوديل (1936) شيئًا أقوى من هذا؛ لاحظ أن هناك شيئًا «مطلقًا» حول مفهوم "معقول في S 1 ":
أطروحة تشرش-تورينغ الاستخدام غير الرسمي في البراهين
غالبًا ما تستدعي البراهين في نظرية الحوسبة أطروحة تشيرش-تورينغ بطريقة غير رسمية لتأسيس قابلية حساب الوظائف مع تجنب التفاصيل (الطويلة جدًا غالبًا) التي قد تكون متضمنة في إثبات رسمي صارم. لإثبات أن الوظيفة قابلة للحساب بواسطة آلة تورينج، يُعتبر عادةً كافيًا إعطاء وصف إنكليزي غير رسمي لكيفية حساب الوظيفة بفعالية، ثم استنتاج «من خلال أطروحة تشيرش تورينج» أن الوظيفة قابلة للحساب (بالتساوي)، متكرر جزئي). يعطي ديرك فان دالين المثال التالي من أجل توضيح هذا الاستخدام غير الرسمي لأطروحة تشيرش - تورينغ. من أجل جعل المثال أعلاه صارمًا تمامًا، يجب على المرء أن يبني بعناية آلة تورينج، أو دالة، أو يستدعي بعناية بديهيات العودية، أو في أفضل الأحوال، يستدعي بذكاء نظريات مختلفة لنظرية الحوسبة. ولكن نظرًا لأن مُنظِّر الحوسبة يعتقد أن قابلية تورينج الحوسبية تلتقط بشكل صحيح ما يمكن حسابه بشكل فعال، ولأن الإجراء الفعال مكتوب باللغة الإنجليزية لتحديد المجموعة ب، فإن منظري الحوسبة يقبل هذا كدليل على أن المجموعة عودية بالفعل.
أطروحة تشرش-تورينغ الاختلافات
دفع نجاح أطروحة تشيرش - تورينغ إلى اقتراح اختلافات في الأطروحة. على سبيل المثال، تنص أطروحة تشيرش - تورينج الفيزيائية على أن: "جميع الوظائف المحسوبة فيزيائيًا قابلة للحساب من قبل تورينج."  :101 لا تذكر أطروحة تشيرش تورينج شيئًا عن الكفاءة التي يمكن بها لأحد النماذج الحسابية محاكاة نموذج آخر. لقد ثبت على سبيل المثال أن آلة تورينغ العامة (متعددة الأشرطة) تعاني فقط من عامل تباطؤ لوغاريتمي في محاكاة أي آلة تورينج. تتناول مجموعة متنوعة من أطروحة تشيرش-تورينج ما إذا كان يمكن محاكاة نموذج حسابي تعسفي ولكن "معقول" بكفاءة. وهذا ما يسمى أطروحة الجدوى، والمعروفة أيضًا باسم أطروحة التعقيد (الكلاسيكية) - تشيرش النظرية - أطروحة تورينج أو أطروحة تشيرش الموسعة - أطروحة تورينج، والتي لا ترجع إلى تشيرش أو تورينج، بل تم تحقيقها تدريجيًا في تطوير نظرية التعقيد. تنص على: " يمكن لآلة تورينج الاحتمالية محاكاة أي نموذج واقعي للحساب بكفاءة." كلمة "فعال" هنا تعني ما يصل إلى تخفيضات كثيرة الحدود. كانت هذه الأطروحة في الأصل تسمى أطروحة التعقيد الحسابي - تشيرش النظرية - تورينج من قبل إيثان برنشتاين وأوميش فازيراني (1997). تفترض أطروحة التعقيد - تشيرش - تورينج النظرية أن جميع نماذج الحساب "المعقولة" تنتج نفس فئة المشكلات التي يمكن حسابها في زمن متعدد الحدود. بافتراض التخمين بأن الوقت متعدد الحدود الاحتمالي (BPP) يساوي وقت كثير الحدود الحتمي (P)، فإن كلمة "احتمالية" اختيارية في أطروحة التعقيد - نظرية تشيرش - تورينج. قدم سيس إف سلوت وبيتر فان إيمدي بوا أطروحة مماثلة، تسمى أطروحة الثبات. وهو ينص على: " معقولة "محاكاة بعضها البعض ضمن ما يحدها من النفقات العامة في وقت والنفقات العامة ثابت عامل في الفضاء."  ظهرت الأطروحة في الأصل في ورقة بحثية في إس تي أو سي 84، والتي كانت أول ورقة توضح أنه يمكن تحقيق وقت متعدد الحدود الزائد والمساحة الثابتة في نفس الوقت لمحاكاة آلة الوصول العشوائي على آلة تورينج.
أطروحة تشرش-تورينغ الاختلافات
إذا تم إثبات أن بي كيو بي عبارة عن مجموعة شاملة صارمة من بي بي بي، فسيؤدي ذلك إلى إبطال نظرية التعقيد - نظرية تشيرش - تورينج. بمعنى آخر، ستكون هناك خوارزميات كمومية فعالة تؤدي مهامًا لا تحتوي على خوارزميات احتمالية فعالة. ومع ذلك، فإن هذا لن يبطل أطروحة تشيرش-تورينغ الأصلية، حيث يمكن دائمًا محاكاة الكمبيوتر الكمومي بواسطة آلة تورينج، ولكنه سيبطل نظرية التعقيد الكلاسيكي - نظرية تشيرش - تورينج لأسباب تتعلق بالكفاءة. «يمكن لآلة تورينج الكمومية أن تحاكي أي نموذج واقعي للحساب بكفاءة.»
أطروحة تشرش-تورينغ الاختلافات
يزعم يوجين إيبرباخ وبيتر فيجنر أن أطروحة كنيسة-تورينج تُفسَّر أحيانًا على نطاق واسع جدًا، مشيرين إلى «بالرغم من [... ] آلات تورنج تعبر عن سلوك الخوارزميات، والتأكيد على أوسع خوارزميات التقاط بالضبط ما يمكن حسابها غير صالح». يزعمون أن أشكال الحساب التي لم تلتقطها الأطروحة ذات صلة اليوم، وهي المصطلحات التي يسمونها حساب تورينج الفائق.
أطروحة تشرش-تورينغ المضامين الفلسفية
فسر الفلاسفة أطروحة كنيسة تورينج على أنها لها آثار على فلسفة العقل. يقول ب. جاك كوبلاند أنه سؤال تجريبي مفتوح حول ما إذا كانت هناك عمليات فيزيائية حتمية فعلية والتي، على المدى الطويل، تستعصي على المحاكاة بواسطة آلة تورينج. علاوة على ذلك، يقول إنه سؤال تجريبي مفتوح حول ما إذا كانت أي من هذه العمليات متورطة في عمل الدماغ البشري. هناك أيضًا بعض الأسئلة المفتوحة المهمة التي تغطي العلاقة بين أطروحة تشيرش-تورينغ والفيزياء، وإمكانية الحوسبة المفرطة. عند تطبيقها على الفيزياء، فإن الأطروحة لها عدة معانٍ محتملة:
الكون يعادل آلة تورينج. وبالتالي، فإن حساب الوظائف غير العودية أمر مستحيل ماديًا. وقد أطلق على هذا اسم أطروحة تشيرش - تورينغ القوية، أو مبدأ تشيرش - تورينج - دويتش، وهو أساس للفيزياء الرقمية.
الكون ليس يعادل آلة تورينج (أي قوانين الفيزياء لا تورينج محسوب)، ولكن الأحداث المادية غير قابلة للإنضغاط. على سبيل المثال، الكون الذي تتضمن فيه الفيزياء أعدادًا حقيقية عشوائية، في مقابل الحقائق المحسوبة، يقع ضمن هذه الفئة.
أطروحة تشرش-تورينغ المضامين الفلسفية
الكون عبارة عن حاسوب فائق، ومن الممكن بناء أجهزة فيزيائية لتسخير هذه الخاصية وحساب الوظائف غير التكرارية. على سبيل المثال، هناك سؤال مفتوح حول ما إذا كانت جميع الأحداث الميكانيكية الكمومية قابلة للحساب من نوع تورينج، على الرغم من أنه من المعروف أن النماذج الصارمة مثل آلات تورينج الكمومية تعادل آلات تورينج الحتمية. (ليست بالضرورة معادلة بشكل فعال ؛ انظر أعلاه.) اقترح جون لوكاس وروجر بنروز أن العقل البشري قد يكون نتيجة لنوع من الحسابات «غير الخوارزمية» المحسنة ميكانيكيًا الكم.
هناك العديد من الاحتمالات التقنية الأخرى التي تقع خارج أو بين هذه الفئات الثلاث، ولكنها تعمل على توضيح نطاق المفهوم. الجوانب الفلسفية للأطروحة، فيما يتعلق بكل من أجهزة الكمبيوتر الفيزيائية والبيولوجية، تمت مناقشتها أيضًا في كتاب أوديفريدي لعام 1989 حول نظرية العودية. :101–123
أطروحة تشرش-تورينغ وظائف غير قابلة للحساب
يمكن للمرء أن يحدد رسميًا الوظائف غير القابلة للحساب. ومن الأمثلة المعروفة لمثل هذه الوظيفة وظيفة بازي بيفر. تأخذ هذه الوظيفة مُدخلًا n وتُرجع أكبر عدد من الرموز يمكن لآلة تورينغ مع حالات n طباعتها قبل التوقف، عند التشغيل بدون إدخال. إيجاد حد أعلى لوظيفة القندس المشغول يعادل حل مشكلة التوقف، وهي مشكلة معروفة بأنها غير قابلة للحل بواسطة آلات تورينج. نظرًا لأن وظيفة القندس المشغول لا يمكن حسابها بواسطة آلات تورينج، تنص أطروحة تشيرش-تورينج على أنه لا يمكن حساب هذه الوظيفة بشكل فعال بأي طريقة.
أطروحة تشرش-تورينغ وظائف غير قابلة للحساب
تسمح العديد من النماذج الحسابية بحساب وظائف (تشيرش-تورينغ) غير القابلة للحساب. تُعرف هذه بالحواسيب الفائقة. يجادل مارك بورجين بأن الخوارزميات فائقة التكرار مثل آلات تورينج الاستقرائية تدحض أطروحة تشيرش-تورينج. [بحاجة لرقم الصفحة] تعتمد حجته على تعريف خوارزمية أوسع من التعريف العادي، لذلك تسمى الوظائف غير القابلة للحساب التي تم الحصول عليها من بعض آلات تورينج الاستقرائية بأنها قابلة للحساب. يختلف هذا التفسير لأطروحة تشيرش-تورينغ عن التفسير المقبول عمومًا في نظرية الحوسبة، والذي نوقش أعلاه. الحجة القائلة بأن الخوارزميات فائقة التكرار هي في الواقع خوارزميات بمعنى أطروحة تشيرش - تورينج لم تجد قبولًا واسعًا داخل مجتمع أبحاث الحوسبة.
أطروحة تشرش-تورينغ روابط خارجية
Kaznatcheev، Artem (11 سبتمبر 2014). "Transcendental idealism and Posts variant of the Church-Turing thesis". Journal of Symbolic Logic. ج. 1 ع. 3: 103–105. مؤرشف من الأصل في 2023-09-14.
مجلس وزراء تركيا
مجلس وزراء تركيا (بالتركية: Türkiye Kabinesi) أو مجلس الوزراء (بالتركية: Bakanlar Kurulu) أو مجلس الوزراء الرئاسي (بالتركية: Cumhurbaşkanlığı Kabinesi) هو السلطة التنفيذية الأعلى والمسؤول عن إدارة الدولة في تركيا . ويتكون من رئيس الجمهورية ونوابه والوزراء. سابقًا، من عام 1923 إلى عام 2018، كان الرئيس يعيّن الوزراء رسميًا بناءً على توصية رئيس الوزراء. ومنذ عام 2018، تتبنى تركيا رئاسة تنفيذية، مما يعني أن الرئيس يتحمل المسؤولية الكاملة عن تعيين الوزراء وإقالتهم . ويتخذ المجلس قراراته بأغلبية الأصوات. كل وزير مسؤول عن شؤون وزارته وأعمال وتصرفات الموظفين العموميين الخاضعين لإمرته. وفقًا للدستور، لا يجوز الجمع بين عضوية البرلمان والمناصب التنفيذية في الوزارة.
مجلس وزراء تركيا عملية الترشيح والتعيين
ينتخب الشعب رئيس تركيا كل خمس سنوات. ثم يعين الرئيس نواب رئيس الجمهورية والوزراء أو يقيلهم وفقاً للمادة 104 من الدستور. يلتزم نواب رئيس الجمهورية والوزراء بأداء اليمين أمام مجلس النواب.
بعد انتقال تركيا إلى النظام الرئاسي في عام 2017 ، لم تعد الحكومة بحاجة إلى موافقة برلمانية لتشكيلها، وبالتالي زاد عدد التكنوقراط في مجلس الوزراء.
مجلس وزراء تركيا فصل السلطات
لا يجوز لأعضاء مجلس الوزراء وأعضاء السلطة التنفيذية الآخرين شغل أي منصب في البرلمان. إذا وافق عضو في البرلمان على منصب وزاري أو أي تعيين آخر في السلطة التنفيذية، فسيتعين عليه الاستقالة من البرلمان. وقد وُضعت هذه القيود لتخفيف الضغط الخارجي والتأثير على الوزراء، ولتمكينهم من التركيز على عملهم الحكومي.
لا دور للبرلمان في المصادقة على التعيينات الرئاسية لمجلس الوزراء. ومع ذلك، يمكن لأغلبية الأصوات في البرلمان إلغاء مرسوم رئاسي. ويمكنها أيضًا تقديم اقتراح يطالب بالتحقيق مع الوزراء بشأن مزاعم ارتكاب جريمة تتعلق بواجباتهم. يمكن للبرلمان أيضًا عزل الرئيس (وبالتالي مجلس الوزراء بأكمله) من خلال الدعوة إلى انتخابات رئاسية مبكرة. ولتحقيق ذلك، يجب الحصول على أغلبية ثلاثة أخماس أصوات البرلمان أي بنسبة 60 %. في هذه الحالة، سيتم تجديد كل من الانتخابات الرئاسية والانتخابات البرلمانية.
مجلس وزراء تركيا إدارة الحكم
الرئيس هو القائد التنفيذي الرئيسي. لذلك، فإن فترة ولاية مجلس الوزراء بأكملها مرتبطة بفترة ولاية الرئيس: تنتهي ولاية الرئيس (ومجلس الوزراء) تلقائيًا، إذا كان الرئيس المنتخب حديثًا يجلس لأول مرة، أو إذا استقال الرئيس أو توفي.
مجلس وزراء تركيا إدارة الحكم
الرئيس مسؤول عن توجيه مجلس الوزراء وتقرير توجهه السياسي. وفقًا لمبدأ التقسيم الإداري، يتمتع الوزراء بالحرية في أداء واجباتهم بشكل مستقل ضمن الحدود التي تحددها التوجيهات السياسية للرئيس. يجوز للبرلمان أن يطلب من الرئيس في أي وقت إقالة وزير أو تعيين وزير جديد. يقرر الرئيس أيضًا نطاق واجبات كل وزير، ويمكنه وفقًا لتقديره الخاص ترشيح الوزراء الذين يترأسون إحدى الإدارات وما يسمى بوزراء الشؤون الخاصة بدون إدارة خاصة. يمكنه أيضًا قيادة القسم بنفسه، إذا قرر ذلك. حرية رئيس الجمهورية في تشكيل حكومته مقيدة فقط ببعض الأحكام الدستورية: على الرئيس أن يعين وزيرًا للدفاع ووزيرًا للداخلية ووزيرًا للخارجية ووزيرًا للعدل ويحظر ضمنيًا رئاسة إحدى هذه الدوائر بنفسه، حيث أن الدستور يمنح هؤلاء الوزراء بعض الصلاحيات الخاصة. على سبيل المثال، وزير العدل هو أيضًا رئيس مجلس القضاة والمدعين العامين. إذا اختلف وزيران على نقطة معينة، يحل مجلس الوزراء النزاع بأغلبية الأصوات أو يقرر الرئيس القضية بنفسه. يعتمد هذا غالبًا على أسلوب الرئيس في الحكم.
يجوز للرئيس تعيين نائب أو أكثر بعد انتخابه، والذي قد ينوب عنه في حالة غيابه. إذا توفي الرئيس أو كان غير راغب أو غير قادر على العمل كرئيس، يتصرف نائب الرئيس ويمارس سلطات واختصاصات الرئيس حتى انتخاب رئيس الجمهورية التالي.
وفقًا للممارسات المتبعة، يتخذ مجلس الأمن القومي، وهو وكالة حكومية يرأسها الرئيس، القرارات بشأن القضايا الأمنية المهمة. ووفقًا لنظامها الداخلي (السري)، فإن جلساته سرية.
مجلس وزراء تركيا اجتماعات مجلس الوزراء
تعقد اجتماعات مجلس الوزراء في المجمع الرئاسي في أنقرة ويجتمع مجلس الوزراء بانتظام كل أسبوعين بعد ظهر كل يوم اثنين. اعتمادًا على مدى ازدحام الجدول الزمني، يعقد أحيانًا في أيام الثلاثاء أيضًا. بعد الاجتماعات، يعقد مؤتمر صحفي من قبل رئيس الحكومة أو المتحدث باسم الحكومة. قد تكون الاجتماعات، التي سيتم منها إعداد المحاضر، تداولية و / أو صنع القرار. وسيتضمن المحضر على وجه الحصر الظروف المتعلقة بوقت ومكان الاحتفال وقائمة الحاضرين والقرارات المتخذة والتقارير المقدمة. لذلك، لا يمكن جمع المداولات التي يؤكدها مختلف أعضاء الحكومة، بما أن هذه المداولات بموجب القانون ذات طبيعة سرية، لا يمكن جمعها.
مجلس وزراء تركيا اجتماعات مجلس الوزراء
تعقد اجتماعات مجلس الوزراء ويترأسها الرئيس، ولكن في حالة غيابه، يتولى نائب الرئيس مسؤولية رئاسة مجلس الوزراء. قبل الانتقال إلى النظام الرئاسي في عام 2017 ، كانت الاجتماعات برئاسة رئيس الوزراء. من حين لآخر، كان مجلس الوزراء يترأسه الرئيس الذي يحضر الاجتماعات على أساس استشاري فقط.
تعقد اجتماعات مجلس الوزراء في المجمع الرئاسي وهو مقر الإقامة الرسمي لرئيس الجمهورية ومقر الحكومة. وكانت تعقد الاجتماعات سابقًا في قصر جانكايا ومكتب رئيس الوزراء.
مجلس وزراء تركيا الحكومة الحالية
الحكومة التركية الحالية هي الحكومة السادسة والستين في تاريخ تركيا الحديث برئاسة رئيس الجمهورية رجب طيب أردوغان (وتمثل الحكومة الرابعة لأردوغان) تولت الحكم منذ 9 يوليو 2018. وتتألف حاليًا من رئيس الجمهورية ونائبه و 17 وزيرًا وهم كما يلي :
وزارة الثقافة والسياحة (تركيا)
وزارة الثقافة والسياحة (بالتركية: Kültür ve Turizm Bakanlığı) هي وزارة حكومية تهتم بشؤون الثقافة والسياحة في تركيا. في 25 يناير 2013 تم تعيين عمر سيليك في منصب الوزارة خلفًا لارطغرل جوناي.
خوارزمية الكم
في الحوسبة الكمومية (بالإنجليزية: quantum computing)‏، تعد الخوارزمية الكمومية (بالإنجليزية: quantum algorithm)‏ خوارزمية تعمل على نموذج واقعي للحساب الكمي ، والنموذج الأكثر استخدامًا هو نموذج الدائرة الكمومية (Quantum circuit) للحساب. الخوارزمية الكلاسيكية (أو غير الكمومية) هي سلسلة محدودة من التعليمات ، أو إجراء تدريجي لحل مشكلة ، حيث يمكن تنفيذ كل خطوة أو تعليمات على جهاز كمبيوتر تقليدي. وبالمثل، فإن الخوارزمية الكمومية هي إجراء تدريجي ، حيث يمكن تنفيذ كل خطوة على جهاز كمبيوتر كمي . على الرغم من أنه يمكن أيضًا تنفيذ جميع الخوارزميات الكلاسيكية على جهاز كمبيوتر كمي ،  :126يستخدم مصطلح الخوارزمية الكمومية عادةً لتلك الخوارزميات التي تبدو كمومية بطبيعتها ، أو تستخدم بعض الميزات الأساسية للحساب الكمي مثل التراكب الكمي (Quantum superposition) أو التشابك الكمومي (Quantum entanglement).
خوارزمية الكم
تظل المشكلات غير القابلة للتقرير باستخدام أجهزة الكمبيوتر الكلاسيكية غير قابلة للتقرير باستخدام أجهزة الكمبيوتر الكمومية. :127ما يجعل الخوارزميات الكمومية مثيرة للاهتمام هو أنها قد تكون قادرة على حل بعض المشكلات بشكل أسرع من الخوارزميات التقليدية لأن التراكب الكمي والتشابك الكمومي الذي تستغلها الخوارزميات الكمومية ربما لا يمكن محاكاته بكفاءة على أجهزة الكمبيوتر الكلاسيكية (انظر التفوق الكمي Quantum supremacy).
أشهر الخوارزميات هي خوارزمية شور (Shor's algorithm) للتخصيم وخوارزمية جروفر للبحث في قاعدة بيانات غير منظمة أو قائمة غير مرتبة. تعمل خوارزميات شور (بشكل أسي تقريبًا) أسرع بكثير من الخوارزمية الكلاسيكية الأكثر شهرة للتخصيم ، وهي منخل حقل الرقم العام (General number field sieve). تعمل خوارزمية جروفر بشكل تربيعي أسرع من أفضل خوارزمية كلاسيكية ممكنة لنفس المهمة ،  بحث خطي .
خوارزمية الكم روابط خارجية
قائمة شاملة بخوارزميات الكم التي توفر تسريعًا على أسرع الخوارزميات الكلاسيكية المعروفة.
جائزة هوغو لأفضل رواية
جائزة هوغو لأفضل رواية هي واحدة من جوائز هوغو تمنح كل عام لقصص الخياة العلمي والفانتازيا المنشورة باللغة الإنجليزية أو المترجمة إلى اللغة الإنجليزية خلال العام الماضي. تتاح الجائزة لأعمال الخيال من 40,000 كلمة أو أكثر.
وزارة الجمارك والتجارة (تركيا)
وزارة الجمارك والتجارة (بالتركية: Gümrük ve Ticaret Bakanlığı) هي وزارة حكومية تهتم بشؤون الجمارك والتجارة في تركيا. شغل منصب رئيس الهيئة سابقًا نور الدين جانيكلي.
عمر حجامي
عمر حجامي (ولد في 31 يوليو 1990، المغرب) لاعب تايكوندو مغربي، تَخَصّص في وزن أقل من 58 كغم. يشارك في الألعاب الأولمبية الصيفية 2016 المقامة في ريو دي جانيرو.
كارولين ماهر
كارولين ماهر لاعبة تايكوندو مصرية دولية و المصنفة الثالثة على مستوى العالم في اللعبة  وأصغر أعضاء مجلس شعب
كارولين ماهر التعليم
حاصلة علي بكالوريوس صحافة وإعلام من الجامعة الأمريكية 2009 مع مرتبة الشرف
حاصلة علي الماجستير المهني MBA في إدارة الموارد البشرية من جامعة فيكتوريا بسويسرا
كارولين ماهر العمل
مدير إدارة الموارد البشرية بشركة بيجو مصر للسيارات
عضو متطوع في مؤسسة حلم لمساعدة ذوي الإعاقة
كارولين ماهر الرياضة
بدأت كارولين في ممارسة التايكوندر بعمر 14 عاما كعضو في فريق الناشئين
اشتركت ببطولة العالم للتايكوندو بكوريا 2001 و حصلت علي المركز الخامس
حصلت علي بطولة إفريقيا و بطولات عربية و دولية عديدة
أول لاعبة مصرية و عربية و إفريقية تكرم بقاعة المشاهير Martial Arts Hall of Fame بالولايات المتحدة الأمريكية
خاضت مسابقات دولية في 39 دولة مختلفة و حصدت أكثر من 130 ميدالية و كأس في مسابقات محلية و إقليمية و دولية
كارولين ماهر النشاط العام
تم تكريمها في الأمم المتحدة 2014 لإنجازها الرياضي و عملها التطوعي ضمن الاحتفاء بإنجازات المرأة حول العالم .
تم تعيينها بقرار جمهوري في مجلس النواب في ديسمبر 2015 لتصبح أصغر أعضاء المجلس سنا «29 عام»
دانييلا فيلاسكو
دانييلا أوجينيا فيلاسكو مالدونادو، رياضية مكسيكية، مواليد 24 آب (أغسطس) 1995 في مكسيكو سيتي. وهي عضوة في الفريق المكسيكي المشارك في الألعاب البارالمبية الصيفية 2016 حصلت على الميدالية البرونزية في سباق 400 متر اختبار الفئة T12 في الألعاب البارالمبية الصيفية 2012.
دانييلا فيلاسكو حياتها
فقدت دانييلا إحدى عينيها عندما كانت طفلة، فالتحقت بالمعهد الوطني لتأهيل الأطفال المكفوفين وضعاف البصر. بدأت ممارسة الرياضة بتحفيز من آنا غابرييلا جيوفارا والتي شاهدتها تنافس في الألعاب الأولمبية الصيفية 2004، فبدأت باستغلال الفرص للحصول على تدريب في المركز المكسيكي البارالمبي. دانييلا طالبة في المدرسة الوطنية التحضيرية في الجامعة الوطنية المستقلة في المكسيك.