Gibt es ein Buch über die philosophischen Implikationen der theoretischen Informatik?

15

Ich finde einige Bücher über Computer, aber alle handeln von Technologie. Ich möchte etwas mehr mit der Theorie zu tun haben.

reference-request soft-question philosophy

— Raphael Augusto
quelle

9

Gödel, Escher, Bach kommen mir in den Sinn, aber ich bin mir nicht sicher, ob Sie so etwas suchen.

— Martin Ender

1

Ist Impagliazzo der fünf Welten die Art von Dingen die Sie suchen?

— EP

27

Versuchen Sie den über 50-seitigen Aufsatz "Warum sich Philosophen um die Komplexität von Computern kümmern sollten" https://arxiv.org/abs/1108.1791

— Ryan Williams
quelle

Es ist anscheinend nicht auf diesem Aufsatz, aber Aaronson neigt dazu zu witzeln, dass die Informatik als quantitative Erkenntnistheorie bezeichnet werden sollte , was sie näher an philosophische Gründe bringt.

— EP

15

Quantum Computing Da Democritus von Scott Aaronson die beste Übereinstimmung ist, die ich mir vorstellen kann. Ich glaube nicht, dass es ein einziges Buch gibt, das sich ganz den philosophischen Implikationen von TCS widmet.

— Gustav Nordh
quelle

6

Beim Öffnen und Durchführen einer kurzen Suche im (klassischen) Computational Complexity- Buch von Arora und Barak ( Online-Entwurf hier ) gibt es 19 Vorkommen des Wortes "philosophisch", einschließlich solcher Unterabschnitte wie

$\mathrm{P}$
$\mathrm{NP}$
eine Diskussion der Zufälligkeit in Kapitel 16 ("Derandomisierung, Expander und Extraktoren").

— Clement C.
quelle

5

Hier ist ein weiterer philosophischer Aufsatz von Scott Aaronson. Der Geist in der Quantenturingmaschine

— Abhishek Shetty
quelle

5

Um einige der obigen Antworten zu ergänzen, werden in Avi Widgersons jüngstem Buch Mathematics and Computation in Abschnitt 20.5 kurz die philosophischen Wechselwirkungen zwischen Informatik und Philosophie erörtert. Im weiteren Sinne enthält das gesamte Buch viel Material von philosophischem Interesse, da es sich hauptsächlich auf das Zusammenspiel scheinbar unterschiedlicher Bereiche konzentriert und die zugrunde liegende Struktur und Bedeutung verschiedener Konzepte von ToC (Zufälligkeit, Wissen, Interaktion, Evolution) erklärt , Induktion, Lernen ... ua). Es ist zwar kein Buch über Philosophie an sich, aber der Leser wundert sich über das neue Licht, das ToC auf all diese Konzepte wirft. Und es weicht erheblich von Standardschulbüchern ab (das ist in der Tat nicht das, was dieses Buch ist), da es keine Beweise enthält. Ich empfehle es sehr.

— Geoffroy Couteau
quelle

3

John Searle in seinem Buch " Die Wiederentdeckung des Geistes wirft " unter anderem die Frage auf, was eine Berechnung ist. Insbesondere stellt er fest, dass "rechnerisch sein" keine Eigenschaft ist, die einem Prozess inhärent ist. Vielmehr muss es einen Beobachter geben, der dem Prozess die "Bedeutung" zuschreibt.

Diese einflussreiche Hypothese hat ziemlich viel Literatur hervorgebracht, allerdings hauptsächlich in Form von Artikeln und nicht in Form von Büchern, denke ich.

— Peter Leupold
quelle

2

Avi Wigderson argumentiert in Knowledge, Creativity und P versus NP , dass die philosophische Frage: Kann Kreativität automatisiert werden? ist äquivalent zu P = NP ?.

— Mohammad Al-Turkistany
quelle

1

Ich habe selbst nicht viel gelesen, aber ich finde das Buch "Struktur und Interpretation von Computerprogrammen" sehr aufschlussreich.

Gerry Sussman hat mit diesem Buch eine erstaunliche Arbeit geleistet.

Es ist eine Lektüre wert. :-)

Vollständiges Buch hier

— sohom154
quelle

1

Lance Fortnow "das goldene Ticket", behandelt es die Konsequenzen dessen, was passiert, wenn P = NP und andere Probleme auf eine sehr leichtere Weise.

— riemann77
quelle