علماء الرياضيات

خط الزمن صور نقود طوابع رسم بحث

Alan Mathison Turing

تاريخ الميلاد:

مكان الولادة:

تاريخ وفاته:

مكان الوفاة:

23 June 1912

London, England

7 June 1954

Wilmslow, Cheshire, England

العرض ويكيبيديا
إنتبه -- الترجمة الآلية من النسخة الانكليزية

ألن تورينج ولدت في Paddington ، لندن. والدة يوليوس mathison تورينج ، وكان عضوا في البريطاني الهندي الخدمة المدنيه وقال انه في كثير من الاحيان فى الخارج. الن والده ، ايثيل Stoney سارة ، هي ابنة كبير المهندسين للمدراس والسكك الحديديه والان قد اجتمع والدي وتزوج في الهند. الآن عندما كان عمرها عن سنة واحدة عن والدته التي انضمت زوجها في الهند ، مما يترك الآن في انكلترا مع اصدقاء الاسرة. الان تم ارساله الى المدرسة ولكن لا يبدو ان الحصول على اي منفعه ذلك وقال انه طرد من المدرسة بعد بضعة اشهر.

القادم وقال انه تم ارساله الى المدرسة التحضيريه Hazlehurst حيث يبدو ان متوسط الى جيد 'التلميذ في معظم المواضيع ولكن الى حد كبير بعد تناول مع افكاره. وقال انه اصبحت مهتمة في الشطرنج في حين في هذه المدرسة وكما انضم الى الجدل السياسي في المجتمع. وقال إنه انتهى امتحان المشترك في عام 1926 وsherborne ثم انتقل الى المدرسة. ان 1926 هي سنة من الاضراب العام والاضراب عندما كان في التقدم تورينج تدوير 60 ميلا الى منزله من المدرسة ، لا تطالب مهمة جدا لتورينج في وقت لاحق من ان تصبح الغرامه رياضي تقريبا القياسيه الاولمبيه. وقال إنه يجد من الصعب للغاية تنسجم مع ما كان متوقعا في هذه المدارس العامة ، ومع ذلك والدته التي كانت مصممة بحيث انه ينبغي ان يكون التعليم في المدارس العامة. العديد من اكثر المفكرين الاصل وقد وجدت الدراسه التقليديه يكاد يستعصي على الفهم وعملية ويبدو ان هذا كان الحال بالنسبة لتورينج. صاحب عبقريه دفع له في بلدة الاتجاهات بدلا من تلك المطلوبة من قبل المعلمين.

وقال انه انتقد لصاحب اليد ، ناضل في الانجليزيه ، وحتى في الرياضيات وكان مهتمة جدا مع افكاره لانتاج حلول للمشاكل باستخدام اساليب تدريس من قبل المعلمين. على الرغم من انتاج اجوبه غير تقليدية ، لم تورينج كسب تقريبا كل ما يمكن من الرياضيات في حين ان جائزة sherborne. في الكيمياء ، وهو الموضوع الذي كان له من المهتمين في سن مبكره جدا ، وقال انه اجريت تجارب بلدة جدول الاعمال التالية التي لا يرجى له المعلم. وكتب مدير 'sتورينج (انظر على سبيل المثال) :

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

هذا يقول الآن المزيد عن النظام المدرسي تورينج ان يتعرض لأكثر مما لا تورينج عن نفسه. ومع ذلك ، علمت تورينج العميق الرياضيات في المدرسة ، على الرغم من ان المدرسين قد لا تكون على بينة من الدراسات وقال انه جعل من تلقاء نفسه. قرأ اينشتاين 'ورقات عن النسبيه وكما قرأت عن ميكانيكا الكم في Eddington' طبيعه العالم المادي.

وهو حدث كان ليؤثر الى حد كبير تورينج طوال حياته ، وقعت فى عام 1928. وقال انه شكلت صداقه وثيقة مع كريستوفر morcom ، تلميذ في السنة تفوقه في المدرسة ، وهما معا على الافكار العلميه. وربما لأول مرة تورينج تمكنت من العثور على شخص يمكن معه في افكاره وتبادل الافكار. ولكن morcom توفي في شباط / فبراير 1930 وكانت تجربة واحدة لتحطيم تورينج. كان لديه هاجس من morcom وفاة في نفس لحظة انه كان المرضى ، ورأت ان هذا أمر يتجاوز ما يمكن ان يفسر العلم. وقال انه كتب في وقت لاحق (انظر على سبيل المثال) :

فليس من الصعب ان اشرح هذه الامور بعيدا -- ولكن ، اتساءل!

