Definición de cómputo
Del latín compŭtus, cómputo es una cuenta o cálculo. Los cómputos permiten reflejar estadísticas o el resultado de una votación. Por ejemplo: “La última anotación no ha sido registrada en el panel de cómputo”, “Los cómputos provisorios reflejan un amplio triunfo del candidato oficialista”, “De acuerdo al cómputo oficial, nuestro equipo lleva una ventaja de tres puntos”.
La noción de cómputo también se utiliza en el marco de la teoría de la computación, la rama de la matemática que se especializa en las capacidades fundamentales de las computadoras. Estas máquinas se encargan de utilizar modelos matemáticos para hacer cómputos.
La teoría de la computación comenzó a desarrollarse con la intención de hallar un método universal que permitiera resolver todos los problemas matemáticos. De este modo, los científicos empezaron a trabajar con algoritmos (conjuntos preescritos de instrucciones ordenadas y finitas que posibilitan llevar a cabo una actividad en pasos sucesivos).
Precisamente muy en relación con la mencionada teoría se encuentran lo que se da en llamar funciones computables. En concreto son todas aquellas funciones que se convierten en objeto de estudio y análisis por parte de aquella. Además también habría que destacar que tienen la particularidad de que se pueden calcular mediante el uso de la conocida como máquina de Turing.
Ese dispositivo no es otro que un sistema que se sustenta en el uso de una tabla de reglas y de unos símbolos que se manipulan y que se encuentran colocados sobre una cinta determinada.
La dificultad que presentan esas funciones computables ha sido muy analizada a lo largo de la historia y el resultado de esa afirmación viene a determinar que cuando se procede a resolver un problema relacionado con ellas, con su cálculo, se lleva cabo la resolución de lo que se conoce como problema de funciones.
Concretamente tendríamos que establecer que esas funciones pueden ser de dos tipos. Así, por un lado, se encuentran las computables que son aquellas que se desarrollan haciendo uso de un operador de tipo booleano.
Y por otro lado, estarían las funciones parcialmente computables que son aquellas en las que toma protagonismo un conjunto enumerable de manera recesiva.
Aplicado a la computación, el algoritmo se convierte en una función que transforma los datos de entrada (que forman parte de un problema) en datos de salida (la solución a dicho problema).
Una de las principales cuestiones de la teoría de la computación, por lo tanto, es la computabilidad. Este concepto analiza los límites de la solución de problemas a través de los algoritmos. Cuando un problema no puede resolverse a través de un cómputo, supone un límite para la computación.
Además de todo ello habría que destacar que la teoría de la computabilidad está muy en relación con la anteriormente mencionada máquina de Turing. Así, gran parte de su trabajo lo realiza en base a qué problemas puede resolver aquella o los formalismos que están unidos a la misma.
El cómputo eclesiástico, por último, es el conjunto de cálculos que se realizan para determinar cuándo es el día de la Pascua de Resurrección y de otras fiestas religiosas movibles.