Do latim compŭtus , computação é uma contagem ou cálculo. As contagens permitem refletir estatísticas ou o resultado de uma votação. Por exemplo: “A última anotação não foi registrada no painel de cálculo” , “Os cálculos provisórios refletem um amplo triunfo do candidato oficial” , “Segundo o cálculo oficial, nossa equipe tem uma vantagem de três pontos” .
A noção de computação também é usada no âmbito da teoria da computação, o ramo da matemática que se especializou nas capacidades fundamentais dos computadores. Essas máquinas são responsáveis por usar modelos matemáticos para fazer cálculos.
A teoria da computação começou a se desenvolver com a intenção de encontrar um método universal que permitisse resolver todos os problemas matemáticos. Assim, os cientistas começaram a trabalhar com algoritmos (conjuntos pré-escritos de instruções ordenadas e finitas que permitem realizar uma atividade em etapas sucessivas).
Precisamente relacionadas com a teoria acima mencionada estão as chamadas funções computáveis. Especificamente, são todas aquelas funções que passam a ser objeto de estudo e análise por ela. Além disso, deve-se observar que eles têm a particularidade de poderem ser calculados por meio da chamada máquina de Turing.
Este dispositivo nada mais é do que um sistema que se baseia no uso de uma tabela de regras e alguns símbolos que são manipulados e que são colocados em uma fita específica.
A dificuldade apresentada por essas funções computáveis tem sido muito analisada ao longo da história e o resultado dessa afirmação determina que quando um problema relacionado a elas é resolvido, com o seu cálculo, a resolução do que é conhecido como um problema de função.
Especificamente, teríamos que estabelecer que essas funções podem ser de dois tipos. Assim, por um lado, existem os computáveis, que são aqueles desenvolvidos por meio de um operador booleano.
E, por outro lado, haveria as funções parcialmente computáveis, que são aquelas em que um conjunto enumerável assume o centro do palco de forma recessiva.
Aplicado à computação, o algoritmo se torna uma função que transforma os dados de entrada (que são parte de um problema) em dados de saída (a solução para esse problema).
Um dos principais problemas da teoria da computação, portanto, é a computabilidade. Este conceito analisa os limites da resolução de problemas por meio de algoritmos. Quando um problema não pode ser resolvido por meio de computação, ele coloca um limite na computação.
Além de tudo isso, deve-se notar que a teoria da computabilidade está intimamente relacionada à citada máquina de Turing. Assim, grande parte do seu trabalho é realizado em função dos problemas que podem ser resolvidos por isso ou das formalidades que lhe estão associadas.
O cálculo eclesiástico, por fim, é o conjunto de cálculos realizados para determinar quando é móvel o dia da Páscoa e outros feriados religiosos.