Da metamatemática para a ciência cognitiva
Autor(a) principal: | |
---|---|
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 |