אלן טיורינג

מתמטיקאי בריטי, ממניחי היסודות למדעי המחשב

אלן מת'יסון טיורינגאנגלית: Alan Mathison Turing;‏ 23 ביוני 19127 ביוני 1954) היה מתמטיקאי בריטי, ממניחי היסודות למדעי המחשב.

אלן טיורינג
Alan Turing
טיורינג ב-1951
טיורינג ב-1951
טיורינג ב-1951
לידה 23 ביוני 1912
מיידה וייל, הממלכה המאוחדת של בריטניה הגדולה ואירלנד עריכת הנתון בוויקינתונים
התאבד 7 ביוני 1954 (בגיל 41)
וילמסלו, הממלכה המאוחדת עריכת הנתון בוויקינתונים
שם לידה Alan Mathison Turing עריכת הנתון בוויקינתונים
ענף מדעי מתמטיקה
מקום מגורים בריטניה
מקום קבורה Woking Crematorium עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט אלונזו צ'רץ' עריכת הנתון בוויקינתונים
מוסדות
תלמידי דוקטורט Robin Gandy, Beatrice Helen Worsley עריכת הנתון בוויקינתונים
פרסים והוקרה
  • עמית החברה המלכותית (1951)
  • קצין במסדר האימפריה הבריטית (24 ביוני 1946)
  • פרס סמית' (1936) עריכת הנתון בוויקינתונים
בן או בת זוג Christopher Morcom עריכת הנתון בוויקינתונים
הערות פרס טיורינג קרוי על שמו.
www.turingarchive.org
תרומות עיקריות
ממניחי היסודות למדעי המחשב. היה הדמות המרכזית בפיצוח מכונת ההצפנה "אניגמה". הוגה הרעיונות החשובים של מכונת טיורינג ומבחן טיורינג.
חתימה עריכת הנתון בוויקינתונים
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית

טיורינג הגיע להישגים יוצאי דופן בצד התאורטי ובצד המעשי של מדעי המחשב: בצד התאורטי הנחיל לעולם את מכונת טיורינגמודל מופשט למכונת חישוב אוניברסלית, שמתאר את אופן פעולתו של המחשב, ואת מבחן טיורינג – מבחן הבודק האם למכונה כלשהי יש בינה מלאכותית שלא תאפשר להבחין בינה לבין אדם. טיורינג נחשב לאבי מדעי המחשב והבינה המלאכותית.

בצד המעשי היה טיורינג דמות מרכזית במאמץ הבריטי במלחמת העולם השנייה: הוא היה אחד השותפים העיקריים לפיצוח ה"אניגמה"מכונת הצפנה של הצבא הגרמני – מאמץ שתרם תרומה מכרעת לניצחונן של בעלות הברית. הוא גם פיתח מכונת פיענוח שכונתה "בומב", שמיכנה והאיצה את תהליך הפענוח של הודעות האניגמה המוצפנות.

ביוגרפיה עריכה

אלן טיורינג נולד במחוז פדינגטון בלונדון ב-23 ביוני 1912 והוא הוטבל ב-7 ביולי באותה שנה. גאונותו, בצד התנהגות חברתית חריגה, ניכרה בו כבר בילדותו.

אביו עבד בשירות המדינה במדראס שבהודו הבריטית. סבו היה איש דת ממשפחה סקוטית של סוחרים. אמו הייתה בתו של המהנדס הראשי בחברת מסילות רכבת שפעלה בדרום הודו. עבודתו של אביו אילצה את הוריו לשהות בהודו, אולם שניהם הסכימו שהם רוצים שילדיהם יגדלו בבריטניה. הוריו נסעו תכופות להודו והשאירו את טיורינג ואחיו בלונדון, יחד עם זוג מטפלים, קולונל וגברת וורד.

