The God-given Naturals, Induction and Recursion

&
O Que Nos Faz Pensar 29 (49):115-156 (2021)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Induction–recursion and initial algebras.Peter Dybjer & Anton Setzer - 2003 - Annals of Pure and Applied Logic 124 (1-3):1-47.
Some new double induction and superinduction principles.Raymond M. Smullyan - 1990 - Studia Logica 49 (1):23 - 30.
Extremal numberings and fixed point theorems.Marat Faizrahmanov - 2022 - Mathematical Logic Quarterly 68 (4):398-408.
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.Osamu Takaki - 1997 - Notre Dame Journal of Formal Logic 38 (3):350-373.
Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
Characterising Brouwer’s continuity by bar recursion on moduli of continuity.Makoto Fujiwara & Tatsuji Kawai - 2020 - Archive for Mathematical Logic 60 (1):241-263.
Recursion and Human Language.Harry van der Hulst (ed.) - 2010 - De Gruyter Mouton.
Induction, Discovery and Imprecise Reasoning: A Dissertation in Applied Recursion Theory.Mark Andrew Changizi - 1997 - Dissertation, University of Maryland, College Park
Universal recursion theoretic properties of R.e. Preordered structures.Franco Montagna & Andrea Sorbi - 1985 - Journal of Symbolic Logic 50 (2):397-406.
Recursion in a quantifier vs. elementary induction.Phokion G. Kolaitis - 1979 - Journal of Symbolic Logic 44 (2):235-259.

Analytics

Added to PP
2023-03-12

Downloads
267 (#100,565)

6 months
94 (#66,206)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

André Porto
Universidade Federal de Goiás

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references