stringtranslate.com

Filosofía de la informática

La filosofía de la informática se ocupa de las cuestiones filosóficas que surgen en el estudio de la informática . Aún no existe un entendimiento común del contenido, los objetivos, el enfoque o los temas de la filosofía de la informática, [1] a pesar de algunos intentos de desarrollar una filosofía de la informática como la filosofía de la física o la filosofía de las matemáticas . Debido a la naturaleza abstracta de los programas informáticos y las ambiciones tecnológicas de la informática, muchas de las cuestiones conceptuales de la filosofía de la informática también son comparables a la filosofía de la ciencia , la filosofía de las matemáticas y la filosofía de la tecnología . [2]

Descripción general

Muchas de las cuestiones filosóficas centrales de la informática se centran en las cuestiones lógicas, éticas, metodológicas, ontológicas y epistemológicas que la conciernen. [3] Algunas de estas cuestiones pueden incluir:

Tesis de Church-Turing

La tesis de Church-Turing y sus variantes son fundamentales para la teoría de la computación . Dado que, como noción informal, el concepto de calculabilidad efectiva no tiene una definición formal, la tesis, aunque tiene una aceptación casi universal, no puede probarse formalmente. Las implicaciones de esta tesis también son de interés filosófico. Los filósofos han interpretado que la tesis de Church-Turing tiene implicaciones para la filosofía de la mente . [6] [7]

Problema P versus NP

El problema P versus NP es un problema sin resolver en informática y matemáticas. Pregunta si todo problema cuya solución puede verificarse en tiempo polinomial (y por lo tanto definido como perteneciente a la clase NP ) también puede resolverse en tiempo polinomial (y por lo tanto definido como perteneciente a la clase P ). La mayoría de los científicos informáticos creen que P ≠ NP . [8] [9] Aparte de la razón de que después de décadas de estudiar estos problemas nadie ha podido encontrar un algoritmo de tiempo polinomial para ninguno de los más de 3000 importantes problemas NP -completos conocidos, razones filosóficas que conciernen a sus implicaciones pueden haber motivado esta creencia.

Por ejemplo, según Scott Aaronson , el informático estadounidense que trabajaba entonces en el MIT :

Si P = NP , entonces el mundo sería un lugar profundamente diferente de lo que habitualmente suponemos que es. No habría ningún valor especial en los “saltos creativos”, no habría ninguna brecha fundamental entre resolver un problema y reconocer la solución una vez encontrada. Todo aquel que pudiera apreciar una sinfonía sería Mozart ; todo aquel que pudiera seguir un razonamiento paso a paso sería Gauss . [10]

Véase también

Referencias

  1. ^ Tedre, Matti (2014). La ciencia de la computación: dando forma a una disciplina . Chapman Hall.
  2. ^ Turner, Raymond; Angius, Nicola (2020), "La filosofía de la informática", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de primavera de 2020), Metaphysics Research Lab, Stanford University , consultado el 21 de mayo de 2020
  3. ^ Turner, Raymond (enero de 2008). "La filosofía de la informática". Journal of Applied Logic . 6 (4): 459. doi :10.1016/j.jal.2008.09.006. hdl : 2434/807648 – vía ResearchGate.
  4. ^ Copeland, B. Jack. "La tesis de Church-Turing". Stanford Encyclopedia of Philosophy .
  5. ^ Hodges, Andrew. "¿Tenían Church y Turing una tesis sobre las máquinas?".
  6. ^ Copeland, B. Jack (10 de noviembre de 2017). "La tesis de Church-Turing". En Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
  7. ^ Para encontrar un buen lugar donde encontrar artículos originales, véase Chalmers, David J. , ed. (2002). Philosophy of Mind: Classical and Contemporary Readings . Nueva York: Oxford University Press. ISBN 978-0-19-514581-6.OCLC 610918145  .
  8. ^ William I. Gasarch (junio de 2002). "The P=?NP poll" (PDF) . SIGACT News . 33 (2): 34–47. CiteSeerX 10.1.1.172.1005 . doi :10.1145/564585.564599. S2CID  36828694. Consultado el 26 de septiembre de 2018 . 
  9. ^ Rosenberger, Jack (mayo de 2012). "Resultados de la encuesta P vs. NP". Comunicaciones de la ACM . 55 (5): 10.
  10. ^ "Shtetl-Optimized » Blog Archive » Razones para creer". 4 de septiembre de 2006. Consultado el 16 de septiembre de 2021 .

Lectura adicional

Enlaces externos