Bilgisayar bilimi felsefesi, bilgisayar bilimi çalışmasında ortaya çıkan felsefi sorularla ilgilidir.
Fizik felsefesi veya matematik felsefesi gibi bir bilgisayar
bilimi felsefesi geliştirmeye yönelik bazı girişimlere rağmen, bilgisayar
bilimi felsefesinin içeriği, amacı, odağı veya konusu hakkında hala ortak bir
anlayış yoktur.
Bilgisayar programlarının soyut doğası ve bilgisayar
biliminin teknolojik hedefleri nedeniyle, bilgisayar bilimi felsefesinin
kavramsal sorularının çoğu aynı zamanda bilim felsefesi ve teknoloji felsefesi
ile karşılaştırılabilir.
Bilgisayar biliminin merkezi felsefi sorularının çoğu, onu
ilgilendiren mantıksal, ontolojik ve epistemolojik konulara odaklanır. Bu
sorulardan bazıları:
·
Hesaplama nedir?
·
Church-Turing tezi, mantık ve matematikte etkili
bir yöntemin matematiksel nosyonunu yakalıyor mu? (Church-Turing tezi, hesaplanabilir
fonksiyonların doğası hakkında bir hipotezdir)
·
P – NP probleminin felsefi sonuçları nelerdir? (P
– NP problemi, çözümü hızlı bir şekilde doğrulanabilen her sorunun hızlı bir
şekilde çözülüp çözülemeyeceğini sorar)
·
Bilgi nedir?
https://en.wikipedia.org/wiki/Philosophy_of_computer_science
19 Ağustos 2021
GERİ
(bilim felsefesi, filozofları)
GERİ
(bilim felsefesi)
GERİ
(bilim)