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 |
| _version_ | 1797934741025980416 |
|---|---|
| author | Henrique de Morais Ribeiro |
| author_facet | Henrique de Morais Ribeiro |
| author_sort | Henrique de Morais Ribeiro |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-10T18:04:40Z |
| format | Article |
| id | doaj.art-2d550ed4e02544eab1fc6bd77ef0bfa6 |
| institution | Directory Open Access Journal |
| issn | 0101-3173 1980-539X |
| language | English |
| last_indexed | 2024-04-10T18:04:40Z |
| publishDate | 1999-01-01 |
| publisher | Universidade Estadual Paulista |
| record_format | Article |
| series | Trans/Form/Ação |
| spelling | doaj.art-2d550ed4e02544eab1fc6bd77ef0bfa62023-02-02T13:35:38ZengUniversidade Estadual PaulistaTrans/Form/Ação0101-31731980-539X1999-01-0121-22118119310.1590/S0101-31731999000100014Da metamatemática para a ciência cognitiva From metamathematics to Cognitive ScienceHenrique de Morais RibeiroNeste 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.http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0101-31731999000100014Metamatemáticadecidibilidadeprocedimento efetivocomputabilidadeplatonismoCiência CognitivaMetamathematicsdecidabilityeffective procedurecomputabilityPlatonismCognitive Science |
| spellingShingle | Henrique de Morais Ribeiro Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science Trans/Form/Ação Metamatemática decidibilidade procedimento efetivo computabilidade platonismo Ciência Cognitiva Metamathematics decidability effective procedure computability Platonism Cognitive Science |
| title | Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science |
| title_full | Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science |
| title_fullStr | Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science |
| title_full_unstemmed | Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science |
| title_short | Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science |
| title_sort | da metamatematica para a ciencia cognitiva from metamathematics to cognitive science |
| topic | Metamatemática decidibilidade procedimento efetivo computabilidade platonismo Ciência Cognitiva Metamathematics decidability effective procedure computability Platonism Cognitive Science |
| url | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0101-31731999000100014 |
| work_keys_str_mv | AT henriquedemoraisribeiro dametamatematicaparaacienciacognitivafrommetamathematicstocognitivescience |