הוריו רשמו אותו בגיל 6 לבית הספר היסודי סנט מייקלס, כדי שילמד לטינית. המנהל זיהה את כישרונו בשלב מוקדם, כפי שעשו רבים ממוריו הבאים. בגיל 10 רשמו אותו הוריו לבית ספר פרטי בשם הייזלהרסט. בגיל 13 נשלח לבית ספר פרטי. הנטייה הטבעית של טיורינג למתמטיקה ומדע לא הוסיפו לו כבוד בקרב חלק ממוריו, בתקופה שבה החינוך הציב יותר דגש על המקצועות ההומניים. חרף זאת טיורינג המשיך להתקדם בצורה מרשימה בלימודיו. הוא אף פתר תרגילים מסובכים בלי ידע בסיסי בחשבון.

בבית הספר קשר ידידות חזקה עם תלמיד לספסל הלימודים, כריסטופר מורקום. בפברואר 1930 נפטר מורקום. מותו ניפץ את האמונה הדתית של טיורינג והוא הפך לאתאיסט. הוא סבר שכל התופעות, כולל דרך הפעולה של המוח האנושי, חייבות להיות חומריות.

תרומה לתאוריה של מדעי המחשב עריכה

טיורינג נחשב לאחד מאבות מדעי המחשב. הוא למד מתמטיקה בקינגס קולג' באוניברסיטת קיימברידג'. עוד מימיו כסטודנט (19311934) נמשך למחקר התאורטי.

טיורינג פיתח את רעיון מכונת טיורינג באופן עצמאי, בניסיון לענות על שאלות העוסקות ביסודות המתמטיקה שהועלו על ידי דויד הילברט, ופרסם אותו באפריל 1936.[1] המטרה הייתה ליצור הגדרה מתמטית מדויקת של אלגוריתם או "תהליך מכני". עוצמתו של הרעיון נעוצה בפשטות הקיצונית של המודל (בהשוואה למורכבותם של מחשבים אמיתיים). תזת צ'רץ'-טיורינג קובעת כי מכונת טיורינג, חרף פשטותה, מסוגלת לבצע כל חישוב או אלגוריתם שהוא בר-ביצוע במחשב כלשהו. מבחינה זו, מכונת טיורינג שקולה לכל מחשב, ולכן משמשת עד היום במדעי המחשב, בעיקר בתורת הסיבוכיות ובתורת החישוביות, כבסיס לחקר יכולותיו ומגבלותיו של המחשב (מחשב כלשהו, תוך התעלמות מתכונותיו של מחשב מסוים זה או אחר).

בשנים 19361938 למד באוניברסיטת פרינסטון שבארצות הברית, ובשנת 1938 השלים את הדוקטורט שלו, בהדרכת אלונזו צ'רץ'. ג'ון פון נוימן הזמין אותו להצטרף למכון למחקר מתקדם אך הוא העדיף לחזור למולדתו.

טיורינג הוכיח כי בעיית העצירה אינה ניתנת להכרעה על ידי מכונת טיורינג. במאמרו "On Computable Numbers, With an Application to the Entscheindungsproblem" משנת 1936 הוכיח טיורינג כי קיימות בעיות שלא ניתנות לפתרון באמצעות חישוב או "אלגוריתם". במאמר טיורינג תיאר את המודל החישובי החדש שהציע, שבדיעבד נקרא על שמו "מכונת טיורינג", והראה באמצעותו כי מספר הבעיות שלא קיים להן פתרון גדול משמעותית ממספר הבעיות שניתן למצוא להן פתרון. הוכחה זו נעזרת בשיטת הלכסון שבבסיס האלכסון של קנטור להוכחה כי קבוצה אינסופית אחת גדולה מהקבוצה האינסופית השנייה.

