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

15

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

reference-request soft-question philosophy

— Рафаэль Аугусто
источник

9

Гедель, Эшер, Бах приходит на ум, но я не уверен, что это то, что вы ищете.

— Мартин Эндер

1

Есть пять миров Импальяццо в вид вещи , которую вы ищете?

— EP

27

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

— Райан Уильямс
источник

Похоже, что не в этом эссе, но Ааронсон имеет тенденцию насмехаться над тем, что информатику следует называть количественной эпистемологией , что приближает ее к философским соображениям.

— EP

15

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

— Густав Норд
источник

6

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

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

— Климент С.
источник

5

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

— Абхишек Шетти
источник

5

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

— Жоффруа Коуто
источник

3

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

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

— Питер Лейпольд
источник

2

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

— Мухаммед Аль-Туркистани
источник

1

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

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

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

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

— sohom154
источник

1

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

— riemann77
источник