Henry Gordon Rice is perhaps best known for Rice's theorem, which states that any non-trivial semantic property of Turing machines is undecidable. In a footnote to his Trans. Amer. Math. Soc. article (74 (2), 358-366, 1953), Rice indicates that

Most of the results in this paper were contained in a thesis written under Professor Paul Rosenbloom [...] and presented toward the degree of Doctor of Philosophy at Syracuse University.

Is this thesis available anywhere online, or has anyone contacted Syracuse to obtain a digital copy of Rice's work?

  • 2
    $\begingroup$ Go chat with your local friendly research librarian and let them at it. $\endgroup$
    – Jon Custer
    Commented Jun 28 at 16:00


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.