𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicting the relative difficulty of verbal arithmetic problems

✍ Scribed by Max Jerman; Raymond Rees

Publisher
Springer
Year
1972
Tongue
English
Weight
816 KB
Volume
4
Category
Article
ISSN
0013-1954

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the Difficulty of Writing Out formal
On the Difficulty of Writing Out formal Proofs in Arithmetic
✍ Ryo Kashima; Takeshi Yamaguchi πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 266 KB

## Abstract Let β„Έ be the set of GΓΆdel numbers Gn(__f__) of function symbols __f__ such that PRA ⊒ and let Ξ³ be the function such that We prove: (1) The r. e. set β„Έ is m‐complete; (2) the function Ξ³ is not primitive recursive in any class of functions {__f__~1~, __f__~2~, ⃛} so long as each __f~i~