Matematiksel Mantık Mehmet Sait Eroğlu

Bu kitabın ana amacı okuru, tartışmasız olarak, insanlık tarihi boyunca matematiğe en önemli katkı olarak kabul edilen Gödel'in çalışması ve onun açtığı yeni ufukları ve Hilbert'in dediği gibi "...astronomun bulunduğu noktanın haraketini gözetmesi, fizikcinin aletlerinin teorisini dert etmesi ve filozofun aklın kendisini eleştirmesi gibi matematiğe özgü kanıtları konu edinen..," bir araştırma alanına ilgi duyan, matematiğin ne olduğuna ve limitlerine ilgi duyanlara bir kaynak sunmaktır.

Bu kitabı hazırlarken şu veriler göz önünde tutulmuştur: (a) Ülkemizde çoğu üniversitede mantık dersi açılmaz, (b) Mantık konusu diğer konulardan daha fazla bir zihinsel çaba gerektirmemesine karşın diğer alanlardan tümüyle farklı bir yapısı olduğundan başlangıçta insanı daha fazla zorlar, (c) Bünyesinde diğer alanlarda hiç bulunmayan bir sürü yeni kavram ve bunların beraberinde getirdiği bir sürü yeni imler barındırır ve bunun okur için itici bir etkisi vardır, (d) Okurlar arasında mantık alanında hiç bir donanımı olmayan, ancak örneğin Gödel Eksiklik Teoreminin tam ifadesini ve ayrıntıya girmeden kanıtın ana fikrini öğrenmek isteyenler de olacaktır; ayrıntıyı bilmek isteyenleri de istemeyenleri de gözettik.