Філософія інформатики стосується філософських питань, які виникають під час вивчення інформатики. Досі немає загального розуміння змісту, мети, фокусу чи теми філософії інформатики,[1] незважаючи на деякі спроби розробити філософію інформатики так же як філософію фізики або філософію математики. Через абстрактний характер комп’ютерних програм і технологічні амбіції інформатики багато концептуальних питань філософії інформатики також можна порівняти з філософією науки, філософією математики та філософією техніки.[2]
Огляд
Багато центральних філософських питань інформатики зосереджені на логічних, онтологічних та епістемологічних питаннях, які її хвилюють.[3] Деякі з цих питань можуть включати:
Теза Черча-Тюрінга та її варіації є центральними в теорії алгоритмів. Оскільки, як неформальне поняття, поняття ефективної обчислюваності не має формального визначення, ця теза, хоча і має майже універсальне визнання, не може бути формально доведена. Наслідки цієї тези також викликають філософське занепокоєння. Філософи інтерпретували тезу Черча-Тюрінга як таку, що має значення для філософії свідомості.[6][7]
Проблема P проти NP
Проблема P і NP є невирішеною проблемою в інформатиці та математиці. Вона запитує, чи кожна проблема, рішення якої можна перевірити за поліноміальний час (і таким чином визначено її належність до класу NP), також може бути розв'язана за поліноміальний час (і таким чином визначена її належність до класу P). Більшість інформатиків вважають, що P ≠ NP'.[8][9] Крім того, що після десятиліть вивчення цих проблем ніхто не зміг знайти алгоритм поліноміального часу для будь-якої з більш ніж 3000 важливих відомих NP-повних проблем, філософські причини, які стосуються наслідків цього, могли бути мотивом цього переконання.
Якщо 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
Moschovakis, Y. (2001). What is an algorithm? In Enquist, B. and Schmid, W., editors, Mathematics unlimited — 2001 and beyond, pages 919–936. Springer.
