Czy jest jakaś książka na temat filozoficznych implikacji teoretycznej informatyki?

Znajduję książki o komputerach, ale wszystkie dotyczą technologii. Chcę czegoś bardziej związanego z teorią.

Wypróbuj 50-stronicowy esej „Dlaczego filozofowie powinni dbać o złożoność obliczeniową” https://arxiv.org/abs/1108.1791

Obliczenia kwantowe Od czasu Demokryta Scotta Aaronsona to najbliższe dopasowanie, jakie mogę sobie wyobrazić. Nie wydaje mi się, żeby istniała jedna książka poświęcona filozoficznym implikacjom TCS.

Po otwarciu i przeprowadzeniu szybkiego wyszukiwania w (klasycznej) książce złożoności obliczeniowej Arory i Baraka ( szkic online tutaj ) istnieje 19 wystąpień słowa „filozoficzny”, w tym takie podrozdziały jak

• $\mathrm{P}$

• $\mathrm{NP}$

• omówienie losowości w rozdziale 16 („Dandandomizacja, ekspandery i ekstraktory”).

Oto kolejny esej o charakterze filozoficznym autorstwa Scotta Aaronsona. Duch w kwantowej maszynie Turinga

Aby uzupełnić niektóre z powyższych odpowiedzi, najnowsza książka Avi Widgersona Matematyka i obliczenia krótko omawia filozoficzne relacje między informatyką a filozofią w rozdziale 20.5. Mówiąc szerzej, cała książka zawiera wiele materiałów o znaczeniu filozoficznym, ponieważ koncentruje się głównie na wzajemnej zależności między pozornie różnymi polami, a czyni to poprzez wyjaśnienie podstawowej struktury i znaczenia różnych koncepcji ToC (losowość, wiedza, interakcja, ewolucja , indukcja, nauka ... Wśród wielu innych). Choć sama w sobie nie jest książką o filozofii, czytelnik zastanawia się nad nowym światłem rzuconym przez ToC na wszystkie te pojęcia. I znacznie odbiega od standardowych podręczników (w rzeczywistości nie taka jest ta książka), ponieważ nie zawiera dowodów. Gorąco polecam.

John Searle w swojej książce „ The Rediscovery of the Mind ” między innymi podnosi pytanie, czym jest obliczenie. W szczególności stwierdza, że ​​„bycie obliczeniowym” nie jest właściwością właściwą żadnemu procesowi. Musi raczej być jakiś obserwator, który przypisuje „znaczenie” temu procesowi.

Ta wpływowa hipoteza stworzyła całkiem sporo literatury, choć myślę, że głównie w formie artykułów, a nie książek.

Avi Wigderson w Knowledge, Creativity and P vs. NP , argumentuje, że filozoficzne pytanie: czy można zautomatyzować kreatywność? jest równoważne P = NP ?.

Sam nie czytałem zbyt wiele, ale uważam, że książka „Struktura i interpretacja programów komputerowych” bardzo otwiera mi oczy.

Gerry Sussman wykonał niesamowitą pracę z tą książką.

Warto przeczytać. :-)

Pełna książka tutaj

lance fortnow „złoty bilet”, zajmuje się konsekwencjami tego, co dzieje się w przypadku P = NP i innych problemów w bardzo lżejszy sposób.