סמל ה-tombstone המשמש לציון סוף הוכחה מתמטית מכונה לעיתים קרובות "הלמוש", עדות להשפעתו המתמשכת של פול הלמוש (Paul Halmos). המתמטיקאי ההונגרי-אמריקאי, שנולד בבודפשט בשנת 1916, זכה להכרה בזכות גישותיו הקפדניות לאלגברה, לאנליזה פונקציונלית ולתורת הקבוצות, תוך שהוא מעצב בו-בזמן את האופן שבו מושגים מתמטיים מועברים לדורות הבאים של חוקרים.
השכלה אקדמית ועבודה מוקדמת
לאחר שהיגר לארצות הברית בגיל 13, למד הלמוש בבית הספר התיכון לינקולן פארק בטרם נרשם לאוניברסיטת אילינוי באורבנה-שמפיין. הוא השלים את התואר שלו בשלוש שנים, כשהוא מתמקד בתחילה בפילוסופיה לפני שעבר למתמטיקה. תחת הנחייתו של ג'וזף ל. דוב (Joseph L. Doob), הוא סיים את עבודת הדוקטורט שלו, Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems, בשנת 1938. זמן קצר לאחר מכן עבר למכון למחקר מתקדם, שם שיתוף הפעולה שלו עם ג'ון פון נוימן (John von Neumann) עיצב באופן משמעותי את התפתחותו המקצועית המוקדמת.
תרומות מתמטיות וכתיבה אקספוזיטורית
הלמוש זכה להערכה הן בשל מחקריו המקוריים והן בשל בהירות כתיבתו כמרצה וככותב. בספרו משנת 1962, Algebraic Logic, הוא הציג אלגברות פוליאדיות כגרסה של לוגיקה מסדר ראשון. ספרו משנת 1960, Naive Set Theory, נותר תרומה בולטת לתחום. הוא דגל בהתלהבות בתפיסת המתמטיקה כאמנות יצירתית ולא כתהליך מכני. במהלך הקריירה שלו, הוא הנהיג את הסימון המתמטי המקובל ל-"אם ורק אם" (if and only if), המקוצר כ-iff, ומיסד את השימוש בסמל ה-tombstone לסימון סיומה של הוכחה.
קריירה מקצועית והוקרה
הקריירה שלו השתרעה על פני מוסדות רבים, בהם אוניברסיטת סירקיוז, אוניברסיטת שיקגו, אוניברסיטת מישיגן ומערכת אוניברסיטת הוואי. מאוחר יותר החזיק במשרות באוניברסיטת קליפורניה בסנטה ברברה ובאוניברסיטת סנטה קלרה, שם כיהן מ-1985 ועד מותו בשנת 2006. במהלך חייו זכה בפרס שובנה (Chauvenet Prize) בשנת 1947, בפרס לירוי פ. סטיל (Leroy P. Steele Prize) בשנת 1983, ובפרסי פול ר. הלמוש - לסטר ר. פורד (Paul R. Halmos - Lester R. Ford Awards) רבים. ספרו משנת 1985, I Want to Be a Mathematician, משמש כ"אוטומתוגרפיה" המתעדת את חייו האקדמיים באמריקה של המאה ה-20.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →עובדות מהירות
- לידה: 1916, בודפשט - פטירה: 2006, לוס גאטוס - אזרחות: הונגריה; ארצות הברית - ספר בולט: Naive Set Theory - השכלה: אוניברסיטת אילינוי באורבנה-שמפיין - פרסי 1983: פרס ג'ורג' פויה (George Pólya Award), פרס לירוי פ. סטיל
שאלות נפוצות של קוראים
### מהו המקור של סמל ה-tombstone?
פול הלמוש נחשב למתמטיקאי הראשון שהשתמש בסמל ה-tombstone, המכונה לעיתים כיום "הלמוש", כדי לסמן את סוף ההוכחה.
### למה התכוון הלמוש במונח אוטומתוגרפיה?
הוא השתמש במונח זה כדי לתאר את ספרו האוטוביוגרפי משנת 1985, מכיוון שהנרטיב מתמקד כמעט אך ורק בחייו המקצועיים כמתמטיקאי ולא בהיסטוריה האישית שלו.