Tarih

26 Ağustos – 31 Ağustos 2019

Bilgisayar ve Felsefe(si) Yazokulu

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.

Hocalar:

Chris Stephenson (İstanbul Bilgi Üniversitesi): “Lambda Kalkülüs ve Hesaplanabilirlik”

Cem Bozşahin (Odtü): “Bilgisayar nedir, ne değildir?”

Erhan Demircioğlu (Koç Üniversitesi): “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ş

Tiyatro Medresesi