𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Reduction in the Number of Primitive Ideas of Arithmetic

✍ Scribed by John R. Myhill


Book ID
124958745
Publisher
Association for Symbolic Logic
Year
1950
Tongue
English
Weight
147 KB
Volume
15
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The shortest definition of a number in P
✍ Dev K. Roy πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 89 KB πŸ‘ 2 views

## Abstract The shortest definition of a number by a first order formula with one free variable, where the notion of a formula defining a number extends a notion used by Boolos in a proof of the Incompleteness Theorem, is shown to be non computable. This is followed by an examination of the complex

Developing number ideas in the kindergar
✍ AGNES RYDER KILLELEA and Charlotte W. Junge πŸ“‚ Article πŸ“… 1967 πŸ› National Council of Teachers of Mathematics βš– 317 KB