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

  • 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

  • Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… …   Wikipedia

  • 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

  • Kentigernus, S. — S. Kentigernus, (13. Jan. al. 1. Juli), der erste Bischof von Glasgow (Glascua) in Schottland, auch Kentegernus, Kintigernus, Kentegrinus, im Altbritischen Kyndeyrn und vom Volke Mungho oder Monghu genannt, ist einer der beruhmtesten Heiligen der …   Vollständiges Heiligen-Lexikon

  • Liste geflügelter Worte/S — Geflügelte Worte   A B C D E F G H I J K L M N O P Q R S T U V W Y Z Inhaltsverzeichnis …   Deutsch 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

  • Georg Cantor — Infobox Scientist name = Georg Ferdinand Ludwig Cantor image width=225px caption = birth date = birth date|1845|3|3 birth place = Saint Petersburg, Russia death date = death date and age|1918|1|6|1845|3|3 death place = Halle, Germany residence =… …   Wikipedia

Share the article and excerpts

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