The God-given Naturals: Induction and Recursion
oleh: Paulo Veloso, André da Silva Porto
| Format: | Article |
|---|---|
| Diterbitkan: | Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) 2022-01-01 |
Deskripsi
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.