Mariangela de Oliveira Gomes Setti - Programa de Pós-Graduação ...

19
considerados equivalentes.
A tese de Church se destacou, porque se baseou na análise filosófica do processo de
computação humana, ou seja, tratou de analisar o mecanismo de raciocínio utilizado pelos
seres humanos, levando em consideração o fato da experiência humana ser informal, bem
como a experiência matemática ser precisa.
Essencialmente, a diferença mais aparente entre o mundo do computador, pelo menos
na atualidade, e o mundo real, em que supomos que o pensamento humano discorre, é o
caráter discreto do primeiro, contra o caráter contínuo do segundo. Uma situação análoga
ocorre na relação entre o pensamento matemático e o pensamento computacional.
O computador reside em um mundo no qual o tempo é representado pelos números
naturais inteiros, assim como os algoritmos. Pode-se dizer que um computador é um
dispositivo, e uma máquina de Turing, um artefato intelectual. Para compreender o que um
algoritmo está fazendo, é necessário compreender como é o processo discreto que está por trás
dessa ação.
Sobre essas diferenças, destaca-se o trabalho de Friedmann (2005), Algumas Questões
sobre Algoritmos, Modelagem e Ensino, resultado parcial de sua tese de doutorado. Em seu
trabalho ela argumenta que:
Os métodos matemáticos para resolução de problemas exigem rigor matemático no sentido de
convergência para uma solução, mas não há, sob o ponto de vista estritamente matemático,
uma preocupação com o tempo de execução do algoritmo. Essa preocupação é um dos
enfoques e uma das contribuições da Algorítmica 2 para o tratamento de problemas e sua
resolução; a questão do tempo tem uma importância significativa para o agente computacional
que vai resolver o problema, no caso o computador, que na sua concepção é uma máquina
abstrata, mas que operacionalmente está sujeito a trabalhar dentro de um intervalo de tempo
finito.
Além da questão do tempo no tratamento de diversos problemas, surge com a Algorítmica e
com a informática, uma maior valorização da Matemática Discreta. (FRIEDMANN, 2005, p.
2)
Ela alerta para a necessidade de preparar alunos e professores para lidar com
problemas que envolvem questões algorítmicas, não mais como um apêndice da modelagem
do problema, mas como uma parte fundamental da modelagem, ressaltando as mudanças na
maneira de encarar os problemas, de forma a aliar o fator tempo ao método matemático de
resolução.
Observa-se que uma forma algorítmica de pensar associada à resolução de problemas
pressupõe sempre uma solução, ou seja, para qualquer entrada deve haver pelo menos uma
2 Friedmann entende a Algorítmica como sendo o campo do conhecimento que se dedica ao estudo sistemático e
analítico de algoritmos.