Da metamatemática para a ciência cognitiva

dc.contributor.authorRibeiro, Henrique De Morais
dc.contributor.institutionUniversidade Estadual Paulista (Unesp)
dc.date.accessioned2021-07-14T10:22:04Z
dc.date.available2021-07-14T10:22:04Z
dc.date.issued1999
dc.description.abstractIn 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.en
dc.description.abstractNeste 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.pt
dc.description.affiliationUniversidade Estadual Paulista, Faculdade de Filosofia e Ciências
dc.description.affiliationUnespUniversidade Estadual Paulista, Faculdade de Filosofia e Ciências
dc.format.extent181-193
dc.identifierhttp://dx.doi.org/10.1590/S0101-31731999000100014
dc.identifier.citationTrans/Form/Ação. Marília, SP, Brazil: Universidade Estadual Paulista, Departamento de Filosofia, v. 21-22, n. 1, p. 181-193, 1999.
dc.identifier.doi10.1590/S0101-31731999000100014
dc.identifier.fileS0101-31731999000100014.pdf
dc.identifier.issn0101-3173
dc.identifier.issn1980-539X
dc.identifier.scieloS0101-31731999000100014
dc.identifier.urihttp://hdl.handle.net/11449/211283
dc.language.isopor
dc.publisherUniversidade Estadual Paulista, Departamento de Filosofia
dc.relation.ispartofTrans/Form/Ação
dc.rights.accessRightsAcesso aberto
dc.sourceSciELO
dc.subjectMetamathematicsen
dc.subjectdecidabilityen
dc.subjecteffective procedureen
dc.subjectcomputabilityen
dc.subjectPlatonismen
dc.subjectCognitive Scienceen
dc.subjectMetamatemáticapt
dc.subjectdecidibilidadept
dc.subjectprocedimento efetivopt
dc.subjectcomputabilidadept
dc.subjectplatonismopt
dc.subjectCiência Cognitivapt
dc.titleDa metamatemática para a ciência cognitivapt
dc.title.alternativeFrom metamathematics to Cognitive Scienceen
dc.typeArtigo

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
S0101-31731999000100014.pdf
Tamanho:
51.72 KB
Formato:
Adobe Portable Document Format

Coleções