Ribeiro, Henrique De Morais2021-07-142021-07-141999Trans/Form/Ação. Marília, SP, Brazil: Universidade Estadual Paulista, Departamento de Filosofia, v. 21-22, n. 1, p. 181-193, 1999.0101-31731980-539Xhttp://hdl.handle.net/11449/211283In this article, it is suggested a possible profile for the historical and philosophical migration of several issues from the metamathematical domain to the domain of functionalist neuro-computational Cognitive Science. The description of such a transition is accomplished by an analysis of the ideas of Post, Church, Gödel, and, in particular, Turing on the possibility of formalization of creative thinking in Mathematics.Neste artigo, propõe-se uma configuração possível para a transição histórico-filosófica de temas investigados no domínio da metamatemática para o domínio da Ciência Cognitiva funcionalista neurocomputacional. A descrição de tal transição é feita por meio de uma breve análise das idéias de Post, Church, Gödel e Turing sobre a possibilidade de formalização do pensamento criador na matemática, enfatizando as contribuições deste último.181-193porMetamathematicsdecidabilityeffective procedurecomputabilityPlatonismCognitive ScienceMetamatemáticadecidibilidadeprocedimento efetivocomputabilidadeplatonismoCiência CognitivaArtigo10.1590/S0101-31731999000100014S0101-31731999000100014Acesso abertoS0101-31731999000100014.pdf