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, 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. Bilgisayar bilimleri felsefesine genel bakış Bilgisayar bilimleri felsefesinin cevaplarını aradığı sorular, felsefenin bu kolunu ilgilendiren mantıksal, ontolojik ve epistemolojik konular hakkındadır. Bu sorulara birkaç örnek vermek gerekirse; Berim (İngilizce computing; bilginin işlenmesi ile ilgil genel bir terimdir) nedir? "Church-Turing tezi" mantık ve matematiksel kavram açısından etkili bir metot sayılabilir mi? "P ile NP arasındaki ilişki"'nin felsefi açıdan sonuçları nelerdir? Enformasyon nedir? 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. 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) 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. Ayrıca bakınız Yapay zeka felsefesi Enformasyon felsefesi Matematik felsefesi Bilim felsefesi Teknoloji felsefesi Kaynakça Kategori:Bilgisayar bilimi Kategori:Bilgisayar bilimi taslakları