גן-עדן בעית הגוף והנפש ואוטומטים סלולרים
יאיר גלזנר
יום שני, 18 בינואר, 2016, 19:00 – 20:00, -101
אנא שימו לב לשינוי ביום, שעה ומקום!
בהרצאה אסביר מקצת מן הרעיונות המתמטיים שעומדים בבסיס ספר המדע הבדיוני Pernutation City של הסופר האוסטרלי Greg Egan. הספר מפתיחתו מניח פתרון (שלילי) לבעיית הגוף והנפש, כלומר הוא מניח שניתן לממש את התודעה האנושית כחישוב. הדמויות, שחלקן רצות כתוכנה על מחשב, מעונינות להתנתק מפלטפורמת החומרה עליה הן רצות. סביב הבסיס הסיפורי הזה, אדון בתורה המתימטית של אוטומטים סלולרים, חישוביות, חישוביות הפיכה ובמשפט גן העדן.
אזהרת ספוילר: ההרצאה תכלול פרטים רבים מעלילת הספר וגם מן הרעיונות המתמטיים שעומדים בבסיסו. מאחר וזהו אחד מספרי המד״ב הטובים שאני מכיר אני מאוד ממליץ לקרוא אותו מבעוד מועד. ניתן לרכוש גרסת קינדל דרך אמזון בקישור הבא: