An example of a non adequate numeral system
| dc.creator | Nour, Karim | |
| dc.date | 2009-05-05 | |
| dc.date.accessioned | 2026-07-07T13:11:51Z | |
| dc.date.available | 2026-07-07T13:11:51Z | |
| dc.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. | |
| dc.identifier | https://arxiv.org/abs/0905.0551 | |
| dc.identifier | http://arxiv.org/abs/0905.0551 | |
| dc.identifier | Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 323 (1996) 439-442 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/229412 | |
| dc.subject | Logic | |
| dc.title | An example of a non adequate numeral system | |
| dc.type | text |