Please enable JavaScript.
Coggle requires JavaScript to display documents.
TRES PARADIGMAS DE LA INFORMÁTICA, blur-close-up-code-computer-546819…
TRES PARADIGMAS DE LA INFORMÁTICA
INTRODUCCIÓN
TIPOS
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.
DEFINICIONES
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.
DISPUTA METODOLÓGICA
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.
DISPUTA ONTOLÓGICA
Cada uno está codificado y ejecutado por computadoras von-Neumann basadas en silicio
DISPUTA EPISTEMOLÓGICA
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.
PARADIGMA RACIONALISTA
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
METODOS RACIONALISTAS
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.
ONTOLOGÍA RACIONALISTA
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.
EPISTEMOLOGÍA RACIONALISTA
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 TECNOCRÁTICO
METODOS TECNOCRÁTICOS
Conjuntos de pruebas cuyo propósito es establecer estadísticamente la fiabilidad de productos específicos del proceso de fabricación de software
Modelos de ciclos de vida de
desarrollo de software
Métricas de confiabilidad
y modelado estadístico
Pruebas de confiabilidad
EPISTEMOLOGÍA TECNOCRÁTICA
La deducción formal es ineficaz al establecer la corrección de todos los programas informáticos, excepto los más triviales.
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
ONTOLOGÍA TENOCRÁTICA
Debe rechazarse la existencia de esas
supuestas entidades abstractas (intangibles, no físicas).
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.
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.
DISCUSIÓN
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.
PARADIGMA CIENTÍFICO
METODOS CIENTÍFICOS
Los programas y las computadoras no pueden ser objeto de experimentos científicos
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)
EPISTEMOLOGÍA CIENTÍFICA
Ciertos procesos de programa modifican el conjunto mismo de sus instrucciones (el programa-guión) durante el proceso de cálculo.
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
ONTOLOGÍA CIENTÍFICA
Una explicación ontológica adecuada para los procesos del programa debe ofrecer una explicación del siguiente conjunto único de sus propiedades aparente
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
Metabólico: programa-proceso 'consume' energía
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.
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"