פטר נאור

מתוך ויקיפדיה, האנציקלופדיה החופשית

פטר נאור

פטר נאוּר (נולד ב-25 באוקטובר 1928) הוא חלוץ דני בתחום מדעי המחשב, זוכה בפרס טיורינג. על שמו קרויה שיטת הכתיבה לדקדוק חופשי הקשר, שיטת BNF - Backus-Naur Form. תרם רבות ליצירת שפת התכנות ALGOL 60.

הוא החל את הקריירה שלו כאסטרונום וקיבל תואר דוקטור בשנת 1957, אבל מפגשו עם עולם המחשבים הוביל לשינוי בעיסוקו. משנת 1959 עד 1969 הוא הועסק ברגנסנטרלן, המוסד הדני למחשוב, ובמקביל הרצה במכון נילס בוהר ובאוניברסיטה הטכנית בדנמרק. משנת 1969 עד 1998 שימש כפרופסור למדעי המחשב באוניברסיטת קופנהגן.

תחומי המחקר העיקריים שלו הם עיצוב, בנייה וביצועים של תוכנות מחשב ואלגוריתמים. תחומים כגון הנדסת תוכנה וארכיטקטורת תוכנה נחקרו לראשונה על ידי נאור. בספרו "מחשוב: פעילות אנושית (1992)" (Computing: A Human Activity), שהוא אוסף של תרומותיו בתחום מדעי המחשב, הוא דוחה את הגישה הפורמלית לתכנות, שרואה בתכנות ענף במתמטיקה.

לראשי התיבות BNF ניתן תחילה הפירוש Backus Normal Form, אך ביוזמתו של מדען המחשב דונלד קאנות' שונה הפירוש ל-Backus-Naur Form, כדי לתת גם לנאור את הכבוד שהוא ראוי לו. נאור מסתייג משינוי זה, והודיע שהוא מעדיף את הפירוש המקורי לראשי התיבות.

נאור אינו מחבב את המונח "מדעי המחשב" וטוען שיש לקרוא לענף זה "תורת המידע" (datalogy). המונח אומץ בדנמרק ובשבדיה.

מאוחר יותר עסק בתפישת המדע כמכלול. הוא קישר בין שני תחומים בפילוסופיה ובפסיכולוגיה בהתאם להשקפתו המעין אמפיריציסטית, לפיה יש להתמקד בעובדות הניתנות לצפייה. בימינו הוא עוסק בפיתוח תאוריה של חשיבה אנושית אותה הוא מכנה "תיאורית המצב הסינפסי של החיים המנטליים".

ד"ר נאור זכה בפרס טיורינג בשנת 2005 על פיתוח שפת התכנות ALGOL 60. שמו נקשר בעולם לשפת תכנות זו ולשיטת BNF. פטר נאור הוא הדני היחיד שזכה בפרס טיורינג.