Matematik Felsefesi Ve Matematiksel Mantık

Türkiye’de matematik felsefesi ve matematiksel mantik konulariyla ilgili büyük bir eksiklik oldugunu gözlemleyen ve çalismalarinin bu konudaki eksikligin bir derece giderilmesine yardimci olacagini umdugunu belirten Ahmet Çevik, bu kitabin öncelikli olarak 3. ve 4. sinif lisans veya yüksek lisans düzeyindeki matematik veya felsefe ögrencileri için oldugunu belirtiyor ve ekliyor: Bilgisayar bilimi ögrencileri ya da matematigin temellerine ve felsefesine merakli olan diger alanlardaki ögrenciler veya yetiskinler de kitabin hedef kitlesinin içindedir.
Kitabin editörlügünü üstlenen Ali Nesin ise çalisma hakkinda su notu düsüyor:
Yaklasik 4000 yildir, belki de daha uzun bir zamandir insanlik, hâlâ daha ne oldugu tam olarak bilinmeyen ve hiçbir zaman bilinemeyecek olan gerçegin pesinde. Gerçek diye adlandirdigimiz seyi anlamanin ve baskalariyla paylasmanin tek bir yolu vardir, o da matematiktir. Bu yüzden matematige ortak akil diyebiliriz. Gerçegi anlamakla görevli matematikçinin elbette en temel sorusu ‘gerçek nedir ve nasil anlasilir’ sorusudur. Bu da matematikle felsefenin kesistigi noktadir. Matematik felsefesi, öncelikle gerçegin ve matematigin ve tabii ki mantigin, düsünmenin ve bilginin ne oldugunu, daha dogrusu ne olmasi gerektigini irdeler. Daha derin felsefe herhalde mümkün degildir.