على الرغم من صعوبة السنوات الدراسيه ، تورينج دخلت كلية كينغز في كامبريدج ، في عام 1931 لدراسة الرياضيات. وهذا لم يتحقق بدون صعوبة. تورينج السبت المنح الدراسيه الامتحانات في عام 1929 وفاز في معرض ما ، ولكنها ليست منحة دراسيه. غير راض عن هذا الاداء ، فانه يعتبر الامتحانات مرة اخرى في السنة التالية ، وهذه المرة الفوز للمنح الدراسيه. من نواح عديدة كامبردج وكان من الاسهل بكثير مكان غير تقليدية لاشخاص مثل تورينج من المدرسة كان. وقال انه الآن اكثر قادرة على استكشاف آرائه وقرأ راسل بالمجلس ، مقدمة الى الفلسفه الرياضية في عام 1933. فى نفس الوقت تقريبا قرأ فون نيومان '1932 نص على ميكانيكا الكم ، عاد الى الموضوع عدة مرات طوال حياته.

سنة 1933 شهدت بدايات تورينج اهتمام منطق رياضي. قرأ ورقة الى النادي العلمي الاخلاقي في كامبردج في كانون الاول / ديسمبر من تلك السنة التالية التي سجلت في الدقيقة (انظر على سبيل المثال) :

الساعة تورينج قراءة ورقة عن "والرياضيات والمنطق". واشار الى ان سوقيه بحتة نظرا للالرياضيات كان غير كاف ؛ الرياضية والمقترحات التي تمتلك مجموعة متنوعة من التفسيرات التي السوقية هي مجرد واحدة.

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

تورينج وتخرج في عام 1934 ثم في ربيع 1935 ، حضر ماكس نيومان 'دورة دراسيه متقدمة على اسس من الرياضيات. وهذا بطبيعة الحال دراسة gödel بالمجلس ، وعدم اكتمال النتائج هيلبيرت بالمجلس ، القدرة على اتخاذ قرار بشأن هذه المساله. في احساس واحد 'القدرة على اتخاذ قرار' هو سؤال بسيط ، وهو رياضي ونظرا لاقتراح يمكن ان يجد المرء خوارزميه الذي من شأنه ان يقرر ما اذا كان صحيحا الافتراض الزائف. بالنسبة لكثير من المقترحات وكان من السهل العثور على مثل خوارزميه. الصعوبه الحقيقية التي تثبت ان تنشأ في بعض المقترحات لعدم وجود مثل هذه الخوارزميه. عندما تتاح لها خوارزميه حل مشكلة ما وكان من الواضح انه كان في الواقع خوارزميه ، لا يوجد حتى الآن تعريف للخوارزميه التي كانت صارمه بما يكفي للسماح لاحد ان يثبت ان لا شيء موجود. تورينج بدأت العمل على هذه الافكار.

تورينج انتخب زميلا في كلية كينغز في كامبريدج ، في عام 1935 لأطروحة عن خطأ متعلق بالغاوس وظيفة أساسية والتي اثبتت النتائج على نظرية الإحتمالات ، وهي نظرية الحد المركزي. ورغم ان نظرية الحد المركزي وقد تم مؤخرا اكتشاف ، تورينج كأن ليس لديهم علم بهذا واكتشفت أنها مستقلة. في عام 1936 تورينج كان سميث prizeman.

تورينج انجازات في كامبردج كان على حساب عمله في نظرية الاحتمالات. ومع ذلك ، وكان قد عمل على القدرة على اتخاذ قرار الاسءله التي حضرت منذ نيومان بالمجلس ، بطبيعة الحال. وقال انه في عام 1936 نشر في العدد computable ، مع تقديم طلب الى entscheidungsproblem ، وهو في هذه الورقه ان تورينج عرض مجردة الآلة ، التي تسمى الان "آلة تورينج" ، التي انتقلت من دولة الى دولة اخرى باستخدام محدود دقيقة مجموعة من القواعد) وبالنظر الى الجدول محدود من قبل) واعتمادا على انها رمز واحد يقرأ من الشريط.

تورينج فان الالة يمكن ان يكتب رمزا على الشريط ، أو حذف رمز من الشريط. تورينج يقول :

بعض الرموز المكتوبة الى اسفل وسوف تشكل سلاسل من الارقام العشريه التي هي من العدد الحقيقي الذي يجري هنا؟ الآخرون هم مجرد الخام الملاحظات على "مساعدة الذاكرة". وهو لن يؤدي الا الى ان تكون هذه الملاحظات الخام التي ستكون عرضة للمحو.

