|
פרופ' איתמר פיטובסקי - האוניברסיטה העברית בירושלים
מגיב: דר' אורון שגריר - האוניבריסטה העברית
תחילתם של מדעי המחשב בפיתרון בעיות בלוגיקה הכרוכות במושג ההוכחה, אך עד מהרה, עם גידולו של התחום, השתנה האופן שבו מוגדר המושג חישוב ונוטרל ממרכיביו האפיסטמיים. אחת המטרות שהוצבו כבר בשנות השישים של המאה שעברה היא מציאת תכונות של פונקציות שהן בלתי תלויות במודל המכונה המחשבת אותן, תכונות המגדירות קטגוריות חישוביות אוטונומיות. הדוגמה הטיפוסית הן מחלקות הסיבוכיות והדוגמה המרכזית היא מחלקת הפונקציות בעלות סיבוך זמן פולינומיאלי. בהרצאה נסביר את המושגים (לא נדרשת ידיעה מופלגת במתמטיקה), נסקור את ההתפתחות שהוזכרה לעיל ונספר על הפלישה המפתיעה של הפיסיקה אל "האוטונומיה" של מדעי המחשב החל משנות התשעים ועל התהליך שאפשר אותה.
ההרצאה תינתן בשפה העברית
|
||