Texto 2:

Filosofía de la informática

1-Epistemología de la informática
A pesar de la palabra "ciencia" en su nombre, existe un debate sobre si la informática es o no
una disciplina de la ciencia,[45] las matemáticas[46] o la ingeniería.[47] Allen Newell y Herbert A.
Simon argumentaron en 1975,
La informática es una disciplina empírica. Lo habríamos llamado una ciencia experimental, pero
al igual que la astronomía, la economía y la geología, algunas de sus formas únicas de
observación y experiencia no encajan en un estereotipo estrecho del método experimental. No
obstante, son experimentos. Cada nueva máquina que se construye es un experimento. En
realidad, construir la máquina plantea una pregunta a la naturaleza; y escuchamos la respuesta
observando la máquina en funcionamiento y analizándola por todos los medios analíticos y de
medición disponibles.[47]
Desde entonces se ha argumentado que la ciencia de la computación puede clasificarse como
una ciencia empírica, ya que hace uso de pruebas empíricas para evaluar la corrección de los
programas, pero sigue existiendo un problema al definir las leyes y los teoremas de la ciencia de
la computación (si existen) y definir el naturaleza de los experimentos en informática.[47]

2-Los defensores de clasificar las ciencias de la computación como una disciplina de la ingeniería
argumentan que la confiabilidad de los sistemas computacionales se investiga de la misma
manera que los puentes en la ingeniería civil y los aviones en la ingeniería aeroespacial.[47]
También argumentan que mientras las ciencias empíricas observan lo que existe actualmente, las
ciencias de la computación observan lo que es posible que exista y mientras los científicos
descubren leyes a partir de la observación, no se han encontrado leyes adecuadas en las ciencias
de la computación y, en cambio, se preocupan por crear fenómenos.[47]

Los defensores de clasificar las ciencias de la computación como una disciplina matemática
argumentan que los programas de computadora son realizaciones físicas de entidades
matemáticas y que los programas se pueden razonar deductivamente a través de métodos
matemáticos formales.[47] Los informáticos Edsger W. Dijkstra y Tony Hoare consideran las
instrucciones de los programas informáticos como oraciones matemáticas e interpretan la
semántica formal de los lenguajes de programación como sistemas axiomáticos matemáticos.[47]

3-Paradigmas de la informática
Varios científicos informáticos han defendido la distinción de tres paradigmas separados en
informática. Peter Wegner argumentó que esos paradigmas son la ciencia, la tecnología y las
matemáticas.[48] El grupo de trabajo de Peter Denning argumentó que son teoría, abstracción
(modelado) y diseño.[49] Amnon H. Eden los describió como el "paradigma racionalista" (que
trata la informática como una rama de las matemáticas, que prevalece en la informática teórica y
emplea principalmente el razonamiento deductivo), el "paradigma tecnocrático" (que se puede
encontrar en la ingeniería enfoques, más prominentemente en la ingeniería de software), y el
"paradigma científico" (que aborda los artefactos relacionados con la computadora desde la
perspectiva empírica de las ciencias naturales,[50] identificable en algunas ramas de la
inteligencia artificial).[51] Las ciencias de la computación se enfocan en los métodos
involucrados en el diseño, la especificación, la programación, la verificación, la implementación y
las pruebas de los sistemas informáticos creados por el hombre.[52]