وقال انه حدد عدد computable العدد الحقيقي على النحو الذي توسيع عشري يمكن ان يتم انتاجها من قبل آلة تورينج بدءا بياض الشريط. وقال انه تبين ان كان computable ، ولكن بما انه لا يوجد سوى حسابيا العديد من الارقام الحقيقية computable ، معظم الارقام ليست حقيقية computable. ثم وصف عدد الذي لا computable والملاحظات التي ويبدو ان هذا التناقض لأنه يبدو انه قد ورد في شروط محددة ، وهو عدد لا يمكن وصفها في الشروط محدود. ومع ذلك ، فهم مصدر تورينج من التناقض الظاهر. ومن المستحيل ان يقرر (آخر تورينج باستخدام آله) ما اذا كان إله تورينج مع الجدول معين من التعليمات الناتج لا حصر له من تسلسل الارقام.

على الرغم من ان هذه الورقه تتضمن الأفكار التي ثبت انها ذات اهمية جوهريه في الرياضيات وعلوم الكمبيوتر حيث انه يبدو من اي وقت مضى ، ونشر في لندن وقائع رياضية المجتمع الذي لم تثبت سهلا. السبب في ذلك هو ان الكنيسة الونزو نشرت للحل المشكلة الاساسية في عدد من الناحية النظريه في المجله الامريكية للرياضيات فى عام 1936 والذي يثبت أيضا ان ليس هناك اى قرار لاجراء الحساب. تورينج نهج يختلف اختلافا كبيرا عن الكنيسة ولكن قد نختلف نيومان الحال بالنسبة لنشر ورقة تورينج لندن قبل ان تنشر والرياضية في المجتمع. تورينج المنقحه ورقة تتضمن اشارة الى الكنيسة 'ورقة النتائج ، الاولى في نيسان / ابريل 1936 ، تم تنقيح وبهذه الطريقة في آب / اغسطس 1936 وتبين انه في المطبوعه فى عام 1937.

ميزة جيدة للمناقشات مع الكنيسة مما ادى الى ان اصبح تورينج لطلاب الدراسات العليا في جامعة برنستون في عام 1936. في برينستون ، تورينج اجرت بحوثا في اطار الكنيسة بالمجلس والاشراف وعاد إلى انكلترا في عام 1938 ، علما انه كان في انجلترا لعودة العطله الصيفيه فى عام 1937 عندما اجتمع لاول مرة فيتجنشتاين. المنشور الرئيسي الذي خرج من عمله في برينستون وكأن من نظم تقوم على منطق ordinals الذي نشر في عام 1939. نيومان يكتب :

وهذه الورقه هي كاملة من الأفكار والاقتراحات المثيرة للاهتمام. ... [] يلقي كثيرا من الضوء على وجهات نظر تورينج على مكان الحدس الرياضية في الاثبات.

وقبل هذه الورقه يبدو ، تورينج نشرت اوراق اخرى على اثنين بل اكثر المواضيع الرياضية التقليديه. واحدة من هذه الأوراق التي نوقشت أساليب المقاربه تكمن مجموعات محدودة من جانب الجماعات. ورقة اخرى تثبت النتائج على تمديد المجموعات ، التي أثبتت لأول مرة من قبل راينولد Baer ، إعطاء أكثر بساطة ونهج موحد.

ولعل أهم السمات البارزة للعمل على تورينج تورينج الالات هو ان كان وصفا لتكنولوجيا الحاسوب الحديثة قبل قد وصلت الى النقطه التي كان فيها بناء واقعيه. وقال انه قد ثبت في تقريره ان 1936 ورقة عالمية موجودة آلة تورينج :

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

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

بينما في برينستون تورينج قد لعبت مع فكرة بناء جهاز كمبيوتر. مرة واحدة الى الوراء في كامبريدج في عام 1938 وقال انه ابتداء من التناظريه الى بناء الميكانيكيه وسيلة لتحقيق فرضية ريمان ، التي تنظر في العديد من اليوم اكبر مشكلة بلا حل في الرياضيات. ومع ذلك ، من شأنه ان عمله قريبا على الجانب الجديد لانه جرى الاتصال ، وبعد فترة وجيزة من عودته ، من جانب الحكومة وقانون cypher من المدرسة وطلبت منه مساعدتها في عملها على كسر الالمانيه لغز المدونات.

