The God-given Naturals: Induction and Recursion

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.

Bibliographic Details
Main Authors: Paulo Veloso, André da Silva Porto
Format: Article
Language:Portuguese
Published: Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) 2022-01-01
Series:O Que Nos Faz Pensar
Online Access:http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/804