¿Hay algún libro sobre las implicaciones filosóficas de la informática teórica?

15

Encuentro algunos libros sobre computadoras, pero todos tratan sobre tecnología. Quiero algo más vinculado a la teoría.

reference-request soft-question philosophy

— Rafael Augusto
fuente

99

Me viene a la mente Gödel, Escher, Bach , pero no estoy seguro de si ese es el tipo de cosas que estás buscando.

— Martin Ender

1

¿ Es Five Worlds de Impagliazzo el tipo de cosas que estás buscando?

— EP

27

Pruebe el ensayo de más de 50 páginas "Por qué los filósofos deberían preocuparse por la complejidad computacional" https://arxiv.org/abs/1108.1791

— Ryan Williams
fuente

Aparentemente no está en ese ensayo, pero Aaronson tiende a decir que la informática debería llamarse epistemología cuantitativa , lo que lo acerca a los fundamentos filosóficos.

— EP

15

Computación cuántica Dado que Demócrito de Scott Aaronson es la pareja más cercana que se me ocurre. No creo que haya un solo libro completamente dedicado a las implicaciones filosóficas de TCS.

— Gustav Nordh
fuente

6

Abriendo y haciendo una búsqueda rápida en el libro (clásico) de Complejidad Computacional de Arora y Barak ( borrador en línea aquí ), hay 19 ocurrencias de la palabra "filosófico", incluyendo subsecciones como

$\mathrm{P}$
$\mathrm{NP}$
una discusión sobre aleatoriedad en el Capítulo 16 ("Desrandomización, expansores y extractores").

— Clemente C.
fuente

5

Aquí hay otro ensayo de naturaleza filosófica de Scott Aaronson. El fantasma en la máquina cuántica de Turing

— Abhishek Shetty
fuente

5

Para complementar algunas de las respuestas anteriores, el reciente libro de Avi Widgerson, Matemáticas y Computación, discute brevemente las interacciones filosóficas entre la informática y la filosofía en la sección 20.5. En términos más generales, todo el libro contiene una gran cantidad de material de interés filosófico, ya que se centra principalmente en la interacción entre campos aparentemente diferentes, y lo hace explicando la estructura subyacente y el significado de varios conceptos de ToC (aleatoriedad, conocimiento, interacción, evolución , inducción, aprendizaje ... Entre muchos otros). Si bien no es un libro sobre filosofía en sí mismo, hace que el lector se pregunte sobre la nueva luz arrojada por ToC sobre todos estos conceptos. Y se aparta significativamente de los libros escolares estándar (de hecho, eso no es lo que es este libro), ya que no contiene pruebas. Lo recomiendo altamente.

— Geoffroy Couteau
fuente

3

John Searle en su libro " El redescubrimiento de la mente ", entre otras cosas, plantea la pregunta de qué es un cálculo. En particular, afirma que "ser computacional" no es una propiedad inherente a ningún proceso. Más bien, debe haber algún observador que atribuya el "significado" al proceso.

Esta hipótesis influyente ha creado bastante literatura, aunque principalmente en forma de artículos, no libros, creo.

— Peter Leupold
fuente

2

Avi Wigderson, en Conocimiento, Creatividad y P versus NP , argumenta que la pregunta filosófica: ¿Se puede automatizar la creatividad? es equivalente a P = NP ?.

— Mohammad Al-Turkistany
fuente

1

No he leído mucho, pero el libro "Estructura e interpretación de programas de computadora" me parece muy revelador.

Gerry Sussman ha hecho un trabajo increíble con ese libro.

Vale la pena leerlo. :-)

Libro completo aquí

— sohom154
fuente

1

Lanza fortnow "el boleto de oro", se ocupa de las consecuencias de lo que sucede en caso de P = NP y otras cuestiones de una manera más ligera.

— riemann77
fuente