Философия информатики
Философия информатики занимается философскими вопросами, возникающими при изучении информатики . До сих пор нет общего понимания содержания, целей, направленности и тем философии информатики. [1] несмотря на некоторые попытки разработать философию информатики, подобную философии физики или философии математики . Из-за абстрактного характера компьютерных программ и технологических амбиций информатики многие концептуальные вопросы философии информатики также сопоставимы с философией науки , философией математики и философией техники . [2]
Обзор [ править ]
Многие из центральных философских вопросов информатики сосредоточены на логических, этических, методологических, онтологических и эпистемологических проблемах, которые ее касаются. [3] Некоторые из этих вопросов могут включать в себя:
- Что такое вычисление ?
- Отражает ли тезис Чёрча-Тьюринга математическое понятие эффективного метода в логике и математике? [4] [5]
- Каковы философские последствия проблемы P и NP ?
- Что такое информация ?
- Тьюринга Чёрча Тезис
Тезис Чёрча-Тьюринга и его вариации занимают центральное место в теории вычислений . Поскольку концепция эффективной вычислимости как неформальное понятие не имеет формального определения, этот тезис, хотя и имеет почти универсальное признание, не может быть формально доказан. Последствия этого тезиса также имеют философское значение. Философы интерпретировали тезис Чёрча-Тьюринга как имеющий значение для философии разума . [6] [7]
и Проблема NP P
Проблема P и NP — нерешенная проблема в информатике и математике. Он спрашивает, может ли каждая проблема, решение которой может быть проверено за полиномиальное время (и поэтому определено, что она принадлежит классу NP ), также может быть решена за полиномиальное время (и, таким образом, определено, что она принадлежит классу P ). Большинство ученых-компьютерщиков считают, что P ≠ NP . [8] [9] Помимо того, что после десятилетий изучения этих проблем никто не смог найти алгоритм с полиномиальным временем для любой из более чем 3000 важных известных NP -полных задач, это убеждение могло быть мотивировано философскими причинами, касающимися его последствий.
Например, по словам Скотта Ааронсона , американского ученого-компьютерщика, работавшего тогда в Массачусетском технологическом институте :
Если бы P = NP , то мир был бы совершенно другим местом, чем мы обычно предполагаем. Не было бы особой ценности «творческих скачков», никакого фундаментального разрыва между решением проблемы и признанием решения, как только оно будет найдено. Каждый, кто мог бы оценить симфонию, был бы Моцартом ; каждый, кто мог бы следовать пошаговой аргументации, был бы Гауссом . [10]
См. также [ править ]
- Компьютерное доказательство: философские возражения
- Философия искусственного интеллекта
- Философия информации
- Философия математики
- Философия науки
- Философия технологии
Ссылки [ править ]
- ^ Тедре, Матти (2014). Наука информатики: формирование дисциплины . Чепмен Холл.
- ^ Тернер, Раймонд; Ангиус, Никола (2020), «Философия информатики» , в Залте, Эдвард Н. (ред.), Стэнфордская энциклопедия философии (изд. весны 2020 г.), Лаборатория метафизических исследований, Стэнфордский университет , получено 05.05.2020 г. 21
- ^ Тернер, Раймонд (январь 2008 г.). «Философия информатики» . Журнал прикладной логики . 6 (4): 459. doi : 10.1016/j.jal.2008.09.006 . hdl : 2434/807648 – через ResearchGate.
- ^ Коупленд, Б. Джек. «Тезис Чёрча-Тьюринга» . Стэнфордская энциклопедия философии .
- ^ Ходжес, Эндрю. «Были ли у Черча и Тьюринга диссертация о машинах?» .
- ^ Коупленд, Б. Джек (10 ноября 2017 г.). «Тезис Чёрча-Тьюринга» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- ^ Хорошее место для знакомства с оригинальными статьями см. Чалмерс, Дэвид Дж. , изд. (2002). Философия разума: классические и современные чтения . Нью-Йорк: Издательство Оксфордского университета. ISBN 978-0-19-514581-6 . OCLC 610918145 .
- ^ Уильям И. Гасарч (июнь 2002 г.). « Опрос P =? NP » (PDF) . Новости СИГАКТ . 33 (2): 34–47. CiteSeerX 10.1.1.172.1005 . дои : 10.1145/564585.564599 . S2CID 36828694 . Проверено 26 сентября 2018 г.
- ^ Розенбергер, Джек (май 2012 г.). « P vs. NP Результаты опроса » . Коммуникации АКМ . 55 (5): 10.
- ^ «Shtetl-Optimized» Архив блога » Причины верить» . 4 сентября 2006 г. Проверено 16 сентября 2021 г.
Дальнейшее чтение [ править ]
- Матти Тедре (2014). Наука о вычислительной технике: формирование дисциплины. Чепмен Холл.
- Скотт Ааронсон . « Почему философы должны заботиться о сложности вычислений ». В «Вычислимости: Гёдель, Тьюринг, Чёрч и другие» .
- Тимоти Колберн . Философия и информатика . Исследования в области философии. М.Э. Шарп, 1999. ISBN 1-56324-991-X .
- АК Дьюдни . Новый омнибус Тьюринга: 66 экскурсий в информатику
- Лучано Флориди (редактор). Руководство Блэквелла по философии вычислений и информации , 2004.
- Лучано Флориди (редактор). Философия вычислений и информации: 5 вопросов . Автоматический Пресс, 2008.
- Лучано Флориди . Философия и информатика: введение , Routledge, 1999.
- Кристиан Джонджинил . Информационное мировоззрение, исследование методологии информатики .
- Ян ван Леувен . «К философии информации и компьютерных наук» , Информационный бюллетень НИАС № 42 , 2009 г.
- Мошовакис, Ю. (2001). Что такое алгоритм? В книге Энквист Б. и Шмид В., редакторы, «Математика без ограничений» — 2001 г. и далее, страницы 919–936. Спрингер.
- Александр Оллонгрен , Яап ван ден Херик . Философия информатики . Лондон и Нью-Йорк: Рутледж, 1999. ISBN 0-415-19749-X
- Тедре, Матти (2014), Компьютерная наука: формирование дисциплины , CRC Press, ISBN 9781482217698 Тейлор и Фрэнсис.
- Рэй Тернер и Никола Ангиус . « Философия информатики ». Стэнфордская энциклопедия философии .
- Матти Тедре (2011). Вычисление как наука: обзор конкурирующих точек зрения . Умы и машины 21 , 3, 361–387.
- Рэй Тернер . Вычислительные артефакты: к философии информатики. Спрингер. [1]
Внешние ссылки [ править ]
- Международная ассоциация вычислительной техники и философии
- Философия вычислений и информации в PhilPapers
- Философия вычислений в Беркли
- Рапапорт, Уильям Дж. (27 июля 2020 г.). «Философия информатики (черновая версия)» (PDF) . Архивировано из оригинала (PDF) 26 октября 2021 г.
