A conjecture on numeral systems - Archive ouverte HAL
Article Dans Une Revue Notre Dame Journal of Formal Logic Année : 1997

A conjecture on numeral systems

Karim Nour

Résumé

A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor, Predecessor, and Zero Test, then all total recursive functions can be represented. In this paper we prove the independancy of these particular three functions. We give at the end a conjecture on the number of unary functions necessary to represent all total recursive functions.
Fichier principal
Vignette du fichier
THESE.pdf (84.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381596 , version 1 (06-05-2009)

Identifiants

Citer

Karim Nour. A conjecture on numeral systems. Notre Dame Journal of Formal Logic, 1997, 38, pp.270-275. ⟨hal-00381596⟩
145 Consultations
96 Téléchargements

Altmetric

Partager

More