Bilgisayar bilimleri felsefesinin temel konusu, bilgisayar bilimlerinde ortaya çıkan felsefi sorulara cevap aramaktır. Bilgisayar bilimi felsefesinin içeriği, amacı, odağı veya konusu hakkında bugün ortak bir anlayıştan bahsedemiyor olsak da,[1] fizik felsefesi veya matematik felsefesi gibi bir bilgisayar bilimi felsefesi geliştirmeye yönelik bazı girişimler bulunmaktadır. Bilgisayar programlarının soyut doğası ve bilgisayar biliminin teknolojik ilerleyiş hevesi sayesinde, bilgisayar felsefesine yönelik kavramsal sorular, bilim felsefesi, matematik felsefesi ve teknoloji felsefesi ile kıyaslanabilir.[2]
Bilgisayar bilimleri felsefesinin cevaplarını aradığı sorular, felsefenin bu kolunu ilgilendiren mantıksal, ontolojik ve epistemolojik konular hakkındadır.[3] Bu sorulara birkaç örnek vermek gerekirse;
Ana madde: Church-Turing tezi |
Church-Turing tezi ve alternatifleri Algoritmalar teorisi merkezinde yer alır. Tez, genel felsefi yaklaşıma uygun olmaması ve resmi olarak kanıtlanamaz olmasına rağmen, neredeyse evrensel olarak kabul görmüştür. Tezin içerimleri, felsefenin konusuna girmektedir. Günümüz filozofları, Church-Turing tezi ve sonuçlarının, zihin felsefesi için bazı çıkarımları olduğu şeklinde yorumlamışlardır.[4][4]
Ana madde: P ile NP arasındaki ilişki |
P harfi "polynomial", NP harfleri ise "non-deterministic polynomial" ifadelerini temsil eder, Türkçe karşılıkları "polinom" ve "belirleyici olmayan polinom"dur. "P eşittir NP?" ise hesaplama teorisi'nin en temel ve meşhur problemidir. P ile NP arasındaki ilişki bilgisayar bilimleri ve matematik tarafından çözüme ulaştırılamamış bir problemdir. P ile NP ilişkisine göre; polinomsal zamanda teyit edilebilen bir problem (teyit edilebildiği için NP kategorisinde de değerlendirilebilir), polinomsal zaman düzlenminde çözülebilir (çözülebildiği için P kategorisinde değerlndirilebilir). Bilgisayar bilimcilere göre ise; P ve NP asla eşit olamaz (P ≠ NP)[6][7] Onlarca yıl süren ve bilinen 3.000'den fazla NP-tam problemi çözülmesine rağmen, şu ana kadar hiçbir sonuçta polinomsal zaman algoritmasına ulaşılamamıştır.