הלוגיקה המתמטית הגיעה לנקודת מפנה משמעותית בשנת 1951 כאשר סטיבן קול קלין (Stephen Cole Kleene) תיאר את פעולתם של אוטומטים סופיים, ובכך סיפק גשר יסודי בין רשתות עצביות לבין חישוב דיגיטלי. התפתחות זו התרחשה במקביל לעיסוקו רב השנים בתורת הפונקציות הרקורסיביות, מה שהפך אותו לדמות מרכזית בעלייתה של מדעי המחשב התיאורטיים במהלך המאה העשרים.
הכשרה אקדמית
קלין, שנולד בהרטפורד ב-1909, למד בראשית דרכו במכללת אמהרסט (Amherst College) וסיים את לימודיו ב-1930. הוא המשיך לאוניברסיטת פרינסטון לצורך עבודת הדוקטורט, אותה השלים ב-1934 בהנחייתו של אלונזו צ'רץ' (Alonzo Church). עבודת הדוקטורט שלו, "תורה של מספרים שלמים חיוביים בלוגיקה פורמלית", סימנה את תחילתה של תקופה פורייה שהתמקדה בתחשיב למדא. במהלך שנות עיצוב אלו, הוא הצטרף ב-1935 לאוניברסיטת ויסקונסין–מדיסון, מוסד שבו העביר את רוב הקריירה האקדמית שלו.
יסודות החישוב
קלין נחשב למי שפורמליז את תורת הרקורסיה, תחום המהווה בסיס לחקר פונקציות ניתנות לחישוב. לאורך שנות ה-30 וה-40 של המאה ה-20, הוא חיבר הוכחות יסודיות, כולל משפט הרקורסיה ומשפט הצורה הנורמלית. תרומות אלו אפשרו תיאור מתמטי מדויק של תהליכי חישוב. עבודתו בסוף שנות ה-40 ובשנות ה-50 התרחבה להיררכיות אריתמטיות והיפר-אריתמטיות, בעוד שהמזכר שלו מ-1951 עבור תאגיד ראנד (RAND Corporation) הציג את הביטויים הרגולריים לסיווג אירועים באוטומטים סופיים.
שירות ואינטואיציוניזם
במהלך מלחמת העולם השנייה שירת קלין בצי ארצות הברית, והגיע לדרגת לוטננט קומנדר בין השנים 1942 ל-1946. עם שובו לחיים האזרחיים באוניברסיטת ויסקונסין–מדיסון, הוא איזן בין תפקידים אדמיניסטרטיביים כראש מחלקה ודיקן הקולג' למכתבים ומדעים לבין מחקריו במתמטיקה אינטואיציוניסטית. ספריו, ובמיוחד אלו שכתב יחד עם ריצ'רד וסלי (Richard Vesley), קבעו סטנדרט אמריקאי לפרשנות של טענות אינטואיציוניסטיות באמצעות מימושיות רקורסיבית.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →מורשת מקצועית
קלין פרש ממשרתו כפרופסור למתמטיקה על שם סיירוס סי. מקדאפי (Cyrus C. MacDuffee) בשנת 1979. לאורך ארבעה עשורים, הוא הנחה 13 תלמידי דוקטורט והשפיע על דורות באמצעות ספרי לימוד שהבהירו את משפטי האי-שלמות של גדל. מנהיגותו המקצועית כללה כהונות כנשיא האגודה ללוגיקה סימבולית והאיגוד הבינלאומי להיסטוריה ופילוסופיה של המדע. בשנת 1990 קיבל את המדליה הלאומית למדעים על הישגיו.
עובדות מהירות
- נולד: 1909, הרטפורד - נפטר: 1994, מדיסון - השכלה: מכללת אמהרסט, אוניברסיטת פרינסטון - דרגה צבאית מרכזית: לוטננט קומנדר - תחום עיקרי: מדעי המחשב התיאורטיים - פרס מרכזי: המדליה הלאומית למדעים (1990) - חברות מקצועית: האקדמיה הלאומית למדעים
שאלות נפוצות
### מהו כוכב קלין?
זוהי פעולה מתמטית, הידועה גם כסגור קלין, שנקראה על שמו בשל תפקידה בתורת השפות הפורמליות ובמדעי המחשב התיאורטיים.
### האם קלין תרם לחקר רשתות עצביות?
כן, ב-1951 הוא פיתח שיטה לאפיון אירועים המתקבלים על ידי אוטומטים סופיים, אותה יישם בחקר הרשתות העצביות של מקאלוק-פיטס (McCulloch-Pitts).