Post's Theorem

In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.

Read more about Post's Theorem:  Background, Post's Theorem and Corollaries

Famous quotes containing the words post and/or theorem:

    “To the old saying that man built the house but woman made of it a “home” might be added the modern supplement that woman accepted cooking as a chore but man has made of it a recreation.”
    —Emily Post (1873–1960)

    “To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
    —Albert Camus (1913–1960)