Bilgisayar Bilimi Felsefesi (philosophy of computer science)

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?


Bilim ve teknik (teknoloji) felsefelerinin özel durumları olarak, bilgisayar bilimi ve yazılım mühendisliği felsefeleri (https://repository.up.ac.za/bitstream/handle/2263/32862/Gruner_Problems_2011.pdf?sequence=1)

 

https://en.wikipedia.org/wiki/Philosophy_of_computer_science

19 Ağustos 2021

 

GERİ (bilim felsefesi, filozofları)
GERİ (bilim felsefesi)
GERİ (bilim)