König's paradox


König's paradox
Also known as the Zermelo– König paradox. There are non-denumerably many real numbers, but only denumerably many of them are finitely definable. Given Zermelo's proof that the reals can be well-ordered, the set of reals that are not finitely definable must have a first member. But this is itself a finite definition of that real. The paradox is similar to those of Richard and Berry, although König himself thought it turned into a proof that the reals cannot be well-ordered.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • König Bhumibol — König Rama IX. mit Bundespräsident Heinrich Lübke im Jahr 1960 Darstellung vor der dänischen Botschaf …   Deutsch Wikipedia

  • Zermelo–König paradox — See König s paradox …   Philosophy dictionary

  • Thailändischer König — König Rama IX. mit Bundespräsident Heinrich Lübke im Jahr 1960 Darstellung vor der dänischen Botschaft …   Deutsch Wikipedia

  • Julius König — (16 Dec 1849 – 8 Apr 1913) was a Hungarian mathematician. He was born in in Györ, Hungary and died in Budapest Biography König s name in Hungarian was Kőnig Gyula or in the more common European name order Gyula Kőnig, but when König contributed… …   Wikipedia

  • Paradoxes of set theory — This article contains a discussion of paradoxes of set theory. As with most mathematical paradoxes, they generally reveal surprising and counter intuitive mathematical results, rather than actual logical contradictions within modern axiomatic set …   Wikipedia

  • Jules Richard — (born 12 Aug, 1862 in Blet, Département Cher, died 14 Oct, 1956 in Châteauroux, Département Indre) was a French mathematician. Life and WorksRichard taught at the lycées of Tours, Dijon and Châteauroux. He obtained his doctorate, at age of 39,… …   Wikipedia

  • Bhumibol — König Rama IX. mit Bundespräsident Heinrich Lübke im Jahr 1960 Darstellung vor der dänischen Botschaf …   Deutsch Wikipedia

  • Bhumipol — König Rama IX. mit Bundespräsident Heinrich Lübke im Jahr 1960 Darstellung vor der dänischen Botschaf …   Deutsch Wikipedia

  • Rama IX — König Rama IX. mit Bundespräsident Heinrich Lübke im Jahr 1960 Darstellung vor der dänischen Botschaft …   Deutsch Wikipedia

  • Rama IX. — König Rama IX. mit Bundespräsident Heinrich Lübke im Jahr 1960 Darstellung vor der dänischen Botschaft …   Deutsch Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.