{"entities":{"Q998614":{"pageid":1000462,"ns":120,"title":"Item:Q998614","lastrevid":65833638,"modified":"2026-04-12T05:41:30Z","type":"item","id":"Q998614","labels":{"en":{"language":"en","value":"``In the incompleteness of the first draft'' -- the discovery of the non-countability of the real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5503772"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998614$BBBA3B0E-1359-4C46-99AA-017C7C7E8C1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f56c84715c27ad0392da2be1b0a688236f66711","datavalue":{"value":{"text":"``In the incompleteness of the first draft'' -- the discovery of the non-countability of the real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998614$9EDDC49E-A684-4F42-A33A-0E735BA9009C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb1c20925d7aba516c43564dc3bbd097a9d2e820","datavalue":{"value":"1230.01017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998614$119D9D29-80FE-49CE-B3E0-633A8D00E21B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c712a15f381ae35af9ddfcd024b06d61ed0e9a2f","datavalue":{"value":{"entity-type":"item","numeric-id":238685,"id":"Q238685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998614$052CF719-617A-480C-9111-5AE759B1DD3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4e9f74f433df1c7c3e6e0c6ffc626db22235172","datavalue":{"value":{"entity-type":"item","numeric-id":169192,"id":"Q169192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998614$450710A6-FCBE-4E3A-A7D4-2AB02FE90C46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"534babf470585851b3efc418a9a4130e46805740","datavalue":{"value":{"time":"+2009-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998614$7EFA5BEB-6B33-4D5A-9B6D-BEB3F2E51F53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"938ad15818be9535f00911a8c3185aaa3b65e97c","datavalue":{"value":"This is a beautiful article discussing the first proofs of the uncountability of the reals based on the correspondence between Cantor and Dedekind. The author remarks that Cantor's first proof (which is different from the published versions) gives, without much ado, Baire's category theorem for the reals in the following form: If \\((M_n)\\) is a sequence of nowhere dense subsets of \\(\\mathbb R\\), then the union of all sets \\(M_n\\) does not contain an interval with positive length.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998614$53DDA45A-3480-43EA-A3A9-589C10F0EBC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ec9c6d4bf0e63d71e537eddb0a4ac9a7327d4346","datavalue":{"value":{"entity-type":"item","numeric-id":380409,"id":"Q380409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998614$93DE131D-0E0E-4B68-8EDB-F9C342858EC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998614$9E5918B2-FEB0-4CCA-98FE-AECA6CCD1E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998614$2ED2DE1D-0F1B-443D-A681-25BAB606BA22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e983a6b9545dc1a63913cb93803e5f8d7e8056","datavalue":{"value":"5503772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998614$9E3D6184-46A8-410D-B22D-3EB983B2044A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b94c71eb753e8ea10460c02b2d10be01ee7c75","datavalue":{"value":"Cantor","type":"string"},"datatype":"string"},"type":"statement","id":"Q998614$D7DC5628-E554-4278-AD89-6B343C661D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59daaf545a83f9bebd8db40209fb55b2dc0dbdce","datavalue":{"value":"diagonal argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q998614$9EC0188C-2A90-4A3F-A3DF-87DD7CC289BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a9a71304ac12e30fc3a4c93e4ceb3ad0fc3525","datavalue":{"value":"uncountability of the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q998614$DE41D624-0916-4FAA-8ADF-DB1486540558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a27c79387e5f579963e5948fadcd616b8e525b","datavalue":{"value":"Baire category theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q998614$E48AC196-33D0-4A7A-B52D-BBE3A218FE7B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998614$57C0F1A9-9CEB-4165-8000-C525CBEFA533","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545f61bdee64753aef2f7b7bb62130074d870327","datavalue":{"value":{"entity-type":"item","numeric-id":3103385,"id":"Q3103385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc269cc775bfcbf61b70098eb66946e0d39048d","datavalue":{"value":{"amount":"+0.8262052536010742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998614$9D29131D-41D1-49C8-99DD-57D0A21367F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e796846f3373e3c4463f69d00df907c1168558","datavalue":{"value":{"entity-type":"item","numeric-id":5740489,"id":"Q5740489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f02026e882ee7649673222e51e73f877383d455","datavalue":{"value":{"amount":"+0.7790215015411377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998614$91BC3B68-2E73-4DD1-9739-667D228ED290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2cbc290eeef1ace812ccea59ca61c212d16d3d","datavalue":{"value":{"entity-type":"item","numeric-id":5052009,"id":"Q5052009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a477fbf2d32824d0e0f05deaaed3ee488ab59c50","datavalue":{"value":{"amount":"+0.7697371244430542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998614$92950707-B5EC-4571-88A6-E1533F6A2F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6460884604f4b2ffada6b98f17537b48b945163","datavalue":{"value":{"entity-type":"item","numeric-id":4691631,"id":"Q4691631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06db5cfdf16a0f7bf01fa650c31c8e59e4278aca","datavalue":{"value":{"amount":"+0.7692239880561829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998614$969CCBF9-CEED-4C5C-B1CD-FDF3097F3664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f6ae1a01d65daf015c2966e35b058422f45545","datavalue":{"value":{"entity-type":"item","numeric-id":3404040,"id":"Q3404040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec7f7116a97309b8e6723462d78f4c0660c0790","datavalue":{"value":{"amount":"+0.7290725708007812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998614$6F5EA746-4A12-4DEE-B1A6-4554BB60816B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"``In the incompleteness of the first draft'' -- the discovery of the non-countability of the real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%60%60In_the_incompleteness_of_the_first_draft%27%27_--_the_discovery_of_the_non-countability_of_the_real_numbers"}}}}}