Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science
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, Chur...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Universidade Estadual Paulista
1999-01-01
|
Series: | Trans/Form/Ação |
Subjects: | |
Online Access: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0101-31731999000100014 |
Summary: | 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.<br>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. |
---|---|
ISSN: | 0101-3173 1980-539X |