ماثيو كوك

📅 آخر تحديث: ٢٨ يوليو ٢٠٢٦
✍️ نُشر في: ٢٨ يوليو ٢٠٢٦
الموسوعة الحرة

ماثيو كوك (مواليد 7 فبراير 1970) هو عالم رياضيات وعالم حاسوب اشتهر بإثباته أن الأوتومات الخلوية من القاعدة 110 كاملة تورينج .

سيرة

وُلد كوك في مورغانتاون، بولاية فرجينيا الغربية ، ونشأ في إيفانستون، بولاية إلينوي . أكمل دراسته الجامعية في جامعة إلينوي ، ثم التحق ببرنامج بودابست للفصول الدراسية في الرياضيات. في عام ١٩٨٧، تأهل كوك كعضو في الفريق الأمريكي المكون من ستة أفراد للمشاركة في أولمبياد الرياضيات الدولي، وحصل على الميدالية البرونزية. في عام ١٩٩٠، انضم كوك إلى شركة وولفرام للأبحاث ، الشركة المصنعة لنظام الجبر الحاسوبي ماثيماتيكا . أجرى أبحاث الدكتوراه في الحوسبة والأنظمة العصبية في معهد كاليفورنيا للتكنولوجيا (كالتك) من عام ١٩٩٩ إلى عام ٢٠٠٥. وهو يعمل حاليًا في معهد المعلوماتية العصبية في زيورخ، سويسرا.

العمل مع ستيفن وولفرام

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

قدّم كوك دليله في مؤتمر معهد سانتا فيه CA98 قبل نشر كتاب وولفرام ، وهو إجراء دفع شركة وولفرام للأبحاث إلى اتهام كوك بانتهاك اتفاقية عدم الإفصاح الخاصة به ، وأدى إلى منع نشر الدليل في وقائع المؤتمر. [ 1 ]

صدر كتاب "نوع جديد من العلوم" عام 2002 متضمناً ملخصاً للبرهان. وفي عام 2004، نشر كوك برهانه في مجلة " الأنظمة المعقدة" التابعة لشركة وولفرام . [ 2 ]

مراجع

  1. ↑ مارتينيز، جينارو ج.؛ سيك توه مورا، خوان؛ تشابا، سيرجيو؛ ليمايتر، كريستيان (أبريل 2019). "ملاحظات موجزة وتاريخ الحوسبة في المكسيك خلال 50 عامًا" . المجلة الدولية للأنظمة المتوازية والناشئة والموزعة . 35 (2): 185-192 . arXiv : 1905.07527 . doi : 10.1080/17445760.2019.1608990 . S2CID 150262966. تاريخ الاسترجاع: 15 أبريل 2020 . 
  2. ↑ كوك، ماثيو (2004). "الشمولية في الأوتوماتا الخلوية الأولية" . الأنظمة المعقدة . 15 : 1-40 . doi : 10.25088/ComplexSystems.15.1.1 . مؤرشف (PDF) من الأصل في 28 مايو 2016.