In logic, Richard's paradox is a semantical antinomy in set theory and natural language first described by the French mathematician Jules Richard in 1905. Today, the paradox is ordinarily used in order to motivate the importance of carefully distinguishing between mathematics and metamathematics. The paradox was also a motivation in the development of predicative mathematics.
Read more about Richard's Paradox: Description, Analysis and Relationship With Metamathematics, Variation: Richardian Numbers, Relation To Predicativism
Famous quotes containing the words richard and/or paradox:
“I am the sanest man who ever lived. But I will not be tortured. I tear torture out of myself by torturing you.”
—David Boehm, and Louis Friedlander. Dr. Richard Vollin (Bela Lugosi)
“...This
is the paradox of vision:
Sharp perception softens
our existence in the world.”
—Susan Griffin (b. 1943)