@article{hooper_1966,
    Author = {Hooper, Philip K.},
    File = {The Undecidability of the Turing Machine Immortality Problem - 2269811 - a - s.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {2},
    Pages = {219--234},
    Publisher = {Cambridge University Press},
    Title = {The undecidability of the Turing machine immortality problem},
    Volume = {31},
    Year = {1966},
    bdsk-url-1 = {https://doi.org/10.2307/2269811},
    date-added = {2020-12-16 22:35:48 +0100},
    date-modified = {2020-12-16 22:35:48 +0100},
    doi = {10.2307/2269811}
}

@article{hooper_1966, Author = {Hooper, Philip K.}, File = {The Undecidability of the Turing Machine Immortality Problem - 2269811 - a - s.pdf}, Journal = {Journal of Symbolic Logic}, Number = {2}, Pages = {219--234}, Publisher = {Cambridge University Press}, Title = {The undecidability of the Turing machine immortality problem}, Volume = {31}, Year = {1966}, bdsk-url-1 = {https://doi.org/10.2307/2269811}, date-added = {2020-12-16 22:35:48 +0100}, date-modified = {2020-12-16 22:35:48 +0100}, doi = {10.2307/2269811} }