MAM ROUNDTABLE MEETINGS

Matematikte Kesinlik Problemi

M. Ali Çalışkan

28 April 2012 18: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.  

EDITOR'S CHOICE

SEMINARS

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

MORE INFO


FOLLOW US

Add your e-mail address here to be informed about our programs (seminars, symposiums, panels, etc.).