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:
“I can forgive even that wrong of wrongs,
Those undreamt accidents that have made me
Seeing that Fame has perished this long while,
Being but a part of ancient ceremony
Notorious, till all my priceless things
Are but a post the passing dogs defile.”
—William Butler Yeats (1865–1939)
“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)