Da metamatemática para a ciência cognitiva

Detalhes bibliográficos
Autor(a) principal: Ribeiro, Henrique De Morais
Data de Publicação: 1999
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1590/S0101-31731999000100014
http://hdl.handle.net/11449/211283
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.
id UNSP_3013e9441184ef03da1cc2008a19aa50
oai_identifier_str oai:repositorio.unesp.br:11449/211283
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Da metamatemática para a ciência cognitivaFrom metamathematics to Cognitive ScienceMetamathematicsdecidabilityeffective procedurecomputabilityPlatonismCognitive ScienceMetamatemáticadecidibilidadeprocedimento efetivocomputabilidadeplatonismoCiência CognitivaIn 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.Universidade Estadual Paulista, Faculdade de Filosofia e CiênciasUniversidade Estadual Paulista, Faculdade de Filosofia e CiênciasUniversidade Estadual Paulista, Departamento de FilosofiaUniversidade Estadual Paulista (Unesp)Ribeiro, Henrique De Morais2021-07-14T10:22:04Z2021-07-14T10:22:04Z1999info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article181-193application/pdfhttp://dx.doi.org/10.1590/S0101-31731999000100014Trans/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/21128310.1590/S0101-31731999000100014S0101-31731999000100014S0101-31731999000100014.pdfSciELOreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPporTrans/Form/Açãoinfo:eu-repo/semantics/openAccess2023-10-05T06:06:56Zoai:repositorio.unesp.br:11449/211283Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-05-23T11:34:29.739740Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Da metamatemática para a ciência cognitiva
From metamathematics to Cognitive Science
title Da metamatemática para a ciência cognitiva
spellingShingle Da metamatemática para a ciência cognitiva
Ribeiro, Henrique De Morais
Metamathematics
decidability
effective procedure
computability
Platonism
Cognitive Science
Metamatemática
decidibilidade
procedimento efetivo
computabilidade
platonismo
Ciência Cognitiva
title_short Da metamatemática para a ciência cognitiva
title_full Da metamatemática para a ciência cognitiva
title_fullStr Da metamatemática para a ciência cognitiva
title_full_unstemmed Da metamatemática para a ciência cognitiva
title_sort Da metamatemática para a ciência cognitiva
author Ribeiro, Henrique De Morais
author_facet Ribeiro, Henrique De Morais
author_role author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Ribeiro, Henrique De Morais
dc.subject.por.fl_str_mv Metamathematics
decidability
effective procedure
computability
Platonism
Cognitive Science
Metamatemática
decidibilidade
procedimento efetivo
computabilidade
platonismo
Ciência Cognitiva
topic Metamathematics
decidability
effective procedure
computability
Platonism
Cognitive Science
Metamatemática
decidibilidade
procedimento efetivo
computabilidade
platonismo
Ciência Cognitiva
description 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.
publishDate 1999
dc.date.none.fl_str_mv 1999
2021-07-14T10:22:04Z
2021-07-14T10:22:04Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1590/S0101-31731999000100014
Trans/Form/Ação. Marília, SP, Brazil: Universidade Estadual Paulista, Departamento de Filosofia, v. 21-22, n. 1, p. 181-193, 1999.
0101-3173
1980-539X
http://hdl.handle.net/11449/211283
10.1590/S0101-31731999000100014
S0101-31731999000100014
S0101-31731999000100014.pdf
url http://dx.doi.org/10.1590/S0101-31731999000100014
http://hdl.handle.net/11449/211283
identifier_str_mv Trans/Form/Ação. Marília, SP, Brazil: Universidade Estadual Paulista, Departamento de Filosofia, v. 21-22, n. 1, p. 181-193, 1999.
0101-3173
1980-539X
10.1590/S0101-31731999000100014
S0101-31731999000100014
S0101-31731999000100014.pdf
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv Trans/Form/Ação
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 181-193
application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual Paulista, Departamento de Filosofia
publisher.none.fl_str_mv Universidade Estadual Paulista, Departamento de Filosofia
dc.source.none.fl_str_mv SciELO
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1803045844347256832

Registros relacionados