Daha derin soruları cevaplamak amacıyla başlamış olan bilgisayar bilimini, günümüzdeki uygulama yoğunluklu trendinin dışında ele alarak, katılımcılara bilgisayar biliminin temeline ilişkin bazı kavramsal ve felsefi sorular sordurtmak; bunları bazen çözebilmek, bazen çözememek istiyoruz. Amacımızı; Turing, Church, Gödel gibi insanların yarattığı bu alanın, özüne dönmek diye de özetleyebiliriz. Felsefe ile bilgisayar arasındaki bir diyaloğun bunun için iyi bir yöntem olduğunu düşünüyoruz. Bundan dolayı, program boyunca hocalarımızla birlikte yeri gelecek Lambda kalkülüsü günümüzdeki programlama dilleriyle kıyaslayacağız ve sınırlamalarını tartışacağız, yeri gelecek Çin odası deneyinin çıkarımları üzerine düşüneceğiz.

Eğitmenlerimiz ve Ders Başlıkları:

Chris Stephenson | Bilgi: “Lambda Kalkülüs ve Hesaplanabilirlik”

Cem Bozşahin | ODTÜ: “Bilgisayar nedir, ne değildir?”

Erhan Demircioğlu | Koç: “Yapay Zeka ve Çerçeve Problemi”

Mehmet Hilmi Demir | ODTÜ: “Zihinler ve Makineler”

Umut Ozge | ODTÜ: Matematik Yordamıyla Anlam Arayışı: Doğal Dil Semantiğine Giriş