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