An example of a non adequate numeral system

Details An example of a non adequate numeral system An example of a non adequate numeral system

2009-05-05

arxiv.org/abs/0905.0551v1

Comptes Rendus de l'Acad\'emie des Sciences - Series I - Mathematics 323 (1996) 439-442

Mathematics

Logic

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

An example of a non adequate numeral system does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An example of a non adequate numeral system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An example of a non adequate numeral system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-450434