במאמר[2] (אנ') שפרסם בכתב העת Mind בשנת 1950, טיורינג הציע את מבחן טיורינג, כדרך לוודא האם למכונה יש בינה מלאכותית.[3]

פיצוח האניגמה במלחמת העולם השנייה עריכה

  ערך מורחב – פיצוח האניגמה
 
שני בתים בחצר בלצ'לי פארק. בבתים אלו עבד טיורינג בשנים 19391940, עד שהועבר ל"בקתה 8"

מספטמבר 1938 עבד טיורינג במשרה חלקית עבור בית הספר לקידוד והצפנה. ב-1938 השלים את מחקריו באוניברסיטת פרינסטון והוסמך כדוקטור מטעם אוניברסיטה זו. טיורינג התייצב בבלצ'לי פארק שמצפון ללונדון ב-4 בספטמבר 1939, והצטרף למטה התקשורת הממשלתית, יום אחרי שבריטניה הכריזה מלחמה על גרמניה הנאצית.

הצוות שאליו הצטרף טיורינג הופקד על אחת המשימות הסודיות והחשובות ביותר במאמץ המלחמתי נגד גרמניה הנאצית: בניית מכונה שתפענח את הצופן הצבאי הגרמני. הגרמנים השתמשו במכונת הצפנה ששם הקוד שלה היה "אניגמה", ובאמצעותה הפכו מברקים לרצפים אקראיים של סימנים, שרק מכונת אניגמה שנייה יכולה לתרגם בחזרה לטקסט בשפה רגילה. כדי לפענח את הצופן היה צורך לבנות מחשב שאליו יוזנו המברקים המוצפנים ויפוענחו בעזרת חישובים מסובכים.[4]

על בסיס התפיסה המתמטית של טיורינג, פיתחה המחלקה את המחשב האלקטרוני-ספרתי הראשון, שנקרא "קולוסוס". המחשב הענק, שהושלם והוכנס לפעילות בדצמבר 1943, סייע לבריטים לפענח חלק גדול מתשדורות האלחוט המוצפנות של הצבא הגרמני, ולהפיק מהן מידע בעל חשיבות אסטרטגית עצומה. הידע שנצבר בפרויקט זה שימש בסיס לפיתוח טכנולוגיית המחשבים בבריטניה ובארצות הברית. בנוסף לכך, במהלך המלחמה, שימש ראש "בקתה 8", האגף שהיה אחראי על קריאת האותות של הצי הגרמני. לאחר המלחמה, טיורינג הירבה לעסוק בבינה מלאכותית.

במהלך עבודתו בבלצ'לי פארק, החל להתרועע עם ג'ואן קלארק, שעבדה שם כמתמטיקאית ומפענחת. טיורינג ארגן את המשמרות שלהם שיהיו באותן שעות, כדי שאת הזמן הפנוי שלהם יוכלו לבלות יחד. בשנת 1941 הציע נישואין לג'ואן, אולם לאחר שהודה בפניה שהוא הומוסקסואל, החליט לבטל את אירוסיהם.

תרומה לתחומי מחקר אחרים עריכה

טיורינג חקר כבר בשנת 1948 מודלים של רשתות עצביות מלאכותיות, אולם מאמרו התפרסם רק ב-1968, אחרי שאחרים פיתחו את התחום בנפרד.

בשנת 1949 התמנה למנהל מעבדת החישובים באוניברסיטת מנצ'סטר, ועסק בפיתוח תוכנה לאחד המחשבים הראשונים. במאמר שהתפרסם בשנת 1950 העלה את הרעיון של "מבחן טיורינג".

טיורינג היה הראשון להשתמש בסימולציות ממוחשבות על-מנת לחקור התפתחות בעלי-חיים. בתחילת שנות החמישים, בשנות חייו האחרונות, עסק טיורינג במחקר חלוצי על מורפוגנזה – תהליך עיצוב צורת העובר במהלך התפתחותו. טיורינג סבר באופן רדוקציוניסטי כי ניתן להסביר לעיתים את צורתם המורכבת של יצורים חיים באמצעות תהליכים כימיים פשוטים. במאמרו על "הבסיס הכימי של מורפוגנזה" הוצגה תאוריה שפיתח על מערכת ריאקציה-דיפוזיה (Reaction–diffusion system), שיכולה להסביר את היווצרותם של פסים, כתמים וספירלות בטבע, למשל, על עורם של בעלי-חיים.[5]

לאחר מלחמת העולם השנייה התאמן טיורינג באופן מקצועי בריצת מרתון,[6] ויצר תוכנת מחשב (Turochamp) שמסוגלת לשחק שחמט ברמה בסיסית נגד מתחרה אנושי.

אחרית ימיו עריכה

טיורינג מעולם לא הסתיר את עובדת היותו הומוסקסואל; אבל בבריטניה של ראשית שנות ה-50 שררה אווירה פרנואידית והומופובית, במיוחד לאחר ששני הומוסקסואלים הואשמו בריגול וערקו לברית המועצות.

בינואר 1952, החל טיורינג מערכת יחסים עם ארנולד מוריי, מובטל בן 19. זמן קצר לאחר מכן, נפרץ ביתו ומוריי סיפר לטיורינג שהפורץ הוא מכר שלו. טיורינג הגיש תלונה במשטרה, ובמהלך החקירה הודה במערכת יחסים מינית עם מוריי. בעקבות כך השניים הועמדו לדין והורשעו ב-Gross indecency (אנ') – 'חוסר מהוגנות חמור', עבירה לא מוגדרת ששימשה בין היתר להרשעת גברים שקיימו יחסים מיניים עם גברים, אך לא היו ראיות להרשעתם במעשה סדום. בגזר הדין ניתנה לו האפשרות לבחור בין עונש מאסר לבין המרתו במאסר על תנאי שיכלול טיפול הורמונלי לסירוס כימי, וטיורינג בחר באפשרות השנייה. הטיפול כלל זריקות הורמונים נשיים, על מנת לדכא את יצרו המיני. טיורינג שם קץ לחייו כעבור שנתיים, ב-7 ביוני 1954, ככל הנראה בשל תופעות הלוואי של ההורמונים (צמיחת שדיים, השמנה ודיכאון).

על-פי דו"ח המשטרה, טיורינג מת מהרעלת ציאניד, כשלצידו תפוח חצי-אכול, טבול בציאניד. ככל הנראה כמחווה לסרט האהוב עליו, "שלגיה ושבעת הגמדים". אמו לא קיבלה את הטענות בדבר ההתאבדות, וטענה שמותו היה תוצאה של רשלנות בטיפול בכימיקלים במעבדה (אף שטיורינג לא היה כימאי). הביוגרף אנדרו הודג'ס העלה השערה שטיורינג דאג לכך שנסיבות המוות לא תהיינה חד־משמעיות, כדי לתת לאמו את האפשרות להכחיש שהתאבד.

לאחר מותו עריכה

ב-2009, בעקבות עצומה שיזם ג'ון גרם-קמינג ושעליה חתמו למעלה מ-30 אלף בריטים,[7] פרסם ראש ממשלת בריטניה, גורדון בראון, הודעת התנצלות רשמית "בשם ממשלת בריטניה, וכל מי שבזכות עבודתו של אלן חי בחופש", על "היחס המחריד שנהגו כלפי טיורינג" מוסדות השלטון הבריטי. בהצהרה הכיר בראון בטיורינג כ"הקורבן המפורסם ביותר של ההומופוביה בבריטניה" וכתב:

אין זו הגזמה לומר שבלעדי תרומתו יוצאת הדופן, ההיסטוריה של מלחמת העולם השנייה הייתה יכולה להיות שונה מאוד. הוא אחד הבודדים שניתן להצביע על תרומתם האישית לשינוי תוצאות המלחמה. התודה העצומה שאנו חייבים לו הופכת את היחס הבלתי אנושי שלו זכה לנורא עוד יותר.[8]

[9]

בדצמבר 2013 העניקה לו אליזבת השנייה, מלכת הממלכה המאוחדת חנינה לאחר המוות.[10]

הנצחתו עריכה

פרס טיורינג, שהוא הפרס החשוב ביותר במדעי המחשב, קרוי על-שמו של אלן טיורינג. הפרס מחולק מאז 1966 על ידי אגודת ACM.

ב-1986 הועלה המחזה "לשבור את הצופן" (אנ') על חייו של טיורינג, מאת המחזאי יו ויטמור (אנ') (הוצג בישראל בתיאטרון הקאמרי ב-1988,[11] ובתיאטרון הספרייה ב-1994).

בשנת 2012 צוין יום הולדתו המאה של טיורינג במסגרת אירועי ליל המדענים והמדעניות האירופי.

בשנת 2014 הופק הסרט "משחק החיקוי", דרמה בריטית המבוססת, באופן חופשי למדי, על פרטים עיקריים מהביוגרפיה של טיורינג. הסרט בבימוי מורטן טילדום, ובכיכובם של בנדיקט קמברבאץ' וקירה נייטלי, זכה בפרס בחירת הקהל בפסטיבל הסרטים הבינלאומי בטורונטו ובפרס אוסקר לתסריט המעובד הטוב ביותר.

בשנת 2015 הוקם מכון אלן טיורינג בלונדון, בריטניה, כאות הוקרה ולהנצחת הישגיו של המדען. באותה שנה גם יצאה לאור בעברית הביוגרפיה "אלן טיורינג: האניגמה".[12]

בשנת 2019 פורסם כי שטר הנושא את דמותו ייכלל במסגרת סדרת שטרות חדשים בבריטניה.[13] בשנת 2021 הונפק שטר בן חמישים לירות שטרלינג הנושא את דיוקנו של טיורינג ומכונת ה"בומב" שפיתח. השטר הושק ביום הולדתו – 23 ביוני.[14]

רחובות נקראו על שמו בקיימברידג' שבאנגליה ובהרצליה.[15]

ראו גם עריכה

לקריאה נוספת עריכה

קישורים חיצוניים עריכה

הערות שוליים עריכה

  1. ^ A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937)
  2. ^ טיורינג, אלן (באוקטובר 1950), "Computing Machinery and Intelligence" (PDF), Mind, LIX (236): 433–460, doi:10.1093/mind/LIX.236.433 {{citation}}: (עזרה)
  3. ^ עידן לנדו, בגנות ההגדרות: על טיורינג ועל ויכוחי סרק. טיול נגטיבי, פילוסופי־בלשני־פוליטי, באתר העין השביעית, 12 במאי 2015
  4. ^ מיכאל דק, מודיעין . תפוח משוח בציאניד - האניגמה, כותרת ראשית, 2 בספטמבר 1987
  5. ^ מרואיינת: דוקטור נטשה אליסון, How the Zebra REALLY Got Its Stripes
  6. ^ Alan Turing was an excellent runner, kottke.org (באנגלית)
  7. ^ גרדיאן וקרוליין דייוויס, בריטניה התנצלה בפני מפצח קוד אניגמה, באתר הארץ, 14 בספטמבר 2009
  8. ^ Treatment of Alan Turing was “appalling” - PM, September 10, 2009.
    Jack Schofield, No 10 apologises for "appalling" treatment of Alan Turing, Guardian, September 11, 2009
  9. ^ Britain pardons Alan Turing for crime of being gay, i24news, December 24, 2013
  10. ^ איתי נבו, גאווה מאוחרת לטיורינג, באתר "הידען", 25 בדצמבר 2013
  11. ^ רחלה זנדבנק, חידה אנגלית, כותרת ראשית, 16 בספטמבר 1988
    עירית נחמני, השבוע תועלה לראשונה בתיאטרון הקאמרי הצגת "שבור את הצופן', סיפורו של אלן טיורינג, חדשות, 29 ביולי 1988
  12. ^   תום שגב, המתמטיקאי הגאה שפיצח את האניגמה הנאצית, באתר הארץ, 27 בפברואר 2015
  13. ^ סוכנויות הידיעות, על שטר 50 פאונד: המתמטיקאי שניצח את הנאצים, באתר ynet, 15 ביולי 2019
  14. ^   הארץ, אלן טיורינג, מפצח "אניגמה" שנרדף על היותו הומו, יונצח על שטר של 50 ליש"ט בבריטניה, באתר הארץ, 15 ביולי 2019
  15. ^ GeoHack - הרצליה, באתר geohack.toolforge.org