| , An unsolvable problem of elementary number theory, Bulletin American Mathematical Society, vol. 41 (1935), pp. 332--3. |
....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