The God-given Naturals: Induction and Recursion

Barra lateral de artigos

Capa edição 49
PDF (English)
Publicado: jan. 15, 2022
DOI: https://doi.org/10.32334/oqnfp.2021n49a804
Palavras-chave:
Naturais, indução, recursão, parâmetros, propriedades universais, propriedades particulares

Conteúdo do artigo principal

Paulo Veloso
Universidade Federal do Rio de Janeiro (UFRJ)
André da Silva Porto
Universidade Federal de Goiás (UFG)

Resumo

We discuss some basic issues underlying the natural numbers: induction and recursion. We examine recursive formulations and their use in establishing universal and particular properties.



OS NATURAIS QUE DEUS NOS DEU: INDUÇÃO E RECURSÃO


Nós discutimos alguns problemas básico subjacentes aos números naturais. Examinamos as formulações recursivas e seu uso no estabelecimento de propriedades universais e particulares.

Detalhes do artigo

Edição
v. 29 n. 49 (2021): Lógica, Filosofia e Computação: interações contemporâneas
Seção
Artigos

Nota de Direitos Autorais

O autor do artigo ou resenha submetido e aprovado para publicação autoriza os editores a reproduzi-lo e publicá-lo na a revista O que nos faz pensar, entendendo-se os termos "reprodução" e "publicação" conforme a licença Creative Commons Atribuição-NãoComercial 4.0 Internacional. O artigo ou resenha poderá ser acessado tanto pela rede mundial de computadores (WWW – Internet), como pela versão impressa, sendo permitidas, a título gratuito, a consulta e a reprodução do texto para uso próprio de quem a consulta. Essa autorização de publicação não tem limitação de tempo, ficando os editores da revista O que nos faz pensar responsável pela manutenção da identificação do autor do artigo.

Biografia do Autor

Paulo Veloso, Universidade Federal do Rio de Janeiro (UFRJ)

IN MEMORIM

André da Silva Porto, Universidade Federal de Goiás (UFG)

Professor Associado da Universidade Federal de Goiás (UFG, Brasil), Pesquisador do CNPq nível 2. Prof. Porto é especialista em Wittgenstein e em Fundamentos da Matemática. Suas áreas principais de interesse incluem a Construtivismo, Intuicionismo, Teoria dos Tipos e e verficação automática de provas. Além dessa área prioritária de pesquisa, ele também tem se dedicado ao tratamento que Wittgenstein dá à Subjetividade.

Referências

ENDERTON, Herbert B. - A Mathematical Introduction to Logic. New York: Academic Press, 1972.
POLYA, G. - How to Solve it: a new aspect of the mathematical method. Princeton: Princeton Univ. Press, 1945 (2nd edition 1956, repr. 1971).
PORTO, Andr´e S. - Wittgenstein sobre as provas indutivas, 2009.
SHOENFIELD, Joseph R. - Mathematical Logic. Reading: Addison-Wesley, 1967.