Есть ли книга о философских значениях теоретической информатики?

Я нахожу несколько книг о компьютерах, но все они о технологиях. Я хочу что-то более связанное с теорией.

Попробуйте эссе на 50+ страниц «Почему философы должны заботиться о вычислительной сложности» https://arxiv.org/abs/1108.1791

Квантовые вычисления Поскольку Демокрит от Скотта Ааронсона - самое близкое совпадение, о котором я могу думать. Я не думаю, что есть одна книга, полностью посвященная философским значениям TCS.

Открыв и выполнив быстрый поиск в (классической) книге « Вычислительная сложность» Ароры и Барака ( онлайн-проект здесь ), есть 19 вхождений слова «философский», включая такие подразделы, как

• $\mathrm{P}$

• $\mathrm{NP}$

• обсуждение случайности в главе 16 («Дерандомизация, расширители и экстракторы»).

Вот еще одно сочинение философского характера Скотта Ааронсона. Призрак в квантовой машине Тьюринга

Чтобы дополнить некоторые из приведенных выше ответов, в недавней книге Avi Widgerson « Математика и вычисления» кратко обсуждаются философские взаимодействия между информатикой и философией в разделе 20.5. В более широком смысле, вся книга содержит много материала, представляющего философский интерес, поскольку она фокусируется главным образом на взаимодействии между, казалось бы, различными областями и делает это путем объяснения базовой структуры и значения различных понятий ToC (случайность, знание, взаимодействие, эволюция). , индукция, обучение ... Среди многих других). Хотя это и не книга о философии сама по себе, она заставляет читателя задуматься о новом свете, проливаемом ToC на все эти концепции. И это значительно отличается от стандартных учебников (на самом деле, это не то, чем является эта книга), так как в ней нет никаких доказательств. Я очень рекомендую это.

Джон Сирл в своей книге « Повторное открытие разума » среди прочего ставит вопрос, что такое вычисления. В частности, он утверждает, что «быть вычислительным» не является свойством, присущим любому процессу. Скорее, должен быть какой-то наблюдатель, приписывающий «смысл» процессу.

Эта влиятельная гипотеза создала довольно много литературы, хотя, по-моему, в основном в виде статей, а не книг.

Ави Вигдерсон в « Знании, творчестве и P против NP» утверждает, что философский вопрос: можно ли автоматизировать творчество? эквивалентно P = NP ?.

Я сам мало читал, но книга «Структура и интерпретация компьютерных программ» мне кажется очень открытой.

Джерри Суссман проделал потрясающую работу с этой книгой.

Это стоит прочитать. :-)

Полная книга здесь

Лэнс Фортноу - «золотой билет», он гораздо проще рассматривает последствия того, что происходит в случае P = NP, и другие вопросы.