Філософія інформатики стосується філософських питань, які виникають під час вивчення інформатики. Досі немає загального розуміння змісту, мети, фокусу чи теми філософії інформатики, незважаючи на деякі спроби розробити філософію інформатики так же як філософію фізики або філософію математики. Через абстрактний характер комп’ютерних програм і технологічні амбіції інформатики багато концептуальних питань філософії інформатики також можна порівняти з філософією науки, філософією математики та філософією техніки.
Огляд
Багато центральних філософських питань інформатики зосереджені на логічних, онтологічних та епістемологічних питаннях, які її хвилюють. Деякі з цих питань можуть включати:
- Що таке обчислення?
- Чи охоплює теза Черча-Тьюринга математичне поняття ефективного методу в логіці та математиці?
- Які філософські наслідки проблема P і NP?
- Що таке інформація?
Теза Черча-Тьюринга
Теза Черча-Тюрінга та її варіації є центральними в теорії алгоритмів. Оскільки, як неформальне поняття, поняття ефективної обчислюваності не має формального визначення, ця теза, хоча і має майже універсальне визнання, не може бути формально доведена. Наслідки цієї тези також викликають філософське занепокоєння. Філософи інтерпретували тезу Черча-Тюрінга як таку, що має значення для філософії свідомості.
Проблема P проти NP
Проблема P і NP є невирішеною проблемою в інформатиці та математиці. Вона запитує, чи кожна проблема, рішення якої можна перевірити за поліноміальний час (і таким чином визначено її належність до класу NP), також може бути розв'язана за поліноміальний час (і таким чином визначена її належність до класу P). Більшість інформатиків вважають, що P ≠ NP'. Крім того, що після десятиліть вивчення цих проблем ніхто не зміг знайти алгоритм поліноміального часу для будь-якої з більш ніж 3000 важливих відомих NP-повних проблем, філософські причини, які стосуються наслідків цього, могли бути мотивом цього переконання.
Наприклад, за словами [en], американського інформатика в MIT:
Якщо P = NP, тоді світ був би зовсім іншим місцем, ніж ми зазвичай вважаємо. Не було б особливої цінності в «творчих стрибках», ніякої фундаментальної прірви між вирішенням проблеми та визнанням рішення, коли воно знайдене. Кожен, хто міг би оцінити симфонію, був би Моцартом; кожен, хто міг би слідувати поетапному аргументу, був би Гауссом.
Див. також
Примітки
- 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?.
- (10 листопада 2017). The Church-Turing Thesis. У (ред.). 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 . OCLC 610918145.
- (June 2002). The P=?NP poll (PDF). . 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.
Джерела
- (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- [en]. "Why Philosophers Should Care About Computational Complexity". In Computability: Gödel, Turing, Church, and beyond.
- . Philosophy and Computer Science. Explorations in Philosophy. M.E. Sharpe, 1999. .
- [en]. New Turing Omnibus: 66 Excursions in Computer Science
- [en] (editor). The Blackwell Guide to the Philosophy of Computing and Information, 2004.
- [en] (editor). Philosophy of Computing and Information: 5 Questions. Automatic Press, 2008.
- [en]. Philosophy and Computing: An Introduction, Routledge, 1999.
- . The informatical worldview, an inquiry into the methodology of computer science.
- [en]. , 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.
- [en], [en]. Filosofie van de informatica. London and New York: Routledge, 1999.
- Tedre, Matti (2014), The Science of Computing: Shaping a Discipline, ISBN Taylor and Francis.
- [en] and . "The Philosophy of Computer Science". Stanford Encyclopedia of Philosophy.
- (2011). Computing as a Science: A Survey of Competing Viewpoints. Minds & Machines 21, 3, 361–387.
- [en]. Computational Artefacts-Towards a Philosophy of Computer Science. Springer. [1]
Посилання
- The International Association for Computing and Philosophy
- Philosophy of Computing and Information at [en]
- Philosophy of Computation at Berkeley
- Rapaport, William J. (27 липня 2020). (PDF). Архів оригіналу (PDF) за 26 жовтня 2021.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Filosofiya informatiki stosuyetsya filosofskih pitan yaki vinikayut pid chas vivchennya informatiki Dosi nemaye zagalnogo rozuminnya zmistu meti fokusu chi temi filosofiyi informatiki nezvazhayuchi na deyaki sprobi rozrobiti filosofiyu informatiki tak zhe yak filosofiyu fiziki abo filosofiyu matematiki Cherez abstraktnij harakter komp yuternih program i tehnologichni ambiciyi informatiki bagato konceptualnih pitan filosofiyi informatiki takozh mozhna porivnyati z filosofiyeyu nauki filosofiyeyu matematiki ta filosofiyeyu tehniki OglyadBagato centralnih filosofskih pitan informatiki zoseredzheni na logichnih ontologichnih ta epistemologichnih pitannyah yaki yiyi hvilyuyut Deyaki z cih pitan mozhut vklyuchati Sho take obchislennya Chi ohoplyuye teza Chercha Tyuringa matematichne ponyattya efektivnogo metodu v logici ta matematici Yaki filosofski naslidki problema P i NP Sho take informaciya Teza Chercha TyuringaTeza Chercha Tyuringa ta yiyi variaciyi ye centralnimi v teoriyi algoritmiv Oskilki yak neformalne ponyattya ponyattya efektivnoyi obchislyuvanosti ne maye formalnogo viznachennya cya teza hocha i maye majzhe universalne viznannya ne mozhe buti formalno dovedena Naslidki ciyeyi tezi takozh viklikayut filosofske zanepokoyennya Filosofi interpretuvali tezu Chercha Tyuringa yak taku sho maye znachennya dlya filosofiyi svidomosti Problema P proti NPProblema P i NP ye nevirishenoyu problemoyu v informatici ta matematici Vona zapituye chi kozhna problema rishennya yakoyi mozhna pereviriti za polinomialnij chas i takim chinom viznacheno yiyi nalezhnist do klasu NP takozh mozhe buti rozv yazana za polinomialnij chas i takim chinom viznachena yiyi nalezhnist do klasu P Bilshist informatikiv vvazhayut sho P NP Krim togo sho pislya desyatilit vivchennya cih problem nihto ne zmig znajti algoritm polinomialnogo chasu dlya bud yakoyi z bilsh nizh 3000 vazhlivih vidomih NP povnih problem filosofski prichini yaki stosuyutsya naslidkiv cogo mogli buti motivom cogo perekonannya Napriklad za slovami en amerikanskogo informatika v MIT Yaksho P NP todi svit buv bi zovsim inshim miscem nizh mi zazvichaj vvazhayemo Ne bulo b osoblivoyi cinnosti v tvorchih stribkah niyakoyi fundamentalnoyi prirvi mizh virishennyam problemi ta viznannyam rishennya koli vono znajdene Kozhen hto mig bi ociniti simfoniyu buv bi Mocartom kozhen hto mig bi sliduvati poetapnomu argumentu buv bi Gaussom Div takozhDokazovi obchislennya Filosofiya shtuchnogo intelektu Filosofiya informaciyi en PrimitkiTedre Matti 2014 The Science of Computing Shaping a Discipline Chapman Hall Turner Raymond Angius Nicola 2020 The Philosophy of Computer Science u Zalta Edward N red The Stanford Encyclopedia of Philosophy vid Spring 2020 Metaphysics Research Lab Stanford University procitovano 21 travnya 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 cherez ResearchGate Copeland B Jack The Church Turing Thesis Stanford Encyclopedia of Philosophy Hodges Andrew Did Church and Turing have a thesis about machines 10 listopada 2017 The Church Turing Thesis U red Stanford Encyclopedia of Philosophy For a good place to encounter original papers see Chalmers David J red 2002 Philosophy of Mind Classical and Contemporary Readings New York Oxford University Press ISBN 978 0 19 514581 6 OCLC 610918145 June 2002 The P NP poll PDF 33 2 34 47 CiteSeerX 10 1 1 172 1005 doi 10 1145 564585 564599 S2CID 36828694 Procitovano 26 veresnya 2018 Rosenberger Jack May 2012 P vs NP poll results Communications of the ACM 55 5 10 Shtetl Optimized Blog Archive Reasons to believe amer Procitovano 16 veresnya 2021 Dzherela 2014 The Science of Computing Shaping a Discipline Chapman Hall en Why Philosophers Should Care About Computational Complexity In Computability Godel Turing Church and beyond Philosophy and Computer Science Explorations in Philosophy M E Sharpe 1999 ISBN 1 56324 991 X en New Turing Omnibus 66 Excursions in Computer Science en editor The Blackwell Guide to the Philosophy of Computing and Information 2004 en editor Philosophy of Computing and Information 5 Questions Automatic Press 2008 en Philosophy and Computing An Introduction Routledge 1999 The informatical worldview an inquiry into the methodology of computer science en 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 en 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 en and The Philosophy of Computer Science Stanford Encyclopedia of Philosophy 2011 Computing as a Science A Survey of Competing Viewpoints Minds amp Machines 21 3 361 387 en Computational Artefacts Towards a Philosophy of Computer Science Springer 1 PosilannyaThe International Association for Computing and Philosophy Philosophy of Computing and Information at en Philosophy of Computation at Berkeley Rapaport William J 27 lipnya 2020 PDF Arhiv originalu PDF za 26 zhovtnya 2021