Bilgisayar bilimleri felsefesi

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 

Bilgisayar bilimi
Bilgisayar bilimi taslakları