Abstract
A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. 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 three particular functions. We give at the end a conjecture on the number of unary functions necessary to represent all total recursive functions.
Citation
Karim Nour. "A Conjecture on Numeral Systems." Notre Dame J. Formal Logic 38 (2) 270 - 275, Spring 1997. https://doi.org/10.1305/ndjfl/1039724890
Information