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:
“Words convey the mental treasures of one period to the generations that follow; and laden with this, their precious freight, they sail safely across gulfs of time in which empires have suffered shipwreck and the languages of common life have sunk into oblivion.”
—Anonymous. Quoted in Richard Chevenix Trench, On the Study of Words, lecture 1 (1858)
“The paradox of education is precisely this—that as one begins to become conscious one begins to examine the society in which he is being educated.”
—James Baldwin (1924–1987)