The undecidability of the Turing machine immortality problem (1966)

by P K Hooper
Venue:J. Symbolic Logic