In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in which year, Kurt Gödel specifically cites Richard's antinomy as a semantical analogue to his syntactical incompleteness result?
Richard's paradox In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905. The paradox is ordinarily used to motivate the importance of distinguishing carefully between mathematics and metamathematics. Kurt Gödel specifically cites Richard's antinomy as a semantical analogue to his syntactical incompleteness result in the introductory section of "On Formally Undecidable Propositions in Principia Mathematica and Related Systems I". The paradox was also a motivation of the development of predicative mathematics.
Infinity (philosophy) In philosophy and theology, infinity is explored in articles under headings such as the Ultimate, the Absolute, God, and Zeno's paradoxes. In Greek philosophy, for example in Anaximander, 'the Boundless' is the origin of all that is. He took the beginning or first principle to be an endless, unlimited primordial mass (ἄπειρον, "apeiron"). The Jain metaphysics and mathematics was the first to define and delineate different "types" of infinities. The work of the mathematician Georg Cantor first placed infinity into a coherent mathematical framework. Keenly aware of his departure from traditional wisdom, Cantor also presented a comprehensive historical and philosophical discussion of infinity. In Judeo-Christian theology, for example in the work of Duns Scotus, the infinite nature of God invokes a sense of being without constraint, rather than a sense of being unlimited in quantity. In ethics infinity plays an important role designating that which cannot be defined or reduced to knowledge or power.