hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
تطابق كاري-هوارد الأنظمة المتوافقة
لإعادة صياغة المطابقة، فإن إثبات Γ ⊢ α يعني امتلاك برنامج يقوم، عند إعطائه قيمًا بالأنواع المدرجة في Γ، بإنشاء كائن من النوع α. يتوافق الافتراض/الفرضية مع إدخال متغير جديد بنوع جديد غير مقيد، وقاعدة → I تتوافق مع تجريد الدالة وقاعدة → E تتوافق مع تطبيق الدالة. لاحظ أن المطابقة ليست دقيقة إذا تم أخذ السياق Γ كمجموعة من الصيغ، حيث على سبيل المثال، لن يتم التمييز بين مصطلحات λ-التي هي λx.λy.x و λx.λy.y من النوع α → α → α في المطابقة. يتم إعطاء الأمثلة أدناه.
أوضح هوارد أن المطابقة تمتد لتشمل الروابط الأخرى في المنطق والبناءات الأخرى في تكامل لامدا الموصوف بالأنواع. عند النظر إليها على مستوى أكثر تجريدًا، يمكن تلخيص المطابقة كما هو موضح في الجدول التالي. خاصة، فإنه يظهر أيضًا أن مفهوم الأشكال العادية في تكامل لامدا يتطابق مع مفهوم داغ براويتز للأدلة العادية في الاستدلال الطبيعي، ومنه يمكن استنتاج أن الخوارزميات لمشكلة نوع الإقامة يمكن تحويلها إلى خوارزميات لحل مسألة حدسية.
تطابق كاري-هوارد الأنظمة المتوافقة
تتمدد مطابقة هوارد بشكل طبيعي إلى امتدادات أخرى للاستدلال الطبيعي وتكامل لامدا الموصوف بالأنواع. فيما يلي قائمة غير شاملة:
في زمن كاري، وأيضًا في زمن هوارد، كانت مطابقة الأدلة-البرامج تتعلق فقط بـ المنطق الحدسي، أي منطق لا يمكن فيه استنتاج قانون بيرس. أصبح من الواضح أن امتداد المطابقة ليشمل قانون بيرس وبالتالي المنطق الكلاسيكي كان من خلال أعمال جريفين حول تخصيص المشغلين الذين يلتقطون سياق التقييم لتنفيذ البرنامج بحيث يمكن إعادة تثبيت هذا السياق لاحقًا. المطابقة الأساسية على طراز كاري–هوارد للمنطق الكلاسيكي موضحة أدناه. لاحظ المطابقة بين ترجمة النفي المزدوج المستخدمة لتحويل الأدلة الكلاسيكية إلى المنطق الحدسي والاستمرارية المستخدمة لتحويل مصطلحات لامدا التي تشمل التحكم إلى مصطلحات لامدا نقية. بشكل أكثر تحديدًا، فإن ترجمات نمط تمرير الاستمرار عند الاستدعاء حسب الاسم تتعلق بـ أندريه كولموغوروف ترجمة النفي المزدوج وترجمات نمط تمرير الاستمرار عند الاستدعاء حسب القيمة تتعلق بنوع من الترجمة المزدوجة للنفي التي وضعها كورودا.
توجد مطابقة دقيقة بين منطق كاري-هوارد للمنطق الكلاسيكي إذا تم تعريف المنطق الكلاسيكي ليس عن طريق إضافة مسلمة مثل قانون بيرس، ولكن بالسماح بالعديد من الاستنتاجات في المتتاليات. في حالة الاستدلال الطبيعي الكلاسيكي، توجد مطابقة بين الأدلة-البرامج مع البرامج الموصوفة بأنواع في حساب لامدا-مي (λμ-حساب) الخاص بباريغو.
يمكن تحديد مطابقة الأدلة-البرامج للصيغة المعروفة بـ حساب المتتاليات لـ غيرهارت غنتزن، لكن لا يوجد تطابق مع نموذج معين مسبقًا للحساب كما كان الحال في استدلالات هيلبرت ونظام الاستدلال الطبيعي.
يتميز حساب المتتاليات بوجود قواعد إدخال لليسار، وقاعدة إدخال لليمين، وقاعدة القطع التي يمكن إلغاؤها. هيكل حساب المتتاليات يتعلق بحساب يكون هيكله قريبًا من هيكل بعض الآلات المجردة. المطابقة غير الرسمية هي كما يلي:
تطابق كاري-هوارد المطابقات المتعلقة بالأدلة-البرامج
استخدم [[نيكولاس غوفيرت دي بروين] تدوين اللامدا لتمثيل أدلة نظام التحقق من النظريات أوتومات، ويمثل المقترحات كـ "فئات" من أدلتها. في أواخر الستينات، في نفس الفترة التي كتب فيها هاوارد مخطوطته؛ كان دي بروين على الأرجح غير مدرك لأعمال هاوارد، وذكر المطابقة بشكل مستقل (سورنسن وأورزيشين [1998] 2006، الصفحات 98–99). يميل بعض الباحثين إلى استخدام مصطلح "مطابقة كاري-هاوارد-دي بروين" بدلاً من "مطابقة كاري-هاوارد".
يفسر تفسير بروير-هايتينغ-كولموغوروف الأدلة الحدسية كدوال، لكنه لا يحدد فئة الدوال المناسبة للتفسير. إذا تم أخذ حساب اللامدا كفئة لهذه الدوال، فإن تفسير BHK يحدد نفس الشيء مثل مطابقة هاوارد بين الاستدلال الطبيعي وحساب اللامدا.
قائمة ستيفن كول كلين لفكرة التحقيق القابل للتنفيذ تقسم الأدلة في الحساب الحدسي إلى زوج من دالة تكرارية ودليل على صيغة تعبر عن أن الدالة التكرارية "تحقق" أي أنها تقوم بتجسيد التمويهات والمحددات الوجودية للصيغة الأصلية بحيث تصبح الصيغة صحيحة.
تطابق كاري-هوارد المطابقات المتعلقة بالأدلة-البرامج
جورج كرايسل يعدل التحقيق القابل للتنفيذ ليتناسب مع المنطق الحدسي من الرتبة الأعلى ويظهر أن مصطلح اللامدا ذو الأنواع البسيطة المستخرج بشكل تكراري من الدليل يحقق الصيغة الأصلية. في حالة المنطق القيمي، يتزامن هذا مع بيان هاوارد: المصطلح المستخرج من اللامدا هو الدليل نفسه (مُعتبرًا كمصطلح لامدا غير مُصنف) وبيان التحقيق هو إعادة صياغة لحقيقة أن المصطلح المستخرج من اللامدا يحتوي على النوع الذي تمثل الصيغة (مُعتبرًا كنوع).
تفسير كورت غودل تفسير ديالكتيكا يحقق (تمديدًا) الحساب الحدسي باستخدام الدوال القابلة للحساب. العلاقة مع حساب اللامدا غير واضحة، حتى في حالة الاستدلال الطبيعي.
تطابق كاري-هوارد المطابقات المتعلقة بالأدلة-البرامج
أظهر جواكيم لامبك في أوائل السبعينات أن أدلة المنطق القيمي الحدسي والمنظمات اللامدية لأنواع اللامدا ذات الأنواع المجمعة في المنطق التجميعي تشترك في نظرية معادلات مشتركة، وهي نظرية الفئات المغلقة الكارتيسية. يتم استخدام تعبير "مطابقة كاري-هاوارد-لامبك" الآن من قبل بعض الأشخاص للإشارة إلى العلاقات بين المنطق الحدسي، حساب اللامدا ذي الأنواع، والفئات المغلقة الكارتيسية. في ظل هذه المطابقة، يمكن تفسير كائنات الفئة المغلقة كارتيسياً على أنها مقترحات (أنواع)، والمورفismes على أنها استدلالات تربط مجموعة من الافتراضات (سياق الأنواع) إلى نتيجة صحيحة (مصطلح مُصنف بشكل صحيح).
مطابقة لامبك هي مطابقة لنظريات المعادلات، حيث يتم تجريد الديناميكيات الخاصة بالحساب مثل تقليص بيتا وتطبيع المصطلحات، ولا تمثل تعبيرًا عن هوية تركيبية للهياكل كما هو الحال بالنسبة لمطابقات كاري وهاوارد: أي أن هيكل المورفزم المحدد في فئة مغلقة كارتيسيا لا يمكن مقارنته بهيكل دليل الحكم المقابل في منطق هيلبرت أو الاستدلال الطبيعي. على سبيل المثال، من غير الممكن أن نصرح أو نثبت أن المورفزم يُطَبِّع، أو نثبت نظرية من نوع "تشارش-روسر"، أو نتحدث عن فئة مغلقة كارتيسيا "تطبيعًا قويًا". لتوضيح هذا التمييز، يعاد صياغة الهيكل التركيبي الأساسي للفئات المغلقة كارتيسيا أدناه.
بما يعادل التعليقات أعلاه، يمكن بناء المورفزمات المحددة بشكل جيد (المصطلحات المصنفة) في أي فئة مغلقة كارتيسيا وفقًا للقواعد قواعد الأنواع التالية. تم استبدال تدوين المورفزم الفئوي المعتاد  بتدوين سياق الأنواع .
الآن، يوجد t بحيث  إذا وفقط إذا كانت  قابلة للإثبات في المنطق الحدسي الاستنباطي.
تطابق كاري-هوارد أمثلة
بفضل مطابقة كوري–هوارد، فإن التعبير النمطي الذي يتوافق نوعه مع صيغة منطقية يكون موازياً لإثبات تلك الصيغة. فيما يلي بعض الأمثلة.
كمثال، فلننظر إلى إثبات النظرية α → α. في حساب لامدا، هذا هو نوع دالة الهوية I = λx.x، وفي المنطق التركيبي يتم الحصول على دالة الهوية بتطبيق S = λfgx.fx(gx) مرتين على K = λxy.x. أي أن I = ((S K) K). كتوصيف للإثبات، فإن هذا يعني أن الخطوات التالية يمكن استخدامها لإثبات α → α:
بشكل عام، الإجراء هو أنه كلما احتوى البرنامج على تطبيق من الشكل (P Q), يجب اتباع الخطوات التالية:
كمثال أكثر تعقيدًا، دعنا ننظر إلى النظرية التي تقابل الدالة B. نوع B هو:
(β → α) → (γ → β) → γ → α.
B تعادل: (S (K S) K). هذا هو مخططنا لإثبات النظرية:
(β → α) → (γ → β) → γ → α.
الخطوة الأولى هي بناء (K S). لجعل مقدم بديهية K يبدو كأنه بديهية S، نضبط α ليكون
(α → β → γ) → (α → β) → α → γ،
وβ ليكون δ (لتفادي تعارض المتغيرات):
K[α = (α → β → γ) → (α → β) → α → γ, β = δ] : ((α → β → γ) → (α → β) → α → γ) → δ → (α → β → γ) → (α → β) → α → γ
تطابق كاري-هوارد أمثلة
بما أن المقدم هنا هو فقط S، يمكن فصل النتيجة باستخدام قاعدة القياس:
هذه هي النظرية التي تتوافق مع نوع (K S). الآن نطبق S على هذا التعبير. نأخذ S على النحو التالي:
نضع α = δ, β = α → β → γ, وγ = (α → β) → α → γ، لينتج:
S[α = δ, β = α → β → γ, γ = (α → β) → α → γ] : (δ → (α → β → γ) → (α → β) → α → γ) → (δ → (α → β → γ)) → δ → (α → β) → α → γ
S (K S) : (δ → α → β → γ) → δ → (α → β) → α → γ
هذه هي الصيغة المقابلة لنوع (S (K S)). حالة خاصة من هذه النظرية تكون عندما δ = (β → γ):
S (K S)[δ = β → γ] : ((β → γ) → α → β → γ) → (β → γ) → (α → β) → α → γ
يعرض المخطط أدناه إثباتًا للصيغة (β → α) → (γ → β) → γ → α في نظام الاستنتاج الطبيعي، ويوضح كيف يمكن تفسير هذا الإثبات باعتباره تعبير لامبدا λa.λb.λg.(a (b g)) من النوع (β → α) → (γ → β) → γ → α.
تطابق كاري-هوارد تطبيقات أخرى
مؤخرًا، اقتُرح استخدام هذا التناظر كطريقة لتعريف تقسيم فضاء البحث في برمجة وراثية.
تعتمد هذه الطريقة على فهرسة مجموعات الأنماط الجينية (وهي أشجار البرامج التي يُنتجها نظام البرمجة الوراثية) وفقًا لإثباتها المماثل في تناظر كوري–هوارد (والذي يُشار إليه هنا بـ «النوع» أو «النوع التطوري»).
كما أشار مدير الأبحاث في المعهد الفرنسي للأبحاث في علوم الحاسب الآلي والأتمتة برنار لانغ،
فإن تناظر كوري–هوارد يشكّل حجة ضد قابلية براءات الاختراع في البرمجيات: بما أن الخوارزميات ما هي إلا إثباتات رياضية، فإن إتاحة تسجيل براءة اختراع على الخوارزميات يعني ضمنًا إتاحة تسجيل براءة اختراع على الإثباتات الرياضية. وهذا يعني أن النظرية قد تُصبح ملكية خاصة؛ وسيضطر الرياضي إلى الدفع لاستخدامها، والاعتماد على الشركة التي تبيعها دون الكشف عن الإثبات، بينما تُخلي مسؤوليتها عن أي أخطاء.
تطابق كاري-هوارد تعميمات
إن التناظرات المذكورة هنا تمتد أعمق وأبعد بكثير. فعلى سبيل المثال، تُعمِّم الفئات المغلقة التوحيدية الفئات المغلقة ديكارتيًا. وتُعد اللغة الداخلية لهذه الفئات هي نظام الأنواع الخطية (الذي يقابل المنطق الخطي)، والذي يُعمِّم حساب لامبدا محدود الأنواع بوصفه اللغة الداخلية للفئات المغلقة ديكارتيًا.
علاوة على ذلك، يمكن إظهار أن هذه الفئات تقابل الحدود الشعاعية، والتي تلعب دورًا محوريًا في نظرية الأوتار.
كما تُستكشف مجموعة موسّعة من التكافؤات ضمن تحاول، حيث تُوسّع نظرية النمط عبر مسلمة التوحيد ("التكافؤ يكافئ المساواة")، ما يتيح استخدام نظرية النمط المُمَثلة طوبولوجيًا كأساس شامل للرياضيات كلها (بما في ذلك نظرية المجموعات والمنطق الكلاسيكي، مع تقديم طرق جديدة لمناقشة بديهية الاختيار والعديد من المفاهيم الأخرى).
وبذلك، فإن تناظر كوري–هوارد الذي يفيد بأن الإثباتات هي عناصر في أنواع مأهولة، يتوسع ليشمل مفهوم تحاول الإثباتات (بوصفها مسارات في الفضاء، إذ يتم تفسير نوع الهوية أو نوع المساواة في نظرية الأنواع كمسار).
تطابق كاري-هوارد قراءة إضافية
Johnstone، P.T. (2002)، "D4.2 λ-Calculus and cartesian closed categories"، Sketches of an Elephant، A Topos Theory Compendium، Clarendon Press، ج. 2، ص. 951–962، ISBN:978-0-19-851598-2، مؤرشف من الأصل في 2023-10-13 — gives a categorical view of "what happens" in the Curry–Howard correspondence.
الحنطور المرحلي
الحنطور المرحلي هو عربة نقل عامة بأربع عجلات، كانت تُستخدم لنقل الركاب مقابل أجر، بالإضافة إلى الطرود الخفيفة، في رحلات طويلة تتطلب تغيير الخيول أثناء الطريق. يتميز هذا الحنطور بتعليق قوي، وعادةً ما تجره أربعة خيول، وأحيانًا ستة خيول في بعض النسخ.
كان استخدامه شائعًا قبل انتشار النقل بالسكك الحديدية التي تعمل بالبخار، وكان يسير وفق جدول منتظم لمسافات طويلة، ويتوقف في محطات مرحلية لتبديل الخيول بأخرى جديدة. وكانت عملية تشغيل هذه الحناطير أو السفر بها تُعرف باسم "المرحلة".
من أشهر الصور المرتبطة بالحنطور المرحلي: عربة بريد ملكي تمر عبر بوابة طريق برسوم مرور، أو حنطور مغطى بالثلج من حقبة تشارلز ديكنز يصل إلى نزل مرحلي، أو قاطع طريق يوقف العربة بأمر "قف وادفع"، أو حنطور شركة ويلز فارجو يصل إلى بلدة على الحدود الأمريكية أو يغادرها. كما أن كأس "ياردة البيرة" يرتبط أسطوريًا بسائقي الحناطير، رغم أنه كان يُستخدم غالبًا في ألعاب الشرب والاحتفالات الخاصة.
الحنطور المرحلي الوصف
كان الحنطور المرحلي عبارة عن عربة مغلقة ذات أربع عجلات تجرها خيول أو بغال قوية التحمل. استُخدمت بانتظام كوسيلة نقل عامة على طرق محددة وبمواعيد منتظمة. وعند كل محطة مرحلية، كان يتم استبدال الخيول المنهكة بأخرى جديدة. بالإضافة إلى السائق أو الموجه الذي يتولى قيادة العربة، كان يرافقه أحيانًا مرافق مسلح يحمل بندقية حنطور للحماية، وهو ما يُعتبر أصل التعبير الشهير "يركب بجانبه مسلح".
أما "عربة الطين" الأمريكية، فكانت نسخة أقدم وأصغر وأبسط، وغالبًا ما كانت مفتوحة الجوانب ولا توفر حماية كافية من العوامل الجوية، ما يجعل الركاب عرضة لتطاير الطين عليهم. كما استُخدم نوع آخر مغطى بقماش يُعرف باسم "عربة المرحلة"، وكان يُخصص لنقل الركاب والبضائع، ويمتاز بانخفاض مركز ثقله، مما يجعله أقل عرضة للانقلاب.
الحنطور المرحلي السرعة
حتى أواخر القرن الثامن عشر، كانت الحناطير المرحلية تسير بسرعة متوسطة تبلغ نحو 5 أميال في الساعة (حوالي 8 كيلومترات في الساعة)، وتقطع يوميًا ما بين 60 إلى 70 ميلًا (ما يعادل 97 إلى 113 كيلومترًا).
ومع تحسُّن الطرق وتطوير النوابض الفولاذية، ازدادت السرعة. في عام 1836، كانت إحدى العربات المجدولة تغادر لندن في الساعة 19:30، وتسير طوال الليل (من دون إنارة)، لتصل إلى ليفربول في الساعة 16:50 من اليوم التالي، قاطعةً مسافة تقارب 220 ميلًا (نحو 350 كيلومترًا). وقد ضاعف ذلك متوسط السرعة الإجمالية ليصل إلى حوالي 10 أميال في الساعة (نحو 16 كيلومترًا في الساعة)، بما يشمل التوقفات لتبديل الخيول.
إرجين
إرجين هو أحد الروافد الرئيسة اليسرى لنهر ماريتسا، ويتدفق بالكامل في منطقة تراقيا الشرقية في تركيا.
ينبع النهر من الجزء الجنوبي من جبل ستراندزا، ليس بعيدًا عن البحر الأسود ويتدفق في 281 كم قبل الدخول إلى نهر ماريتسا بالقرب من مدينة إيپسالا التركية، مع جزء من مجراه السفلي المجهز بالقنوات. تبلغ مساحة حوض تصريفها 11016 كم2.
وتشمل المستوطنات الرئيسة على طول النهر أوزونكوبرو[الإنجليزية]، وبهليفانكوي[الإنجليزية]، وتشيركيزكوي[الإنجليزية] والمرادية.
تاريخ عالم أرميني
تاريخ عالم أرميني هو كتاب فارسي عن تاريخ اتحاد آق قويونلو كتبه فضل بن روزبيهان خنجي. أُلف بعد التوسع الكبير شرقًا في آق قويونلو، وتم الانتهاء منه قبل عام 1493.
أُهدي الكتاب إلى بايسونغور. وقد ترجمها في العصر الحديث فلاديمير مينورسكي إلى اللغة الإنجليزية. أشاد مينورسكي بشدة بالمؤلف لحياده. يعد الكتاب أحد المصادر الأولية القليلة عن تاريخ سلالة آق قويونلو، ويحتوي على معلومات قيمة عن عهد السلطان يعقوب والسلطان خليل وأوزون حسن.
تاريخ شهروخي
تاريخ شهروخي هي سيرة فارسية عن خانية قوقند، ألفها نياز محمد بن آشور محمد خوقاني في عام 1871/72 بأمر من محمد خضير خان (حكم. 1845–1875). كان الروس على علم بهذه الوقائع، والتي كانت بمثابة مصدر إلهام لكتاباتهم التاريخية الأولى عن خانية قوقند. وهو من بين الأعمال التاريخية الفارسية القليلة من آسيا الوسطى المتاحة في طبعات نصية. ومع ذلك، اعتبر المؤرخ الروسي الأمريكي[الإنجليزية] يوري بريجيل[الإنجليزية] أنها "طبعة سيئة للغاية، تفتقر إلى الأدوات العلمية".
تاريخ جديد طشقند
تاريخ جديد طشقند هي سيرة فارسية عن خانية خوقند، ألفها في عام 1886 محمد صالح خواجة طاشكندي، وهو مُعلم في مدرسة تقليدية إسلامية. وهو أطول وآخر سجل كبير عن خانية قوقند.
تاريخ جديد طشقند التاريخ
بدأ طاشكندي في كتابة السجل في عام 1862، ولكن بحلول الوقت الذي اكتمل فيه، كانت الإمبراطورية الروسية قد غزت خانية قوقند. يقدم المجلد الأول من السجل، والذي يشكل أقل من ثلث محتواه، تاريخًا عامًا مأخوذًا في معظمه من مصادر أقدم. في المقابل، يقدم المجلد الثاني رواية أكثر أهمية، مع التركيز على تاريخ طشقند، وفرغانة، وخانية خوقند، إلى جانب وصف موسع للغزو الروسي. يُعد كتاب تاريخ طشقند الجديد من بين العديد من الأعمال التاريخية الفارسية من آسيا الوسطى التي لم تحظ بطبعتها الخاصة.
ستيفن نيدوروسيك
ستيفن جون نيدوروسيك OLY (يُنطق بالإنجليزية: /ˌnɛdəˈrɒzɪk/؛ NED-ə-ROZ-ik؛ مواليد 28 أكتوبر 1998) هو لاعب جمباز فني أمريكي. متخصص في حصان المقابض، وهو حائز على ميداليتين أولمبيتين في الجمباز في حصان الحلق، وبطل العالم في بطولة العالم للجمباز الفني 2021 - وهو الأمريكي الأول والوحيد الذي يفوز بهذا الحدث - وبطل كأس العالم للاتحاد الدولي للجمباز مرتين، وبطل الولايات المتحدة الوطني أربع مرات، وبطل الرابطة الوطنية لرياضة الجامعات (NCAA) مرتين لهذا الجهاز.
عضو في الفريق الوطني الأمريكي للرجال، مثل نيدوروسيك بلده في الألعاب الأولمبية الصيفية 2024. فاز بميدالية برونزية فردية في حصان الحلق، ليصبح رابع رجل أمريكي فقط منذ الحرب العالمية الثانية يفوز بميدالية أولمبية على هذا الجهاز، وميدالية برونزية أخرى في حدث الفرق، وهي أول ميدالية أولمبية لفريق الجمباز الأمريكي للرجال منذ عام 2008.
ستيفن نيدوروسيك النشأة والتعليم
ولد ستيفن جون نيدوروسيك في 28 أكتوبر 1998 في ورسستر، ماساتشوستس. والده، جون نيدوروسيك، هو ضابط شرطة متقاعد في قسم شرطة ويبستر، ووالدته، شيريل نيدوروسيك (اسمها قبل الزواج كورتني)، هي مديرة تجربة العملاء في مصرف ادخار محلي في هولدن. نشأ في إنديان ليك مع أخته الكبرى سامانثا، وأخته التوأم أناستاسيا. جده من جهة الأب، الذي سمي نيدوروسيك على اسمه، كان مخضرمًا في البحرية الأمريكية خدم في الحرب العالمية الثانية والحرب الكورية. نيدوروسيك من أصل بولندي وسلوفاكي؛ هاجر أجداده الكبار من جهة الأب من هاليغوفسه وفيلكا ليسنا الحاليتين في سلوفاكيا.
ولد نيدوروسيك بـالحول والثلامة، مما تسبب في افتقاره إلى إدراك العمق وحساسية عالية للضوء. تتطلب ضعف البصر لديه ارتداء النظارات وتمنعه من الحصول على رخصة قيادة. وهو أيضًا مصاب بـالربو. درس نيدوروسيك الهندسة الكهروميكانيكية في مدرسة ووستر التقنية الثانوية وكان جزءًا من برنامج تكنولوجيا الأتمتة والروبوتات فيها. ثم التحق بـجامعة ولاية بنسلفانيا، وتخرج بدرجة في الهندسة الكهربائية في عام 2020.
ستيفن نيدوروسيك مسيرة الجمباز
بدأ نيدوروسيك مسيرته في الجمباز عام 2003 وتنافس على جميع الأجهزة. في فترة دراسته الثانوية تقريبًا، لاحظ أنه يتقدم فقط في حصان المقابض وقرر التخصص في هذا الجهاز. في عامي 2015 و 2016، فاز باللقب الوطني الأولمبي للناشئين على حصان المقابض. وهو معروف جيدًا بمنافسته وهو يرتدي نظارات واقية كانت في الأصل هدية سانتا السري له من زميله في فريق بن ستيت، بن كوبرمان.
بدأ نيدوروسيك المنافسة لصالح فريق بن ستيت نيتاني ليونز في عام 2017 وأصبح بطل الرابطة الوطنية لرياضة الجامعات (NCAA) على حصان المقابض خلال موسمه الأول. بالإضافة إلى ذلك، تأهل للمنافسة في بطولة الولايات المتحدة الوطنية 2017، حيث احتل المركز السابع على حصان المقابض.
ستيفن نيدوروسيك مسيرة الجمباز
بدأ نيدوروسيك موسم 2018 بالمنافسة في تحدي كأس الشتاء وحصل على المركز الرابع على حصان المقابض. فاز نيدوروسيك بلقب مؤتمر بيج تين على حصان المقابض. في بطولات NCAA الوطنية 2018، دافع نيدوروسيك عن لقبه في حصان المقابض وساعد فريق بن ستيت على احتلال المركز السادس كفريق. على الرغم من تأهله المسبق لبطولة الولايات المتحدة الوطنية، تنافس نيدوروسيك في التصفيات الوطنية، حيث احتل المركز الرابع على حصان المقابض. في البطولات الوطنية، احتل نيدوروسيك المركز التاسع على حصان المقابض بعد أداء دون المستوى في اليوم الثاني من المنافسة.
تنافس نيدوروسيك في كأس الشتاء 2019 وحصل على المركز الأول على حصان المقابض، فائزًا بأول لقب له على مستوى النخبة. نتيجة لذلك، تم ضمه إلى الفريق الوطني لأول مرة. شارك نيدوروسيك لأول مرة دوليًا في كأس العالم في الدوحة، حيث احتل المركز السادس. في بطولات NCAA الوطنية، ساعد نيدوروسيك فريق بن ستيت على احتلال المركز السادس كفريق بينما احتل هو المركز الثاني على حصان المقابض خلف أليك يودر من جامعة ولاية أوهايو.
ستيفن نيدوروسيك مسيرة الجمباز
تم اختيار نيدوروسيك وأليكس دياب للمنافسة في الألعاب الجامعية العالمية. احتل نيدوروسيك المركز الثالث عشر خلال التصفيات ولم يتأهل إلى نهائي حصان المقابض. في بطولة الولايات المتحدة الوطنية 2019، احتل المركز الثاني على حصان المقابض خلف سام ميكولاك. أنهى نيدوروسيك الموسم بالمنافسة في كأس العالم في كوتبوس، حيث احتل المركز الثامن.
في أوائل عام 2020، تنافس نيدوروسيك في كأس العالم في ملبورن وفاز بالميدالية الذهبية على حصان المقابض، وهي أول ميدالية دولية له. ثم سافر إلى أذربيجان للمنافسة في كأس العالم في باكو؛ ومع ذلك، عاد فورًا إلى الوطن عندما رفعت وزارة الخارجية الأمريكية مستوى تحذير السفر إلى أذربيجان بسبب مخاوف كوفيد-19. تم تقصير موسم نيدوروسيك الأخير في NCAA بسبب جائحة فيروس كورونا المستمرة، وتم إلغاء بطولات NCAA. حصل نيدوروسيك على جائزة نيسين-إيمري، وهي أعلى تكريم في رياضة الجمباز للرجال في الكليات.
ستيفن نيدوروسيك مسيرة الجمباز
عاد نيدوروسيك للمنافسة في كأس الشتاء 2021، حيث احتل المركز الثاني على حصان المقابض خلف أليك يودر. في بطولة الولايات المتحدة الوطنية 2021، احتل نيدوروسيك المركز الأول على حصان المقابض وفاز بأول لقب وطني له على مستوى النخبة. نتيجة لذلك، تأهل للمنافسة في التجارب الأولمبية 2020. في التجارب الأولمبية، سقط نيدوروسيك في اليوم الأول من المنافسة. نتيجة لذلك، احتل المركز الثالث على حصان المقابض واختارت لجنة الاختيار أليك يودر، الذي احتل المركز الأول، كالرياضي الفردي لإرساله إلى الألعاب الأولمبية.
ستيفن نيدوروسيك مسيرة الجمباز
في سبتمبر، تنافس نيدوروسيك في تجارب اختيار فريق بطولة العالم. تم اختياره كواحد من الأعضاء الستة بعد تسجيله 14.8 و 15.5 خلال يومي المنافسة. في بطولة العالم 2021، تأهل نيدوروسيك إلى نهائي حصان المقابض في المركز الثاني، خلف ونغ هاو من الصين. خلال النهائي، تفوق على كل من ونغ والحائز على الميدالية البرونزية الأولمبية 2020 كازوما كايا ليفوز بلقب بطولة العالم. كان هذا أول لقب عالمي للولايات المتحدة على حصان المقابض وأول ميدالية ذهبية يفوز بها لاعب جمباز فني أمريكي منذ عام 2011. بالإضافة إلى ذلك، كانت هذه هي الميدالية الذهبية الوحيدة التي فاز بها لاعب جمباز أمريكي، رجلًا أو امرأة، في بطولة العالم 2021.
ستيفن نيدوروسيك مسيرة الجمباز
في أواخر يوليو، عاد نيدوروسيك للمنافسة وشارك في بطولة الولايات المتحدة الكلاسيكية. على الرغم من سقوطه من على حصان المقابض، إلا أنه أنهى بأعلى درجة. ثم تنافس في بطولة الولايات المتحدة الوطنية، حيث فاز بلقبه الوطني الثاني على التوالي على حصان المقابض. في أكتوبر، تم اختيار نيدوروسيك للفريق للمنافسة في بطولة العالم 2022 إلى جانب برودي مالون، وآشر هونغ، وكولت ووكر، ودونيل ويتنبرغ. خلال التصفيات، احتل نيدوروسيك المركز الثاني على حصان المقابض وتأهل لنهائي الجهاز. خلال نهائي الفرق، ساهم بدرجات على حصان المقابض في حصول الولايات المتحدة على المركز الخامس. خلال نهائي حصان المقابض، احتل المركز الخامس.
ستيفن نيدوروسيك مسيرة الجمباز
في فبراير، تنافس نيدوروسيك في كأس الشتاء؛ احتل المركز الثالث على حصان المقابض خلف إيان سكيركي وإغناسيو يوكيرز. في أغسطس، تنافس نيدوروسيك في بطولة كور هيدريشن الكلاسيكية واحتل المركز الأول على حصان المقابض. ثم تنافس في بطولة إكسفينيتي الوطنية، حيث احتل المركز الأول مرة أخرى على حصان المقابض. في اليوم التالي، تم اختياره للفريق للمنافسة في دورة الألعاب الأمريكية التي ستقام في أواخر أكتوبر إلى جانب دونيل ويتنبرغ، وكولت ووكر، وشين ويسكوس (الذي استبدل لاحقًا بـكوران فيليبس)، وكاميرون بوك.
في دورة الألعاب الأمريكية، ساعد نيدوروسيك الولايات المتحدة على الفوز بذهبية الفرق. فرديًا، تأهل لنهائي حصان المقابض. خلال نهائي حصان المقابض، احتل المركز الخامس.
في مارس 2024، تنافس نيدوروسيك في كأس العالم في باكو، حيث فاز بالذهب مناصفة على حصان المقابض مع لي تشيه-كاي.
خلال بطولة الولايات المتحدة الوطنية 2024، فاز نيدوروسيك باللقب الوطني لحصان المقابض. أدى ذلك إلى اختياره للفريق الوطني الأمريكي لعام 2024 وتأهله للمنافسة في التجارب الأولمبية الأمريكية 2024. بعد أدائه في بطولة الولايات المتحدة الوطنية والتجارب الأولمبية الأمريكية، حيث وضعته نتيجته المجمعة في المركز الأول على حصان المقابض، تم اختياره لفريق الفريق الأولمبي الأمريكي للمنافسة في الألعاب الأولمبية 2024 إلى جانب برودي مالون، وفريد ريتشارد، وآشر هونغ، وبول جودا.
خلال التصفيات في الألعاب الأولمبية، تأهل نيدوروسيك لنهائي حصان المقابض في المركز الثاني، خلف ريس مكلينغان. سجل كلاهما 15.200؛ ومع ذلك، تأهل مكلينغان إلى النهائي باعتباره لاعب الجمباز الأعلى تصنيفًا بناءً على درجة التنفيذ الأعلى لديه. بالإضافة إلى ذلك، ساعد فريق الولايات المتحدة على التأهل إلى نهائي الفرق في المركز الخامس. نظرًا لهذا التصنيف الخامس، بدأت الولايات المتحدة نهائي الفرق بالمنافسة على جهاز الحلق وستنهي على حصان المقابض. لذلك كان على نيدوروسيك الانتظار حوالي ساعتين ونصف قبل المنافسة في روتينه الوحيد في حدث نهائي الفرق. في روتينه على حصان المقابض، أدى نيدوروسيك مجموعة أقل صعوبة من تلك التي أداها في التصفيات لكنه سجل 14.866، مما ساعد فريق الولايات المتحدة على الفوز بالميدالية البرونزية، وهي أول ميدالية له منذ ألعاب 2008.
في نهائي حصان المقابض، سجل 15.300 ليفوز بالميدالية البرونزية، وهي أول ميدالية فردية لفريق الرجال منذ ألعاب 2016.
ستيفن نيدوروسيك في الإعلام
حظي نيدوروسيك باهتمام إعلامي كبير لأدائه في الألعاب الأولمبية الصيفية 2024 وأطلق عليه لقب "المتخصص" و "رجل حصان المقابض" (Pommel Horse Guy). تمت مقارنة خلعه لنظاراته قبل روتينه على حصان المقابض على نطاق واسع بتحول كلارك كينت إلى سوبرمان. بعد عودته إلى الوطن من الألعاب الأولمبية، تلقى نيدوروسيك تحية افتراضية من الممثل ديفيد كورينسويت، الذي يلعب دور الشخصية الرئيسية في فيلم سوبرمان (2025)، نيابة عن منظمة Gold Meets Golden غير الربحية وشريكتها سامسونج.
ظهر نيدوروسيك في برنامج الليلة بطولة جيمي فالون في حلقة 13 أغسطس 2024. في اليوم التالي، ظهر في برنامج Today Show مع البي بوي فيكتور مونتالفو، وبرنامج Watch What Happens Live! إلى جانب العداءة غابي توماس. كما ظهر كمقدم مشارك مع الأولمبيين كايلب دريسيل وإلونا ماهر، والبارالمبي عزرا فريتش، والممثلين بريندان هنت وجين لنتش، في جوائز الإيمي برايم تايم السادسة والسبعون.
ستيفن نيدوروسيك في الإعلام
كان من المقرر في البداية أن يشارك نيدوروسيك في جولة الذهب فوق أمريكا 2024، لكنه انسحب للمشاركة في الموسم 33 من برنامج الرقص مع النجوم. كان أول لاعب جمباز ذكر ينافس في السلسلة، وتم إقرانه بالراقصة المحترفة ريلي أرنولد. وصلا إلى النهائي واحتلا المركز الرابع في 26 نوفمبر 2024. شارك نيدوروسيك في استضافة جولة Dancing with the Stars: Live! في عام 2025، إلى جانب الراقصة المحترفة إيما سلاتر.
1 الحكمة الضيفة روزي بيريز
2 الحكم الضيف جين سيمونس
3 الحكم الضيف مارك بالاس
ستيفن نيدوروسيك الحياة الشخصية
يرتبط نيدوروسيك بعلاقة مع لاعبة الجمباز المتقاعدة تيس ماكراكين، التي تنافست أيضًا لصالح فريق بن ستيت نيتاني ليونز، منذ 4 يوليو 2016. هما أحباب الكلية، حيث التقيا كطلاب جدد قادمين أثناء مشاركتهما في توجيه الطلاب. يقيم الزوجان حاليًا في ساراسوتا، فلوريدا، مع قطهما البرتقالي العتابي كيوشو.
أثناء المسابقات والمظاهر التلفزيونية، يرسل نيدوروسيك تحيات غير لفظية لأحبائه عن طريق شد أذنه اليمنى بلطف. نشأت هذه الحركة كإشارة لجده وتشترك في أوجه التشابه مع كارول بيرنت وحركتها المميزة في نهاية كل حلقة من برنامجها التلفزيوني الذي يحمل اسمها ‏.
ستيفن نيدوروسيك الحياة الشخصية
تم وصف نيدوروسيك بأنه متواضع ومتزن. قال مايكل ميجر، أحد معلميه في المدرسة الثانوية، "أتذكر قصة: في السنة الأخيرة، كان دائمًا في المدرسة، لم يتغيب يومًا، ثم تغيب يومين أو ثلاثة على التوالي، وعاد إلى المدرسة. قلت له، 'ستيفن، أين كنت بحق الجحيم؟' فقال 'كنت في الألعاب الأولمبية للناشئين'. قلت، 'هيا... تفعل ماذا؟' قال، 'أنا في الجمباز وتنافست في حصان المقابض'. قلت، 'حسنًا، كيف كان أداؤك؟' قال 'لقد فزت'، هكذا ببساطة، لم تكن لتعرف هذا الشاب أبدًا، ليس متفاخرًا، ولا يروي قصة، فقط يذهب ويفعل ما عليه."
خارج الجمباز، يستمتع نيدوروسيك بلعب الشطرنج، وألعاب الفيديو - خاصة روكيت ليغ - وحل سودوكو، ومكعب روبيك؛ بالنسبة للأخير، لديه رقم قياسي شخصي يبلغ 8.664 ثانية. شارك نيدوروسيك في PogChamps 6، حيث خسر في نصف النهائي أمام إيبيريشي إيز.