MAM ROUNDTABLE MEETINGS

Matematikte Kesinlik Problemi

M. Ali Çalışkan

28 أبريل, 2012 06:00 م Salon: ZEYREK SALONU

Medeniyet Araştırmaları Merkezi'nin düzenlediği Dîvân Toplantıları'nın Nisan ayındaki ikinci programında M. Ali Çalışkan'ı misafir ediyoruz. Toplantıda Çalışkan, 20. yüzyıl matematikçilerinin çalışmaları ışığında, matematiksel bilginin kesinliğiyle ilgili tartışmalar zemininde Hesaplanabilirlilik (Computability) Problemi’ni ele alan bir sunum yapacak. Sunumun çerçevesini ise klasik felsefede ve Aydınlanma döneminde matematiksel kesinlik, Principia Mathematica ve Russell Paradoksu, Hilbert ve Formal Aksiyometik Sistem, Gödel ve Eksiklik Teoremleri, Turing ve Turing Makinası (Sonlu-Kesikli Durum Makinası) ile Chaitin ve Rastlantısal Matematik konuları oluşturacak.  

خيار المحررين

SEMINARS

As the most traditonal activity of BISAV, the courses take place in every fall and spring of a year.

MORE INFO


تابعنا

الاشتراك في النشرة الإخبارية لدينا لتلقي الأخبار والتحديثات.