The God-given Naturals: Induction and Recursion

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

Paulo Veloso André da Silva Porto

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://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/804>. Acesso em: 06 oct. 2022. doi: https://doi.org/10.32334/oqnfp.2021n49a804.
Seção
Artigos

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.