, An unsolvable problem of elementary number theory, Bulletin American Mathematical Society, vol. 41 (1935), pp. 332--3.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Step By Recursive Step: Church's Analysis Of Effective Calculability - Sieg (1997)   (1 citation)  Self-citation (Number)   (Correct)

....his letter of January 23, 1935, but had definitely been established by March. Church wrote on July 15, 1935 his next letter to Bernays and pointed to a number of developments that had taken place in the meantime ; these developments had led to a(n impressive) list of papers, including his own [8] and [10] Kleene s [43] and [44] Rosser s [55] and the joint papers with Kleene, respectively Rosser. Contrary to Davis s impression , the equivalence was known already in March of 1935 when the abstract was submitted: if the inclusion of # definability in recursiveness had not also been known ....

, An unsolvable problem of elementary number theory, Bulletin American Mathematical Society, vol. 41 (1935), pp. 332--3.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC