An example of a non adequate numeral system
Abstract
Description
A numeral system is defined by three closed $λ$-terms : a normal $λ$-term $d_0$ for Zero, a $λ$-term $S_d$ for Successor, and a $λ$-term for Zero Test, such that the $λ$-terms $({S_d}^{i} ~ d_0)$ are normalizable and have different normal forms. A numeral system is said adequate iff it has a closed $λ$-term for Predecessor. This Note gives a simple example of a non adequate numeral system.