Чи є книга про філософські наслідки теоретичної інформатики?

Я знаходжу кілька книжок про комп’ютери, але всі вони стосуються технології. Я хочу щось більше пов'язане з теорією.

Спробуйте есе на 50+ сторінках "Чому філософи повинні піклуватися про складність обчислень" https://arxiv.org/abs/1108.1791

Квантові обчислення Оскільки Демокріт Скотт Аронсон є найбільш близьким, що я можу придумати. Я не думаю, що існує жодна книга, повністю присвячена філософським наслідкам TCS.

Відкриття та швидкий пошук у (класичній) книзі складності обчислювальної техніки Арора та Барак ( онлайн-проект тут ), є 19 зустрічей слова "філософський", включаючи такі підрозділи, як

• $\mathrm{P}$ "

• $\mathrm{NP}$ "

• обговорення випадковості у главі 16 ("Дерандомізація, розширювачі та витяжки").

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

Щоб доповнити деякі з вищезазначених відповідей, в останній книзі « Математика та обчислення» Аві Відгерсона коротко обговорюються філософські інтерплеї між інформатикою та філософією у розділі 20.5. В цілому, вся книга містить багато матеріалу філософського інтересу, оскільки вона зосереджується в основному на взаємодії між, здавалося б, різними сферами, і робить це, пояснюючи основу структури та значення різних понять ТЗ (випадковість, знання, взаємодія, еволюція , індукція, навчання ... Серед багатьох інших). Хоча це не книга про філософію сама по собі, вона змушує читача замислитися над новим світлом, пролитим ToC на всі ці поняття. І це суттєво відходить від стандартних шкільних підручників (справді, це не те, що ця книга), оскільки не містить доказів. Дуже рекомендую.

Джон Сірл у своїй книзі " Відкриття розуму " серед іншого ставить питання про те, що таке обчислення. Зокрема, він заявляє, що "обчислювальна робота" не є властивістю, притаманною жодному процесу. Швидше за все, повинен бути якийсь спостерігач, який присвоює "значення" процесу.

Ця впливова гіпотеза створила досить деяку літературу, хоча, переважно, у формі статей, а не книг, я думаю.

Аві Вігдерсон у «Знаннях, творчості та П проти НП» стверджує, що філософське питання: Чи можна автоматизувати творчість? еквівалентно P = NP ?.

Я не дуже багато читав, але мені здається, що книга "Структура та інтерпретація комп'ютерних програм" дуже відкрита.

Геррі Суссман зробив дивовижну роботу з цією книгою.

Варто прочитати. :-)

Повна книга тут

"золотий квиток", він розглядає наслідки того, що трапиться у випадку P = NP, та інші питання дуже легше.