An unsolvable problem of elementary number theory (1936)

by Alonzo Church
Venue:American Journal of Mathematics