Da metamatemática para a ciência cognitiva

Carregando...
Imagem de Miniatura

Data

1999

Autores

Ribeiro, Henrique De Morais

Título da Revista

ISSN da Revista

Título de Volume

Editor

Universidade Estadual Paulista, Departamento de Filosofia

Resumo

In 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.

Descrição

Palavras-chave

Metamathematics, decidability, effective procedure, computability, Platonism, Cognitive Science, Metamatemática, decidibilidade, procedimento efetivo, computabilidade, platonismo, Ciência Cognitiva

Como citar

Trans/Form/Ação. Marília, SP, Brazil: Universidade Estadual Paulista, Departamento de Filosofia, v. 21-22, n. 1, p. 181-193, 1999.

Coleções