Czy istnieje książka na temat filozoficznych implikacji teoretycznej informatyki?

Raphael Augusto 12/08/2017. 9 answers, 2.032 views
reference-request soft-question philosophy

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

2 Comments
8 Martin Ender 12/09/2017
Przypominają się Gödel, Escher, Bach , ale nie jestem pewien, czy tego rodzaju rzeczy szukasz.
1 E.P. 12/10/2017
Czy Five Worlds Impagliazzo to coś, czego szukasz?

9 Answers


Ryan Williams 12/09/2017.

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

1 comments
E.P. 12/10/2017
Najwyraźniej nie w tym eseju, ale Aaronson ma tendencję do twierdzenia, że informatyka powinna być nazywana epistemologią ilościową , co przybliża ją do podstaw filozoficznych.

Gustav Nordh 12/08/2017.

Quantum Computing Democritus Scotta Aaronsona jest najbliżej pasującym do mnie. Nie wydaje mi się, żeby była jedna książka poświęcona filozoficznym implikacjom TCS.


Clement C. 12/09/2017.

Otwierając i wykonując szybkie wyszukiwanie w (klasycznej) książce Computational Complexity Arora i Barak ( online draft tutaj ), jest 19 wystąpień słowa "filozoficzny", w tym takie podsekcje jak

  • "O filozoficznym znaczeniu $ \ mathrm {P} $"

  • "Filozoficzne znaczenie $ \ mathrm {NP} $"

  • omówienie losowości w rozdziale 16 ("Derandomizacja, ekspandery i ekstraktory").


Abhishek Shetty 12/10/2017.

Oto kolejny esej o filozoficznej naturze Scotta Aaronsona. Duch w Kwantowej Maszynie Turinga


Peter Leupold 12/12/2017.

John Searle w swojej książce " The Rediscovery of the Mind " porusza między innymi pytanie, czym jest obliczenie. W szczególności stwierdza on, że "bycie obliczeniowym" nie jest właściwością nieodłączną dla żadnego procesu. Przeciwnie, musi być jakiś obserwator, który przypisuje "znaczenie" temu procesowi.

Ta wpływowa hipoteza stworzyła sporo literatury, choć myślę, że to głównie artykuły, a nie książki.


Avi Wigderson, w Wiedzy, Twórczości i P kontra NP , argumentuje, że filozoficzne pytanie: Czy kreatywność może być zautomatyzowana? jest równoważne P = NP ?.


Geoffroy Couteau 12/12/2017.

Aby uzupełnić niektóre z powyższych odpowiedzi, ostatnia książka Avi Widgerson " Matematyka i obliczenia" krótko omawia filozoficzne zależności między informatyką a filozofią w sekcji 20.5. Szerzej, cała książka zawiera wiele materiałów o znaczeniu filozoficznym, ponieważ koncentruje się głównie na wzajemnym oddziaływaniu między pozornie różnymi dziedzinami, a czyni to wyjaśniając podstawową strukturę i znaczenie różnych koncepcji ToC (przypadkowość, wiedza, interakcja, ewolucja , indukcja, nauka ... Wśród wielu innych). Chociaż nie jest to książka o filozofii sama w sobie, sprawia, że ​​czytelnik zastanawia się nad nowym światłem rzucającym ToC na wszystkie te pojęcia. I to znacznie odbiega od standardowych podręczników (w rzeczy samej, to nie jest ta książka), ponieważ nie zawiera żadnych dowodów. Gorąco polecam.


sohom154 12/10/2017.

Nie sam dużo czytałem, ale uważam, że książka "Struktura i interpretacja programów komputerowych" bardzo otwiera 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 spraw w bardzo lżejszy sposób.

Related questions

Hot questions

Language

Popular Tags