وعندما أعلنت الحرب في عام 1939 تورينج على الفور انتقلت الى العمل بدوام كامل في الحكومة وقانون cypher Bletchley في حديقة المدرسة. ورغم ان الاعمال التي انجزت في Bletchley بارك مشمول قانون الأسرار الرسمية ، اصبحت في الاونة الاخيرة الكثير من المعارف العامة. تورينج 'sالافكار البارعه في حل الرموز ، وتطوير اجهزة الكمبيوتر لمساعدة خروج منها ، قد يكون لها انقاذ المزيد من الارواح من الافراد العسكريين في اثناء الحرب من اي تاريخ آخر. وكان ايضا سعيدة بالنسبة له الوقت :

... ولعل اسعد من حياته ، مع النطاق الكامل لصاحب الإبداع ، خفيف الروتينيه لتشكيل يوم مناسب ومجموعة من الزملاء في العمل.

جنبا الى جنب مع الفريق العامل التابع للرياضيات آخر مواطن او ساكن ويلز ، وضع تورينج bombe ، اله على أساس العمل في وقت سابق من البولنديه من قبل الرياضيين ، من أواخر 1940 والتي كان فك رموز كل الرسائل التي بعث بها من آلات لغز لوفتوافا. فإن لغز آلات للبحرية الالمانيه كانت أكثر صعوبة لكسر ولكن كان هذا هو نوع من التحدي الذي يتمتع تورينج. وبحلول منتصف 1941 تورينج الاحصاءيه النهج ، الى جانب أسر المعلومات ، قد ادت الى اشارات البحرية الالمانيه ويجري في Bletchley decoded.

من تشرين الثاني / نوفمبر 1942 حتى اذار / مارس 1943 تورينج كان في الولايات المتحدة ما يزيد على فك قضايا الاتصال وأيضا على كلمة سرية النظام. تغييرات فى الطريقة التى الالمان المشفره رسائلهم قد يعني ان Bletchley فقدت القدرة على فك الرسائل. تورينج لم تشارك مباشرة مع النجاح فى كسر أكثر تعقيدا من هذه الرموز ، ولكن افكاره ثبت ان من الاهميه بمكان في هذا العمل. حصل على جائزة تورينج OBE في عام 1945 لبلدة مساهمه حيوية في المجهود الحربي.

في نهاية الحرب تورينج دعي من قبل المختبر الوطنى فى لندن الماديه لتصميم جهاز كمبيوتر. اقتراح تقريره التلقائي لمحرك الحاسوب (اس) فى اذار / مارس 1946. تورينج تصميم كان في ذلك الوقت الاصلي ونشره تفصيليه لتصميم كمبيوتر في حداثي. حجم التخزين وخطط لالاس يعتبر معظم من نظر في تقرير ما ميؤوس مفرطه في الطموح وهناك تأخير في الموافقة على المشروع.

تورينج عاد إلى كمبردج للعام الدراسي 1947-48 مصالحة حيث تراوحت ما يزيد على العديد من المواضيع بعيدة كل البعد عن الحواسيب أو الرياضيات ؛ ولا سيما في درس وفسيولوجيا الأعصاب. وقال انه لا ننسى الحواسيب وخلال هذه الفترة ، ومع ذلك ، وانه كتب قانون للبرمجة الكمبيوتر. وقال انه مصالح خارج العالم الأكاديمي أيضا ، وبعد ان تناول العاب القوى بشكل خطير بعد انتهاء الحرب. وكان عضوا في نادي الفوز الرياضي والتون على 3 ميل وميل 10 بطولة في وقت قياسي. وقال انه يتعارض مع ااا في الماراثون في عام 1947 وجرى الخامسة.

من جانب نيومان 1948 وكان استاذا للرياضيات في جامعة مانشستر وعرض تورينج القراء هناك. تورينج استقال من المختبرات الوطنية الماديه لتولي هذا المنصب في مانشستر. نيومان في ان يكتب في مانشستر :

... وقد بدأ العمل على انشاء جهاز الكمبيوتر من قبل لجنة التيسير ويليامز وkilburn ر. وكان من المتوقع ان تورينج من شأنه ان يؤدي الجانب الرياضي من العمل ، ولبضع سنوات وقال انه تابع للعمل ، الأولى عن تصميم من الوظائف الفرعية التي من البرامج الكبيرة لمثل هذه الالة هى بنائها ، وبعد ذلك ، لان هذا النوع العمل أصبحت موحدة ، على المزيد من المشاكل العامة للالتحليلات العدديه.

