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