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

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

Some new double induction and superinduction principles.Raymond M. Smullyan - 1990 - Studia Logica 49 (1):23 - 30.
Induction–recursion and initial algebras.Peter Dybjer & Anton Setzer - 2003 - Annals of Pure and Applied Logic 124 (1-3):1-47.
Characterising Brouwer’s continuity by bar recursion on moduli of continuity.Makoto Fujiwara & Tatsuji Kawai - 2020 - Archive for Mathematical Logic 60 (1):241-263.
Natural Recursion Doesn’t Work That Way: Automata in Planning and Syntax.Cem Bozsahin - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer. pp. 95-112.
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.
Induction, Discovery and Imprecise Reasoning: A Dissertation in Applied Recursion Theory.Mark Andrew Changizi - 1997 - Dissertation, University of Maryland, College Park
Universal Induction and True Universal Arithmetic.Teresa Bigorajska - 1994 - Mathematical Logic Quarterly 40 (1):103-105.
The equivalence of bar recursion and open recursion.Thomas Powell - 2014 - Annals of Pure and Applied Logic 165 (11):1727-1754.
Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Nominalistic ordinals, recursion on higher types, and finitism.Maria Hämeen-Anttila - 2019 - Bulletin of Symbolic Logic 25 (1):101-124.
On Spector's bar recursion.Paulo Oliva & Thomas Powell - 2012 - Mathematical Logic Quarterly 58 (4-5):356-265.
Recursion in a quantifier vs. elementary induction.Phokion G. Kolaitis - 1979 - Journal of Symbolic Logic 44 (2):235-259.
What is Radical Recursion?Steven M. Rosen - 2004 - SEED Journal 4 (1):38-57.
Recursion and Human Language.Harry van der Hulst (ed.) - 2010 - De Gruyter Mouton.

Analytics

Added to PP
2023-03-12

Downloads
132 (#139,876)

6 months
58 (#81,516)

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