في عام 1950 نشرت تورينج الحوسبه الاليه والاستخبارات في الاعتبار ، وهو آخر من العمل الرائع الذي له ببراعه العقل الابتكاري الذي بدا وكأنه كان يتنبأ الاسءله التي ستنشأ على النحو الحواسيب المتقدمه. درس اليوم المشاكل التي تقع في قلب الذكاء الاصطناعي. وكان هذا في 1950 ورقة ان اقترح تورينج اختبار اليوم الذي لا يزال يطبق الاختبار الناس في محاولة للاجابة على ما اذا كان جهاز الكمبيوتر يمكن ان تكون ذكية :

... وقال انه شارك فى المناقشات على التناقضات وأوجه الشبه بين الآلات والعقول. تورينج رأي ، واعرب عن بقوة كبيرة والذكاء ، هو انه كان لتلك شهدت unbridgeable من الفجوه بين الاثنين ان أقول فقط الفرق يكمن فيها.

تورينج لا ننسى من القدرة على اتخاذ قرار بشان المسائل التي كانت نقطة الانطلاق لتقريره الرائع رياضية المنشورات. واحدة من المشاكل الرئيسية في نظرية مجموعة من العروض وكان السؤال : بالنظر الى أي كلمة في عرض المجموعات بشكل محدود هل هناك خوارزميه ليقرر ما اذا كان كلمة يرقى الى مستوى الهوية. بعد ان ثبت لsemigroups لا توجد مثل هذه الخوارزميه. تورينج يعتقد في البداية انه قد ثبت ان النتيجة نفسها بالنسبة لمجموعات ولكن ، وقبل إعطاء حلقة دراسيه عن الاثبات ، وقال انه اكتشف خطأ. وقال انه كان قادرا على انقاذ بلده من عيوب في اثبات حقيقة انه كان هناك نصف زمرة cancellative مع مشكلة تستعصي على كلمة ونشرت هذه النتيجة وقال انه فى عام 1950. بون من الافكار التي تستخدم هذه الورقه من قبل تورينج ان يثبت وجود مجموعة مع هذه المشكلة المستعصيه كلمة فى عام 1957.

تورينج انتخب زميلا في الجمعية الملكيه في لندن عام 1951 ، اساسا لعمله تورينج على الآلات المخصصه لذلك في عام 1936. قبل 1951 كان يعمل على تطبيق نظرية رياضية لاشكال البيولوجي. وقال انه في عام 1952 نشر الجزء الاول من دراسة نظرية تشكل حيوي ، وتطوير نمط وشكل في الكائنات الحيه.

تورينج القي القبض عليه من انتهاك للقوانين البريطانية الشذوذ الجنسي في عام 1952 عندما ابلغت بها الشرطة تفاصيل من شأن مثلي الجنس. وقال انه قد ذهب الى الشرطة لانه كان واقعا تحت تهديد الابتزاز. وحوكم بوصفها مثلي الجنس في 31 اذار / مارس 1952 ، لم تقدم الدفاع غير انه لا يرى اى خطأ فى افعاله. ادين وقال انه بالنظر الى بدائل للسجن او oestrogen الحقن لمدة عام. وقال انه يقبل هذا الاخير ، وعاد الى مجموعة واسعة من الاهداف الاكاديميه.

ليس فقط انه كان على المضي قدما في اجراء مزيد من الدراسه لتشكل حيوي ، لكنه يعمل ايضا على افكار جديدة في نظرية الكم ، على تمثيل من قبل spinors الجسيمات الأولية ، وعلى نظرية النسبيه. وبالرغم من انه كان مفتوحا تماما حول النشاط الجنسي ، وكأن لديه مزيد من جهة عدم رضا والذي كان يحظر الحديث عن نتيجة لقانون الأسرار الرسمية.

فان عملية فك في Bletchley بارك اصبحت اساسا لفك جديدة والاستخبارات في gchq. مع انتهاء الحرب الباردة اصبحت هذه عملية هامة وتورينج واصلت العمل لgchq ، على الرغم من ان مانشستر الزملاء يجهل تماما هذا. وبعد ادانته ، قال انه تم سحب التصاريح الامنية. أسوأ من ذلك ، ان ضباط الامن بقلق بالغ ان احدهم مع معرفة كاملة للعمل الذي يجرى حاليا في gchq العلامات خطرا على الامن. وقال انه كثير من زملاء اجانب ، كما من شأنه ان اي الاكاديميه ، ولكن بدأت الشرطة للتحقيق معه في الزوار الاجانب. عطلة تورينج الذي اتخذ في اليونان في عام 1953 تسبب في ذعر بين ضباط الامن.

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

Source:School of Mathematics and Statistics University of St Andrews, Scotland