Філософія інформатики
Філософія інформатики стосується філософських питань, які виникають під час вивчення інформатики. Досі немає загального розуміння змісту, мети, фокусу чи теми філософії інформатики,[1] незважаючи на деякі спроби розробити філософію інформатики так же як філософію фізики або філософію математики. Через абстрактний характер комп’ютерних програм і технологічні амбіції інформатики багато концептуальних питань філософії інформатики також можна порівняти з філософією науки, філософією математики та філософією техніки.[2]
Багато центральних філософських питань інформатики зосереджені на логічних, онтологічних та епістемологічних питаннях, які її хвилюють.[3] Деякі з цих питань можуть включати:
- Що таке обчислення?
- Чи охоплює теза Черча-Тьюринга математичне поняття ефективного методу в логіці та математиці?[4][5]
- Які філософські наслідки проблема P і NP?
- Що таке інформація?
Теза Черча-Тюрінга та її варіації є центральними в теорії алгоритмів. Оскільки, як неформальне поняття, поняття ефективної обчислюваності не має формального визначення, ця теза, хоча і має майже універсальне визнання, не може бути формально доведена. Наслідки цієї тези також викликають філософське занепокоєння. Філософи інтерпретували тезу Черча-Тюрінга як таку, що має значення для філософії свідомості.[6][7]
Проблема P і NP є невирішеною проблемою в інформатиці та математиці. Вона запитує, чи кожна проблема, рішення якої можна перевірити за поліноміальний час (і таким чином визначено її належність до класу NP), також може бути розв'язана за поліноміальний час (і таким чином визначена її належність до класу P). Більшість інформатиків вважають, що P ≠ NP'.[8][9] Крім того, що після десятиліть вивчення цих проблем ніхто не зміг знайти алгоритм поліноміального часу для будь-якої з більш ніж 3000 важливих відомих NP-повних проблем, філософські причини, які стосуються наслідків цього, могли бути мотивом цього переконання.
Наприклад, за словами Скота Ааронсона[en], американського інформатика в MIT:
Якщо P = NP, тоді світ був би зовсім іншим місцем, ніж ми зазвичай вважаємо. Не було б особливої цінності в «творчих стрибках», ніякої фундаментальної прірви між вирішенням проблеми та визнанням рішення, коли воно знайдене. Кожен, хто міг би оцінити симфонію, був би Моцартом; кожен, хто міг би слідувати поетапному аргументу, був би Гауссом.[10]
- ↑ Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- ↑ Turner, Raymond; Angius, Nicola (2020), The Philosophy of Computer Science, у Zalta, Edward N. (ред.), The Stanford Encyclopedia of Philosophy (вид. Spring 2020), Metaphysics Research Lab, Stanford University, процитовано 21 травня 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.
- ↑ Copeland, B. Jack. The Church-Turing Thesis. Stanford Encyclopedia of Philosophy.
- ↑ Hodges, Andrew. Did Church and Turing have a thesis about machines?.
- ↑ Copeland, B. Jack (10 листопада 2017). The Church-Turing Thesis. У Zalta, Edward N. (ред.). Stanford Encyclopedia of Philosophy.
- ↑ For a good place to encounter original papers see Chalmers, David J., ред. (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. doi:10.1145/564585.564599. S2CID 36828694. Процитовано 26 вересня 2018.
- ↑ Rosenberger, Jack (May 2012). P vs. NP poll results. Communications of the ACM. 55 (5): 10.
- ↑ Shtetl-Optimized » Blog Archive » Reasons to believe (амер.). Процитовано 16 вересня 2021.
- Matti Tedre (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- Scott Aaronson[en]. "Why Philosophers Should Care About Computational Complexity". In Computability: Gödel, Turing, Church, and beyond.
- Timothy Colburn. Philosophy and Computer Science. Explorations in Philosophy. M.E. Sharpe, 1999. ISBN 1-56324-991-X.
- A.K. Dewdney[en]. New Turing Omnibus: 66 Excursions in Computer Science
- Luciano Floridi[en] (editor). The Blackwell Guide to the Philosophy of Computing and Information, 2004.
- Luciano Floridi[en] (editor). Philosophy of Computing and Information: 5 Questions. Automatic Press, 2008.
- Luciano Floridi[en]. Philosophy and Computing: An Introduction, Routledge, 1999.
- Christian Jongeneel. The informatical worldview, an inquiry into the methodology of computer science.
- Jan van Leeuwen[en]. "Towards a philosophy of the information and computing sciences", NIAS Newsletter 42, 2009.
- Moschovakis, Y. (2001). What is an algorithm? In Enquist, B. and Schmid, W., editors, Mathematics unlimited — 2001 and beyond, pages 919–936. Springer.
- Alexander Ollongren[en], Jaap van den Herik[en]. Filosofie van de informatica. London and New York: Routledge, 1999. ISBN 0-415-19749-X
- Tedre, Matti (2014), The Science of Computing: Shaping a Discipline, ISBN 9781482217698 Taylor and Francis.
- Ray Turner[en] and Nicola Angius. "The Philosophy of Computer Science". Stanford Encyclopedia of Philosophy.
- Matti Tedre (2011). Computing as a Science: A Survey of Competing Viewpoints. Minds & Machines 21, 3, 361–387.
- Ray Turner[en]. Computational Artefacts-Towards a Philosophy of Computer Science. Springer. [1]
- The International Association for Computing and Philosophy
- Philosophy of Computing and Information at PhilPapers[en]
- Philosophy of Computation at Berkeley
- Rapaport, William J. (27 липня 2020). Philosophy of Computer Science (draft version) (PDF). Архів оригіналу (PDF) за 26 жовтня 2021.
