considera la disciplina como una rama de las matemáticas, cuyos principios han sido comunes entre los científicos que investigan diversas ramas de la informática teórica, como la computabilidad y la semántica de los lenguajes de programación

Define la disciplina como una rama de la ingeniería, cuyos proponentes dominan las diversas ramas de la ingeniería de software, incluido el diseño, la arquitectura, el mantenimiento, la evolución y las pruebas.

La informática es una rama de las ciencias naturales (empíricas), a la par con la "astronomía, la economía y la geología"

Debe rechazarse la existencia de esas
supuestas entidades abstractas (intangibles, no físicas).

La deducción formal es ineficaz al establecer la corrección de todos los programas informáticos, excepto los más triviales.

Conjuntos de pruebas cuyo propósito es establecer estadísticamente la fiabilidad de productos específicos del proceso de fabricación de software

La complejidad de los compiladores, los sistemas operativos, los microprocesadores y la entrada se ve agravada hoy por las tecnologías de ingeniería de software basadas en componentes

Solo los métodos probabilísticos, como los empleados por la mecánica estadística y la termodinámica, pueden establecer de manera efectiva cualquier conocimiento sobre tales hazañas de ingeniería gigantescas

los informáticos deben aprender de las ramas establecidas de la ingeniería que existen nociones más realistas de corrección, es decir, nociones probabilísticas de fiabilidad

Nada existe fuera de los particulares concretos, incluidas las entidades que son "lo que está definido de forma completa y precisa por el guión del programa" (ONT-RAT). Por tanto, la existencia de un programa es innecesaria.

NT-TEC 'Aquello que está representado completa y precisamente por un guión spag'es una supuesta entidad abstracta (intangible, no física) cuya existencia no es apoyado por evidencia sensorial directa, por lo tanto debe rechazarse.

Los programas y las computadoras no pueden ser objeto de experimentos científicos

Ciertos procesos de programa modifican el conjunto mismo de sus instrucciones (el programa-guión) durante el proceso de cálculo.

Como respuesta, Newell y Simon sostienen que si la ontología científica (ONT-SCI) es aceptada no hay ninguna dificultad particular en emplear métodos científicos para investigarlos,

La noción científica de experimento debe distinguirse claramente de la noción tecnocrática de un prueba de fiabilidad

, los experimentos con programas van más allá de establecer la usabilidad de un
artefacto manufacturado en particular

los métodos del paradigma científico no se limitan a la validación empírica,
como exige el paradigma tecnocrático

La posición científica con respecto a la cuestión metodológica (MET) se puede distinguir, por tanto, de las posiciones racionalista (MET-RAT) y tecnocrática (MET-TEC)

Von Neumann observó que el resultado de los programas que calculan funciones matemáticas no lineales no se puede determinar analíticamente

El comportamiento de algunos programas es inevitablemente una fuente de sorpresa, y el conocimiento a priori sobre ellos es severamente limitado

Temporal: La existencia de programas-procesos se extiende en el tiempo en el intervalo entre ser creados y destruidos.

No físico: Los procesos de programa son entidades intangibles no físicas

Causal: los procesos del programa pueden interactuar con dispositivos físicos y moverlo

Depende de una manifestación física: la existencia de procesos de programa depende de la existencia de esa computadora física que se dice que la "ejecuta"

No lineal: el resultado de un programa-proceso, en el caso general, no se puede determinar analíticamente.

Thomas Kuhn (1992) define paradigmas científicos como ejemplos aceptados de la práctica científica real ... [que] proporcionan modelos de los que surgen tradiciones coherentes particulares de investigación científica.

Peter Wegner (1976) tres definiciones de la informática: como rama de las matemáticas, como disciplina de ingeniería y como ciencia natural.

Timothy Colburn (2000) emana de interpretaciones complementarias (o "puntos de vista") de la actividad de escribir programas de computadora

Jim Fetzer (1993) sostiene que Fetzer considera que "paradigma" es el conjunto de prácticas de investigación coherentes que una comunidad de científicos informáticos comparte entre ellos.«Las ramificaciones de esta disputa se extienden más allá de los límites de la propia disciplina.

Los métodos matemáticos de investigación guían la investigación en computabilidad, teoría de autómatas, complejidad computacional y semántica de lenguajes de programación, conjuntos de pruebas y los métodos de desarrollo reglamentados

dominan las ramas de la ingeniería de software, el diseño, la arquitectura, la evolución y las pruebas; y los métodos de las ciencias naturales, gobiernan la investigación en inteligencia artificial.

Cada uno está codificado y ejecutado por computadoras von-Neumann basadas en silicio

Especificaciones del programa son declaraciones que afirman nuestras expectativas de un programa.

Si las especificaciones se definen antes de codificar el guión del programa, se pueden utilizar para articular los objetivos de la empresa de codificación e impulsar el proceso de desarrollo de software, que a menudo es complejo y arduo.

Preocupada principalmente por lo que hoy se considera los fundamentos de la disciplina, la informática teórica es la rama más antigua y más rigurosamente establecida de la informática.

Uno de los primeros triunfos de la informática teórica ha sido la demostración matemática según la cual se ofrecen todas las diferentes nociones matemáticas de computación mecanicista: máquinas de turing, expresiones lambda y funciones recursivas.

El descubrimiento de la completitud de Turing de los lenguajes de programación ha establecido que cada proceso de programa puede ser representado adecuadamente por alguna máquina de turing y algoritmos.

Las poderosas ideas que ofrecen estas nociones matemáticas de programas han llevado a Hoare (1986), Dijkstra (1988) y Lamport (1977) para afirmar que 123Tres paradigmas de la informática 145 Los guiones de programa son expresiones matemáticas.

Hoare1986) es explícito en su compromiso con la primacía de un conocimiento a priori,
cierto sobre los programas y con el papel de la deducción matemática en su
establecimiento.

paradigma racionalista, define la informática como una rama de las matemáticas, trata los programas a la par con los objetos matemáticos y busca cierto conocimiento a priori.

paradigma tecnocrático, define la informática como una disciplina de ingeniería, trata los programas como meros datos y busca un conocimiento posteriori.

paradigma científico, define la informática como una ciencia natural (empírica), considera que los programas son entidades a la par de los procesos mentales y busca un conocimiento a priori y a posteriori.

las disputas entre los científicos de la computación van más allá de los límites de la disciplina y se extienden a posiciones filosóficas sobre la naturaleza de los programas de computadora y la naturaleza del conocimiento sobre ellos

casi todos los programas son no lineales o
automodificables,a priori el conocimiento sobre ellos es inalcanzable.

la ciencia de la computación
convencional aún no ha aceptado los compromisos ontológicos del paradigma científico.