Merhaba,

Bu ve onumuzdeki programi su sekilde:

"Turing Makinası Ne İşe Yarar?"
Konusmaci: Ayhan Alkan

1. Hafta

Alan Turing ve eserine kisa giriş
Turing Makinası - Gödel Kanıtlaması eşlenikliği
Aksiyomatik sistemler ve tutarlılık sorunu
Gödel Kanıtlaması'nın incelenmesi
Gödel Kanıtlaması'nın bilgisayar bilimlerine etkisinin tartışılması

2. Hafta

Turing'in uğraştığı problem ve matematiksel temelleri
Turing makinasının inşası
Turing Makinası ile programlama
Çevremizdeki her şey bir Turing Makinası mı?
Tartışma

Ve her zamanki tanitim:

Hi folks,

This will be an on-going event from now on. Every Thursday from 6pm to 8pm there will be a Geekly Weekly with bunch of folks like you there.

We are looking to gain:

Networking On-going projects participations or demonstrations (Open Source, Ready to Launch for a Startup) Potentially gain more visibility as a group and spread hackers to Istanbul market Meeting will be self-serviced, meaning no sponsor for the next couple of meetings. Hopefully our sponsors will be taking care of the rest.

This is just a beginning for our meetups. There will be a lot more with your participations.

Cheers,
-Isa