A conjecture on numeral systems
Nour, Karim
HAL, hal-00381596 / Harvested from HAL
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.
Publié le : 1997-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00381596,
     author = {Nour, Karim},
     title = {A conjecture on numeral systems},
     journal = {HAL},
     volume = {1997},
     number = {0},
     year = {1997},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00381596}
}
Nour, Karim. A conjecture on numeral systems. HAL, Tome 1997 (1997) no. 0, . http://gdmltest.u-ga.fr/item/hal-00381596/