אלפרד טרסקי
אלפרד טרסקי (באנגלית: Alfred Tarski; 14 בינואר 1901 - 26 באוקטובר 1983), נולד כאלפרד טייטלבוים, היה מתמטיקאי, לוגיקן ופילוסוף יהודי-פולני. השתלם במתמטיקה בבית הספר למתמטיקה ופילוסופיה בוורשה, היגר לארצות הברית ב-1939, ועסק בהוראה ובמחקר באוניברסיטת קליפורניה בברקלי למן שנת 1942 ועד יום מותו.
לידה |
14 בינואר 1901 ורשה, האימפריה הרוסית ![]() |
---|---|
פטירה |
26 באוקטובר 1983 (בגיל 82) ברקלי, ארצות הברית ![]() |
מקום קבורה |
ברקלי ![]() |
מקום לימודים |
אוניברסיטת ורשה, Szkoła Mazowiecka ![]() |
מנחה לדוקטורט |
Stanisław Leśniewski ![]() |
מוסדות | |
מונחה לדוקטורט |
Solomon Feferman, חיים גייפמן, Bjarni Jónsson, Howard Jerome Keisler, Roger Maddux, Richard Montague, אנדז'יי מוסטובסקי, ג'וליה רובינסון, רוברט ווט, George Frank McNulty, James Donald Monk, Frederick Burtis Thompson, Wanda Szmielew, Leonard Gillman, Anne C. Morel, Don Leonard Pigozzi, Edgar C. Smith, Jr., John Elliott Doner, Louise Hoy Chin Lim, Robert Earl Bradford, Haragauri Narayan Gupta, Judith (Kan) Ching Ng, Charles Fontaine Martin, William Porter Hanf, Benjamin Franklin Wells, III, Chen Chung Chang ![]() |
זרם | פילוסופיה אנליטית |
תחומי עניין | מתמטיקה, לוגיקה, פילוסופיה של הלשון |
הושפע מ | אריסטו, צ'ארלס פרס |
השפיע על | רודולף קרנפ, וילארד קוויין, קרל פופר, קנת' ארו, דונלד דייווידסון, ג'ון בורגס, אריק לאו להמן, עפרה רכטר |
מדינה | פולין, ארצות הברית |
יצירות ידועות |
Łoś–Tarski preservation theorem, Knaster–Tarski theorem, משפט טרסקי, משפט האי-גדירות של טרסקי, Tarski–Seidenberg theorem, הפרדוקס של בנך-טרסקי, Lindenbaum–Tarski algebra, Jónsson–Tarski algebra, Semantic theory of truth, Tarski's axioms, Tarski's axiomatization of the reals, בעיית תרבוע העיגול של טרסקי, Tarski's exponential function problem, בעיית האלגברה התיכונית של טרסקי, Tarski–Kuratowski algorithm, Tarski monster group, Tarski's plank problem ![]() |
פרסים והוקרה |
מלגת גוגנהיים (1941, 1942, 1955) ![]() |
![]() ![]() |
היה כותב פורה שנודע יותר מכל הודות לחיבוריו המתמטיים בתחום תורת המודלים, מטא-מתמטיקה, לוגיקה אלגברית, אלגברה מופשטת, טופולוגיה, גאומטריה, תורת המידה, לוגיקה מתמטית, תורת הקבוצות וכן בתחום הפילוסופיה האנליטית.
יש המשווים את חשיבותו כלוגיקן לזו של אריסטו, ברטרנד ראסל, קורט גדל וגוטלוב פרגה. כותבי הביוגרפיה שלו, אניטה וסולומון פפרמן, הצהירו כי, "לצד בן-זמנו, קורט גדל, טרסקי שינה את פני הלוגיקה במאה ה-20, ובמיוחד באמצעות חיבוריו על עיקרון האמת ועל תורת המודלים" (א. פפרמן, 2004). גם על שמו נקרא פרדוקס בנך טרסקי שתואר במאמר פרי עטם שלו ושל סטפן בנך.
קורות חייםעריכה
נעוריו וראשית דרכועריכה
אלפרד נולד למשפחת טייטלבאום, זוג יהודים פולנים שחיו בתנאי נוחיות. הוא הפגין בראשונה את כישוריו המתמטיים בעת לימודיו בבית הספר התיכון "Szkoła Mazowiecka" בוורשה. אף על פי כן, כשהתקבל לאוניברסיטת ורשה ב-1918, היו פניו מועדות ללימודי ביולוגיה.
משהושבה עצמאותה של פולין בהמשך אותה השנה, עברה הנהגת האוניברסיטה לידיהם של יאן לוקאשביץ', סטניסלב לשנייבסקי וואצלב שרפינסקי; עד מהרה הייתה האוניברסיטה למוסד מחקר מוביל ברחבי העולם בתחומי הלוגיקה, יסודות המתמטיקה ופילוסופיה של המתמטיקה. מפגש שקיים טרסקי עם לשנייבסקי, שינה את חייו לאחר שהאחרון עמד על גאונותו ושכנעו לנטוש את הביולוגיה ולבכר את המתמטיקה על פניה. מאותה העת, החל טרסקי לשמוע את הרצאותיהם של לוקאשביץ', שרפינסקי, סטפן מאזורקייביץ' וטדאוש קוטרבינסקי, והיה לאדם היחיד שלשנייבסקי הנחה את עבודת הדוקטור שלו.
ב-1923 שינו אלפרד טייטלבאום ואחיו וואקלו את שם משפחתם ל"טרסקי". היה זה שם שהם המציאו משום שהוא נשמע פולני יותר, היה קל יותר לאיות והיגוי ונראה כי היה בשימוש נדיר (למרות זאת, שנים לאחר מכן אלפרד פגש אדם אחר בשם אלפרד טרסקי בצפון קליפורניה). האחים טרסקי המירו את דתם לדת הדומיננטית בפולין בזמנם והפכו לנוצרים קתוליים, זאת אף על פי שאלפרד עצמו היה אתאיסט. טרסקי היה פולני לאומני, ורצה להתקבל ככזה גם כאשר חי בארצות הברית (שם נהג לדבר פולנית בביתו).
לאחר שהפך לאדם הצעיר ביותר שהשלים דוקטורט באוניברסיטת ורשה, טרסקי לימד לוגיקה במכון הפדגוגי הפולני, מתמטיקה ולוגיקה באוניברסיטה, והיה לעוזרו של לוקאשביץ'. טרסקי לימד מתמטיקה גם בבית ספר תיכון בורשה. שילוב זה (בין אינטלקטואליות מחקרית ולימוד בבית ספר תיכון) לא הייתה נדירה בימים שלפני מלחמת העולם השנייה.
כתביו בעבריתעריכה
- מבוא ללוגיקה ולמיתודולוגיה של המדעים הדידוקטיביים, תרגם: יהושע בר-הלל בהשתתפות אי"י פוזננסקי, ירושלים: מוסד ויצמן, 1956
קישורים חיצונייםעריכה
- אלפרד טרסקי, באתר פרויקט הגנאלוגיה במתמטיקה
- אלפרד טרסקי, באתר MacTutor (באנגלית)
- אלפרד טרסקי, באתר dblp
- אלפרד טרסקי, באנציקלופדיה לפילוסופיה של סטנפורד (באנגלית)
- Tarski's Truth Definitions, באנציקלופדיה לפילוסופיה של סטנפורד (באנגלית)
- Propositional Consequence Relations and Algebraic Logic, באנציקלופדיה לפילוסופיה של סטנפורד (באנגלית)
- Tarski’s Semantic Theory, באנציקלופדיית האינטרנט לפילוסופיה (באנגלית)
- אלפרד טרסקי, באתר אנציקלופדיה בריטניקה (באנגלית)