The Undecidability of the Turing Machine Immortality Problem (1966)

by Philip K Hooper
Venue:Journal of Symbolic Logic