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:
“A demanding stranger arrived one morning in a small town and asked a boy on the sidewalk of the main street, “Boy, where’s the post office?”
“I don’t know.”
“Well, then, where might the drugstore be?”
“I don’t know.”
“How about a good cheap hotel?”
“I don’t know.”
“Say, boy, you don’t know much, do you?”
“No, sir, I sure don’t. But I ain’t lost.””
—William Harmon (b. 1938)
“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)