Abstract
Poincaré in a 1909 lecture in Göttingen proposed a solution to the apparent incompatibility of two results as viewed from a definitionist perspective: on the one hand, Richard’s proof that the definitions of real numbers form a countable set and, on the other, Cantor’s proof that the real numbers make up an uncountable class. Poincaré argues that, Richard’s result notwithstanding, there is no enumeration of all definable real numbers. We apply previous research by Luna and Taylor on Richard’s paradox, indefinite extensibility and unrestricted quantification to evaluate Poincaré’s proposal. We emphasize that Poincaré’s solution involves an early recourse to indefinite extensibility and argue that his proposal, if it is to completely avoid Richard’s paradox, requires rejecting absolutely unrestricted quantification: Richard’s paradox provides a context in which paradox seems inescapable if unrestricted quantification is possible. In proposing his solution to the apparent conflict between Richard’s and Cantor’s results, Poincaré employs temporal expressions whose exact meaning he does not clarify. We suggest an interpretation of these expressions in terms of order of availability and briefly discuss its explanatory power in topics like paradoxes, limitation theorems and indefinite extensibility.