Filozofie počítačové vědy - Philosophy of computer science

The filozofie informatiky je znepokojen filozofický otázky, které vyvstanou během studia počítačová věda. Stále neexistuje společné chápání obsahu, cíle, zaměření nebo tématu filozofie počítačové vědy,[1] přes některé pokusy vyvinout filozofii počítačové vědy, jako je filozofie fyziky nebo filozofie matematiky. Vzhledem k abstraktní povaze počítačových programů a technologickým ambicím počítačové vědy je mnoho koncepčních otázek filozofie počítačové vědy srovnatelné s filozofie vědy a filozofie technologie.[2]

Přehled

Mnoho z ústředních filozofických otázek informatiky je zaměřeno na logické, ontologické a epistemologické problémy, které se jí týkají.[3] Některé z těchto otázek mohou zahrnovat:

Církev – Turingova teze

The Církev – Turingova teze a jeho variace jsou pro teorie výpočtu. Protože koncept neformální kalkulace jako neformální pojem nemá formální definici, nelze tuto práci formálně dokázat, i když má téměř univerzální přijetí. Důsledky této práce mají rovněž filozofický význam. Filozofové interpretovali tezi Church-Turing jako důsledky pro filozofie mysli.[6][7]

Problém P versus NP

The Problém P versus NP je nevyřešený problém v informatice a matematice. Ptá se, zda každý problém, jehož řešení lze ověřit polynomiální čas (a tak definováno, že patří do třídy NP) lze také vyřešit v polynomiálním čase (a tak definovat, že patří do třídy.) P). Většina počítačových vědců tomu věří P ≠ NP.[8][9] Kromě toho, že po desetiletích studia těchto problémů nebyl nikdo schopen najít algoritmus polynomiálního času pro žádný z více než 3000 důležitých známých NP-kompletní problémy, filozofické důvody, které se týkají jeho důsledků, mohly tuto víru motivovat.

Scott Aaronson, americký počítačový vědec poté na MIT, řekl:

Li P = NP, pak by svět byl úplně jiným místem, než si obvykle myslíme. „Kreativní skoky“ by neměly žádnou zvláštní hodnotu, neexistovala by zásadní mezera mezi řešením problému a rozpoznáním řešení, jakmile bude nalezeno. Každý, kdo by dokázal ocenit symfonii, by byl Mozart; každý, kdo by dokázal postupovat podle argumentů krok za krokem, by byl Gauss.

Viz také

Reference

  1. ^ Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
  2. ^ Turner, Raymond; Angius, Nicola (2020), "Filozofie informatiky", ve Zalta, Edward N. (ed.), Stanfordská encyklopedie filozofie (Jaro 2020 ed.), Metaphysics Research Lab, Stanford University, vyvoláno 2020-05-21
  3. ^ Turner, Raymond (leden 2008). "Filozofie informatiky". Journal of Applied Logic. 6 (4): 459. doi:10.1016 / j.jal.2008.09.006 - prostřednictvím ResearchGate.
  4. ^ Copeland, B. Jack. „Církevní turingova teze“. Stanfordská encyklopedie filozofie.
  5. ^ Hodges, Andrew. „Měl Church a Turing tezi o strojích?“.
  6. ^ Copeland, B. Jack (10. listopadu 2017). „Církevní turingova teze“. v Zalta, Edward N. (vyd.). Stanfordská encyklopedie filozofie.
  7. ^ Dobré místo pro setkání s originálními papíry viz Chalmers, David J., vyd. (2002). Filozofie mysli: Klasická a současná čtení. New York: Oxford University Press. ISBN  978-0-19-514581-6. OCLC  610918145.
  8. ^ William I. Gasarch (Červen 2002). „The P=?NP hlasování" (PDF). Novinky SIGACT. 33 (2): 34–47. CiteSeerX  10.1.1.172.1005. doi:10.1145/564585.564599. S2CID  36828694. Citováno 26. září 2018.
  9. ^ Rosenberger, Jack (květen 2012). "P vs. NP výsledky hlasování ". Komunikace ACM. 55 (5): 10.

Další čtení

externí odkazy