stringtranslate.com

Философия информатики

Философия компьютерной науки занимается философскими вопросами, которые возникают в рамках изучения компьютерной науки . До сих пор нет единого понимания содержания, целей, фокуса или тем философии компьютерной науки, [1] несмотря на некоторые попытки разработать философию компьютерной науки, как философию физики или философию математики . Из-за абстрактной природы компьютерных программ и технологических амбиций компьютерной науки многие концептуальные вопросы философии компьютерной науки также сопоставимы с философией науки , философией математики и философией технологии . [2]

Обзор

Многие из центральных философских вопросов компьютерной науки сосредоточены на логических, этических, методологических, онтологических и эпистемологических проблемах, которые ее касаются. [3] Некоторые из этих вопросов могут включать:

Тезис Чёрча-Тьюринга

Тезис Чёрча-Тьюринга и его вариации являются центральными для теории вычислений . Поскольку, как неформальное понятие, концепция эффективной вычислимости не имеет формального определения, этот тезис, хотя и имеет почти всеобщее признание, не может быть формально доказан. Последствия этого тезиса также представляют философский интерес. Философы интерпретировали тезис Чёрча-Тьюринга как имеющий последствия для философии разума . [6] [7]

Проблема P против NP

Проблема P против NP является нерешенной проблемой в информатике и математике. Она спрашивает, может ли каждая задача, решение которой может быть проверено за полиномиальное время (и, таким образом, определено как принадлежащая классу NP ), также быть решена за полиномиальное время (и, таким образом, определено как принадлежащая классу P ). Большинство специалистов по информатике считают, что P ≠ NP . [8] [9] Помимо причины, по которой после десятилетий изучения этих задач никто не смог найти алгоритм полиномиального времени для любой из более чем 3000 важных известных NP -полных задач, философские причины, касающиеся его последствий, могли мотивировать это убеждение.

Например, по словам Скотта Ааронсона , американского ученого-компьютерщика, работавшего в то время в Массачусетском технологическом институте :

Если P = NP , то мир был бы совершенно иным местом, чем мы обычно предполагаем. Не было бы никакой особой ценности в «творческих скачках», никакого фундаментального разрыва между решением проблемы и признанием решения, когда оно найдено. Каждый, кто мог бы оценить симфонию, был бы Моцартом ; каждый, кто мог бы следовать пошаговому аргументу, был бы Гауссом . [10]

Смотрите также

Ссылки

  1. ^ Тедре, Матти (2014). Наука вычислений: формирование дисциплины . Chapman Hall.
  2. ^ Тернер, Рэймонд; Энджиус, Никола (2020), «Философия компьютерной науки», в Zalta, Edward N. (ред.), The Stanford Encyclopedia of Philosophy (весна 2020 г.), Metaphysics Research Lab, Stanford University , получено 21 мая 2020 г.
  3. ^ Тернер, Рэймонд (январь 2008 г.). «Философия компьютерной науки». Журнал прикладной логики . 6 (4): 459. doi :10.1016/j.jal.2008.09.006. hdl : 2434/807648 – через ResearchGate.
  4. ^ Коупленд, Б. Джек. «Тезис Чёрча-Тьюринга». Стэнфордская энциклопедия философии .
  5. ^ Ходжес, Эндрю. «Была ли у Чёрча и Тьюринга диссертация о машинах?».
  6. ^ Коупленд, Б. Джек (10 ноября 2017 г.). «Тезис Чёрча-Тьюринга». В Zalta, Edward N. (ред.). Стэнфордская энциклопедия философии .
  7. ^ Для хорошего места, чтобы познакомиться с оригинальными статьями, см. 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.
  8. ^ Уильям И. Гасарч (июнь 2002 г.). «Опрос P=?NP» (PDF) . SIGACT News . 33 (2): 34–47. CiteSeerX 10.1.1.172.1005 . doi :10.1145/564585.564599. S2CID  36828694 . Получено 26 сентября 2018 г. . 
  9. ^ Розенбергер, Джек (май 2012). "Результаты опроса P против NP". Сообщения ACM . 55 (5): 10.
  10. ^ "Shtetl-Optimized » Архив блога » Причины верить". 4 сентября 2006 г. Получено 16 сентября 2021 г.

Дальнейшее чтение

Внешние ссылки