A Conjecture on Numeral Systems

Notre Dame Journal of Formal Logic 38 (2):270-275 (1997)

A numeral system is an infinite sequence of different closed normal -terms intended to code the integers in -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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1039724890
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,330
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Compact Numeral Representation with Combinators.E. V. Krishnamurthy & B. P. Vickers - 1987 - Journal of Symbolic Logic 52 (2):519-525.
Some Results on Numeral Systems in $\Lambda$ -Calculus.Benedetto Intrigila - 1994 - Notre Dame Journal of Formal Logic 35 (4):523-541.
A Refutation of Pure Conjecture.Timothy Cleveland - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):55-81.
On the Strong Martin Conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
An Information Continuum Conjecture.Ken Herold - 2003 - Minds and Machines 13 (4):553-566.
The Ethics of Reasoning From Conjecture.Micah Schwartzman - 2012 - Journal of Moral Philosophy 9 (4):521-544.
The Art of Conjecture.Bertrand de Jouvenel - 1967 - New York: Basic Books.
Tautologies From Pseudo-Random Generators.Jan Krajíček - 2001 - Bulletin of Symbolic Logic 7 (2):197-212.


Added to PP index

Total views
20 ( #462,370 of 2,286,097 )

Recent downloads (6 months)
5 ( #248,946 of 2,286,097 )

How can I increase my downloads?


My notes

Sign in to use this feature