Filosofía de la informática - Philosophy of computer science
La filosofía de la informática se ocupa de las cuestiones filosóficas que surgen dentro del estudio de la informática . Todavía no existe una comprensión común del contenido, objetivo, enfoque o tema de la filosofía de la informática, 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 .
Visión general
Muchas de las cuestiones filosóficas centrales de la informática se centran en las cuestiones lógicas, ontológicas y epistemológicas que le conciernen. Algunas de estas preguntas pueden incluir:
- ¿Qué es la computación?
- ¿ Capta la tesis de Church-Turing la noción matemática de un método eficaz en lógica y matemáticas?
- ¿Cuáles son las consecuencias filosóficas del problema P vs NP ?
- ¿Qué es información?
Tesis de Church-Turing
La tesis de Church-Turing y sus variaciones 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 ser probada 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 .
Problema de P versus NP
El problema P versus NP es un problema sin resolver en ciencias de la computación y matemáticas. Pregunta si todo problema cuya solución puede verificarse en tiempo polinomial (y así definido como perteneciente a la clase NP ) también puede resolverse en tiempo polinomial (y así definido como perteneciente a la clase P ). La mayoría de los informáticos creen que P ≠ NP .Aparte de la razón por la cual después de décadas de estudiar estos problemas nadie ha sido capaz de encontrar un algoritmo de tiempo polinomial para ninguno de los más de 3000 importantes problemas NP completos conocidos , las razones filosóficas que se refieren a sus implicaciones pueden haber motivado esta creencia.
Por ejemplo, según Scott Aaronson , el científico informático estadounidense en ese entonces en el MIT :
Si P = NP , entonces el mundo sería un lugar profundamente diferente de lo que solemos asumir. No habría ningún valor especial en los "saltos creativos", ninguna brecha fundamental entre resolver un problema y reconocer la solución una vez que se encuentra. Todo el que pudiera apreciar una sinfonía sería Mozart ; todo el que pudiera seguir un argumento paso a paso sería Gauss .
Ver también
- Prueba asistida por computadora: objeciones filosóficas
- Filosofía de la inteligencia artificial
- Filosofía de la información
- Filosofía de las matemáticas
- Filosofía de la Ciencia
- Filosofía de la tecnología
Referencias
Otras lecturas
- Matti Tedre (2014). La ciencia de la informática: dar forma a una disciplina. Chapman Hall.
- Scott Aaronson . " Por qué los filósofos deberían preocuparse por la complejidad computacional ". En Computabilidad: Gödel, Turing, Church y más .
- Timothy Colburn . Filosofía y Ciencias de la Computación . Exploraciones en Filosofía. ME Sharpe, 1999. ISBN 1-56324-991-X .
- AK Dewdney . Nuevo Turing Omnibus: 66 excursiones en informática
- Luciano Floridi (editor). The Blackwell Guide to the Philosophy of Computing and Information , 2004.
- Luciano Floridi (editor). Filosofía de la Computación y la Información: 5 preguntas . Prensa automática, 2008.
- Luciano Floridi . Filosofía y Computación: Introducción , Routledge, 1999.
- Christian Jongeneel . La cosmovisión informática, una indagación sobre la metodología de la informática .
- Jan van Leeuwen . "Hacia una filosofía de las ciencias de la información y la computación" , NIAS Newsletter 42 , 2009.
- Moschovakis, Y. (2001). ¿Qué es un algoritmo? En Enquist, B. y Schmid, W., editores, Mathematics unlimited - 2001 y más allá, páginas 919–936. Saltador.
- Alexander Ollongren , Jaap van den Herik . Filosofie van de informatica . Londres y Nueva York: Routledge, 1999. ISBN 0-415-19749-X
- Tedre, Matti (2014), La ciencia de la informática: dar forma a una disciplina , ISBN 9781482217698 Taylor y Francis.
- Ray Turner y Nicola Angius . " La filosofía de la informática ". Enciclopedia de Filosofía de Stanford .
- Matti Tedre (2011). Computación como ciencia: una encuesta de puntos de vista en competencia . Minds & Machines 21 , 3, 361–387.
- Ray Turner . Artefactos computacionales: hacia una filosofía de la informática. Saltador. [1]