Философия информатики - Philosophy of computer science

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

Обзор

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

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

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

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

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

Скотт Ааронсон, американский ученый-компьютерщик Массачусетский технологический институт, сказал:

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

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

Рекомендации

  1. ^ Тедре, Матти (2014). Компьютерная наука: формирование дисциплины. Чепмен Холл.
  2. ^ Тернер, Раймонд; Ангиус, Никола (2020), «Философия информатики», в Залте, Эдвард Н. (ред.), Стэнфордская энциклопедия философии (Издание весна 2020 г.), Исследовательская лаборатория метафизики, Стэнфордский университет, получено 2020-05-21
  3. ^ Тернер, Раймонд (январь 2008 г.). «Философия информатики». Журнал прикладной логики. 6 (4): 459. Дои:10.1016 / j.jal.2008.09.006 - через ResearchGate.
  4. ^ Коупленд, Б. Джек. "Тезис Черча-Тьюринга". Стэнфордская энциклопедия философии.
  5. ^ Ходжес, Эндрю. "У Черча и Тьюринга была диссертация о машинах?".
  6. ^ Коупленд, Б. Джек (10 ноября 2017 г.). "Тезис Черча-Тьюринга". В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
  7. ^ Чтобы найти хорошее место, где можно найти оригинальные документы, см. Чалмерс, Дэвид Дж., изд. (2002). Философия разума: классические и современные чтения. Нью-Йорк: Издательство Оксфордского университета. ISBN  978-0-19-514581-6. OCLC  610918145.
  8. ^ Уильям И. Гасарх (Июнь 2002 г.). "The п=?НП опрос" (PDF). Новости SIGACT. 33 (2): 34–47. CiteSeerX  10.1.1.172.1005. Дои:10.1145/564585.564599. S2CID  36828694. Получено 26 сентября 2018.
  9. ^ Розенбергер, Джек (май 2012 г.). "п против. НП результаты опроса ". Коммуникации ACM. 55 (5): 10.

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

внешняя ссылка