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)