2016中国国际徽商大会淮南市招商引资恳谈会暨项...
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 tutkular? nedeniyle, bilgisayar bilimi felsefesinin kavramsal sorular?n?n ?o?u, bilim felsefesi, matematik felsefesi ve teknoloji felsefesi ile de kar??la?t?r?labilir.[1]
Genel Bak??
[de?i?tir | kayna?? de?i?tir]Bilgisayar biliminin merkezi felsefi sorular?n?n ?o?u, onu ilgilendiren mant?ksal, ontolojik ve epistemolojik konulara odaklan?r.[2]
- Hesaplama nedir?
- Church–Turing tezi, mant?k ve matematikte etkili y?ntem matematiksel kavram?n? kar??l?k gelir mi?[3][4]
- P ile NP aras?ndaki ili?kinin felsefi sonu?lar? nelerdir?
- Bilgi nedir?
Church–Turing tezi
[de?i?tir | kayna?? de?i?tir]Church–Turing tezi ve varyasyonlar? hesaplama teorisi i?in merkezidir. Gayri resmi bir kavram olarak, etkin hesaplanabilirlik kavram?n?n resmi bir tan?m? olmad??? i?in, tez, neredeyse evrensel bir kabule sahip olmas?na ra?men, bi?imsel olarak kan?tlanamaz. Bu tezin i?erimleri ayn? zamanda felsefi bir endi?e kayna??d?r. Filozoflar, Church-Turing tezinin zihin felsefesi i?in ??kar?mlar? oldu?unu dü?ünmektedir.[5][6]
P ile NP aras?ndaki ?li?ki
[de?i?tir | kayna?? de?i?tir]P ile NP aras?ndaki ?li?ki, bilgisayar bilimi ve matematikte ??zülmemi? bir problemdir. ??zümü polinom zaman? i?inde do?rulanabilen (ve b?ylece NP s?n?f?na ait olarak tan?mlanan) her problemin polinom zamanda da ??zülüp ??zülemeyece?ini (P s?n?f?nda tan?mlan?p tan?mlanamayaca??n?) sorar . ?o?u bilgisayar bilimci P ≠ NP oldu?una inan?r.[7][8]
MIT'deki Amerikal? bilgisayar bilimcisi Scott Aaronson, ?unlar? s?yledi:
E?er P = NP olsayd?, o zaman dünya bizim sand???m?zdan ?ok daha farkl? bir yer olurdu. "Yarat?c? s??ramalarda" ?zel bir de?er olmayacakt?, bir sorunu ??zmek ile ??züm bulunduktan sonra onu tan?mak aras?nda hi?bir temel bo?luk olmayacakt?. Bir senfoniyi takdir edebilen herkes Mozart olurdu; ad?m ad?m bir argüman? takip edebilen herkes Gauss olurdu.
Kaynak?a
[de?i?tir | kayna?? de?i?tir]- ^ Turner, Raymond; Angius, Nicola (2020), "The Philosophy of Computer Science", Zalta, Edward N. (Ed.), The Stanford Encyclopedia of Philosophy, Spring 2020, Metaphysics Research Lab, Stanford University, 4 Aral?k 2020 tarihinde kayna??ndan ar?ivlendi21 May?s 2020
- ^ Turner, Raymond (January 2008). "The Philosophy of Computer Science". Journal of Applied Logic. 6 (4): 459. doi:10.1016/j.jal.2008.09.006. hdl:2434/807648
– ResearchGate vas?tas?yla.
- ^ Copeland, B. Jack. "The Church-Turing Thesis". Stanford Encyclopedia of Philosophy. 16 A?ustos 2021 tarihinde kayna??ndan ar?ivlendi16 A?ustos 2021.
- ^ Hodges, Andrew. "Did Church and Turing have a thesis about machines?". 22 Eylül 2015 tarihinde kayna??ndan ar?ivlendi.
- ^ Copeland, B. Jack (10 Kas?m 2017). "The Church-Turing Thesis". Zalta, Edward N. (Ed.). Stanford Encyclopedia of Philosophy.
- ^ Konuyla ilgili orijinal makaleler i?in bak?n?z:Chalmers, David J., (Ed.) (2002). Philosophy of Mind: Classical and Contemporary Readings. New York: Oxford University Press. ISBN 978-0-19-514581-6. OCLC 610918145.
- ^ William I. Gasarch (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34-47. CiteSeerX 10.1.1.172.1005 $2. doi:10.1145/564585.564599. 27 Ekim 2019 tarihinde kayna??ndan ar?ivlendi (PDF)26 Eylül 2018.
- ^ Rosenberger, Jack (May 2012). "P vs. NP poll results". Communications of the ACM. 55 (5): 10. 20 A?ustos 2021 tarihinde kayna??ndan ar?ivlendi16 A?ustos 2021.