The God-given Naturals: Induction and Recursion

##plugins.themes.bootstrap3.article.sidebar##

Capa edição 49
PDF (English)
Publicado Jan 15, 2022
DOI: https://doi.org/10.32334/oqnfp.2021n49a804

##plugins.themes.bootstrap3.article.main##

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.

##plugins.themes.bootstrap3.article.details##

Como Citar
VELOSO, Paulo; PORTO, André da Silva. The God-given Naturals: Induction and Recursion. O que nos faz pensar, [S.l.], v. 29, n. 49, p. 115-156, jan. 2022. ISSN 0104-6675. Disponível em: <http://oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/804>. Acesso em: 01 apr. 2023. doi: https://doi.org/10.32334/oqnfp.2021n49a804.
ABNT APA BibTeX CBE EndNote - formato Macintosh & Windows MLA ProCite - formato RIS (Macintosh & Windows) RefWorks Turabian Reference Manager - formato RIS (somente para Windows)
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.

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.