פיתוח אלגוריתם דייוויס-פטנאם (Davis-Putnam algorithm) עבור בעיית הסיפוק הבוליאני היווה תרומה מכרעת למדעי המחשב, בגישור על הפער שבין לוגיקה לבין פרקטיקה חישובית. לאורך הקריירה שלו, חקר המלומד האמריקאי הזה את ההתפתחות האינטלקטואלית של עצמו, תוך נטישה עקבית של תיאוריות מבוססות כאשר ניתוח קפדני חשף פגמים מבניים בעמדותיו המטפיזיות או האפיסטמולוגיות הקודמות.
הכשרה אקדמית ומחקר מוקדם
נולד בשיקגו בשנת 1926, פטנאם עבר בסביבות מוסדיות שונות במהלך השכלתו. הוא למד בבית הספר התיכון המרכזי לפני שהשלים את לימודיו באוניברסיטת פנסילבניה, באוניברסיטת הרווארד ובאוניברסיטת קליפורניה בלוס אנג'לס, שם קיבל את הדוקטורט שלו בשנת 1951. הקריירה המוקדמת שלו כללה תרומות משמעותיות למתמטיקה, ובאופן ספציפי סיוע בהוכחת אי-הכריעות של הבעיה העשירית של הילברט.
תרומות לפילוסופיה של הנפש והשפה
בתחום בעיות גוף-נפש, פטנאם אתגר את תיאוריות הזהות מסוג (type-identity theories) על ידי הצעת מושג המימוש המרובה (multiple realizability). הוא מוכר כמייסד התיאוריה החישובית של הנפש וכמפתח הפונקציונליזם. עבודתו בפילוסופיה של השפה הובילה לניסוח האקסטרנליזם הסמנטי, המודגם באופן מפורסם באמצעות ניסוי המחשבה שלו על "כדור הארץ התאום", אשר בחן את התיאוריה הסיבתית של ההתייחסות.
התפתחות הריאליזם המטפיזי
פטנאם החל את הקריירה שלו כתומך בריאליזם מטפיזי אך מאוחר יותר ביקר את העמדה באופן נרחב. הוא אימץ לזמן קצר עמדה המכונה ריאליזם פנימי לפני שהתרחק ממנה. למרות תהפוכות אלו, הוא שמר על מחויבות לאורך כל חייו לריאליזם מדעי, בטענה שתיאוריות מדעיות בשלות מציעות תיאורים מדויקים בקירוב של העולם האובייקטיבי.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →מעורבות פוליטית ותחומי עניין מאוחרים
במהלך סוף שנות ה-60 ותחילת שנות ה-70, פטנאם עסק באקטיביזם פוליטי, בעיקר כחבר במפלגת העבודה המתקדמת. מאוחר יותר הוא תיאר השתייכות זו כטעות. בעשורים האחרונים לחייו, התמקד בפרגמטיזם אמריקאי, אתיקה ופילוסופיה יהודית. הוא כיהן כמרצה באוניברסיטאות נורת'ווסטרן, פרינסטון, MIT והרווארד, ולבסוף פרש כדמות עטורת פרסים בתחום.
עובדות מהירות
- נולד: 1926, שיקגו - נפטר: 2016, ארלינגטון - עבודה בולטת: Reason, Truth and History - השכלה: אוניברסיטת הרווארד, אוניברסיטת פנסילבניה - פרסים: פרס רולף שוק בלוגיקה ופילוסופיה (2011) - פרסים: פרס לאונר (2012) - דת: יהדות - תחום מקצועי: פילוסופיה של הנפש, השפה והמתמטיקה
שאלות נפוצות של קוראים
### מדוע הילרי פטנאם מזוהה עם עמדות פילוסופיות מרובות?
הוא נהג לעיתים קרובות להעמיד את התיאוריות של עצמו לניתוח קפדני ולנטוש אותן אם זיהה בהן פגמים, ובכך תפקד למעשה כיריב הפילוסופי העיקרי של עצמו.
### מהו אלגוריתם דייוויס-פטנאם?
זוהי שיטה מתמטית שפותחה כדי לפתור את בעיית הסיפוק הבוליאני, והיא מייצגת את תרומתו למדעי המחשב.