Merhabalar matematik hakkında önerebileceğiniz okuma kitapları nelerdir?

Matematiğin sadece formül ezberlemekten ibaret olmadığını fark edip işin felsefi boyutuna inmek istiyorsan, standart ders kitaplarını bir kenara bırakıp epistemoloji ve ontolojiye temas eden klasiklere yönelmelisin. Bu alandaki temel felsefi ayrım, matematiğin evrende zaten var olup bizim tarafımızdan keşfedilmeyi bekleyen nesnel bir gerçeklik mi yoksa tamamen insan beyninin kurguladığı kusursuz bir modelleme dili mi olduğu ikileminde düğümlenir.

Bu varoluşsal ikilemi anlamak için ilk durağın kesinlikle Mario Livio tarafından yazılan Tanrı Bir Matematikçi midir? olmalı. Kitap, evrenin neden akıl almaz bir kesinlikle matematiksel yasalara uyduğunu sorguluyor. Livio, Pisagor'dan günümüze Platonik keşif savunucuları ile insan zihninin icadı tezini çarpıştırıyor. Doğadaki her korelasyonu hemen nedensellik sanmaya meyilli insan zihninin, gerçekten evrenin kaynak kodunu mu bulduğunu yoksa veriye fazlaca anlam yükleyip kendi doğrulama yanılgısına mı kapıldığını tartartan nefis bir başlangıç.

İşi biraz daha derinleştirmek ve matematikçilerin mutfağına girmek istersen, Philip J. Davis ve Reuben Hersh imzalı Matematiksel Deneyim (The Mathematical Experience) tam bir kült metindir. Yazarlar, matematiğin o steril, donuk ve tanrısal heykel imajını ti'ye alarak parçalıyor. Biçimcilik, mantıkçılık ve sezgicilik gibi felsefi akımları tartışırken, matematiğin aslında insanlar arası uzlaşıyla ve topluluk pratikleriyle yaşayan bir düşünce biçimi olduğunu gösteriyorlar. Bir teoremin doğruluğunun nasıl inşa edildiğini ve matematiksel ispatın epistemolojik sınırlarını görmek için harika bir kaynak.

Eğer biraz zihinsel meydan okuma istiyorsan, son durağın Douglas Hofstadter imzalı Gödel, Escher, Bach olmalı. Kurt Gödel'in matematiği temelinden sarsan Eksiklik Teoremi'ni, Bach'ın fügleri ve Escher'in paradoksal çizimleriyle işleyen muazzam bir kurgu. Her tutarlı matematiksel sistemin içinde doğruluğu o sistemin kendi aksiyomlarıyla ispatlanamayan önermelerin bulunmak zorunda olduğunu keşfettiğinde, matematiğin mutlaklığına dair tatlı bir aydınlanma yaşıyorsun.