A Computação e as funções recursivas parciais- Sanderson L. Gonzaga de Oliveira

A Computação, assim como o conhecimento humano, é resultado do esforço e do trabalho dedicado de indivíduos através dos séculos. Entretanto, pode-se afirmar que a Computação  passou a ser considerada uma Ciência e desprender-se da Matemática com as pesquisas de Herbrand, Gödel, Church, Turing, Post, Rosser e Kleene, para citar alguns dos principais matemáticos que começaram a definir precisamente a Computação. Muitas das pesquisas desses matemáticos foram decorrentes de problemas postos por Hilbert. Interessantemente, a Computação iniciou com os estudos de seus limites. O livro de Fonseca Filho (2007)  traz uma excelente e didática História da Computação com suas bases matemáticas. Estudos básicos sobre os limites da Computação adentram na teoria das funções recursivas. Especialmente a classe das funções recursivas parciais foi mostrada como sendo a classe de funções que podem ser computadas. Para o estudo dessa teoria, o conhecimento de conteúdos do Ensino Médio é essencial.

Dentre eles, podem ser citados as sequências, os tipos de relações, as funções e as suas composições.

Ler o artigo completo

Esta entrada foi publicada em Artigos Klein. Adicione o link permanente aos seus favoritos.

Deixe uma resposta

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *