{"entities":{"Q1607291":{"pageid":1618031,"ns":120,"title":"Item:Q1607291","lastrevid":74205336,"modified":"2026-04-14T18:57:13Z","type":"item","id":"Q1607291","labels":{"en":{"language":"en","value":"Chaitin \\(\\Omega\\) numbers, Solovay machines, and G\u00f6del incompleteness."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774164"}},"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":"Q1607291$7BDF71F9-3C16-4A69-9E66-798F7069892D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aa9d0948acfaeea8e922690d1d4d5410fc0b798","datavalue":{"value":{"text":"Chaitin \\(\\Omega\\) numbers, Solovay machines, and G\u00f6del incompleteness.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607291$3013F6B9-DE75-4B93-88C1-3450ADED94DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"519b203452863e8b498a5fc51856a3fab49048ff","datavalue":{"value":"1042.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607291$9E9E2B9C-DFA0-4D70-A184-8E6960B92735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cef8e699eebac4fc109f9a088ea4ef19b80ffab3","datavalue":{"value":"10.1016/S0304-3975(01)00068-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607291$C35F3215-ACFC-4E79-A82E-93A074CBF5B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e9fd827f0c306dc6fc60932527fbe8faec3e49","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$3EA35C60-CA7D-4D36-A303-4BE042FB33EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$C9E5256C-9784-40CE-961E-1654B1A4B08A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607291$BCD8D9C4-07FC-4E44-B78D-4E0C95A2F084","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"761825b189390a03c37654cc2531f3f6db3892f9","datavalue":{"value":"Computably enumerable (c.e.) reals can be coded by Chaitin machines through their halting probabilities. Tuning Solovay's construction of a Chaitin universal machine for which ZFC (if arithmetically sound) cannot determine any single bit of the binary expansion of its halting probability, we show that every c.e.~random real is the halting probability of a universal Chaitin machine for which ZFC cannot determine more than its initial block of 1 bits -- as soon as you get a 0, it is all over. Finally, a constructive version of Chaitin information-theoretic incompleteness theorem is proven.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607291$66156806-582B-4340-BE20-0F1869946C87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607291$6D008C42-D414-41DA-9FC9-E0489ACD972F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fe16d38bcb6203a856047218d9bc0052f0fa261","datavalue":{"value":"1774164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607291$1A8EAE27-8BED-463F-BE28-442727BFB23A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae86353209a4c504bde937f73ec86b6a8fc485a0","datavalue":{"value":"Computably enumerable real","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607291$D2A93080-7018-44D2-9A24-760FBC474B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63cc642ea03c6a5b071f5a207cf5cf7e80914bc","datavalue":{"value":"Chaitin machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607291$DAF5777F-B2A6-41CF-97C0-85A682B247B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"565fc6c612a55178b5bea848aaaed879b2012523","datavalue":{"value":"Random real","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607291$A7DDFE9F-7194-42D2-B620-08F4E5810347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa61cce1f5f7862f387e92a9f7c405aa10e6ecaa","datavalue":{"value":"Information-theoretic incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607291$8D54AEB1-EE37-4057-94C7-2B5B737153F7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1f0f2bdcb8172d02d21a73aba134bf16daf315a1","datavalue":{"value":"Q57001702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607291$40D46944-EFCA-4E2D-B59B-F322D831D437","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":"Q1607291$458BD32C-B8CA-41F7-8423-7588525962E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf93e6966c15ca8a099e60ee160344ed7f4199","datavalue":{"value":{"entity-type":"item","numeric-id":4326782,"id":"Q4326782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$28394733-4B8E-45DC-8EB0-38DF839B0AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74919e82f55b11da09e3f07f91b964f94ee14c91","datavalue":{"value":{"entity-type":"item","numeric-id":5958278,"id":"Q5958278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$7E715CD1-71B7-4047-A3E5-E7B11C0ADFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3dc601330af3fe61f5593cff8b790431e1a946e","datavalue":{"value":{"entity-type":"item","numeric-id":4381402,"id":"Q4381402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$05FFD7CB-BF06-4F8A-AC14-175449ECA051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac81113ad191bea492c91a479d793387535b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4520520,"id":"Q4520520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$6D1E4E03-44F4-430B-AC89-787D460FBCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688e530530b2aa80b106b3a8c0a385dbe89600f0","datavalue":{"value":{"entity-type":"item","numeric-id":4068087,"id":"Q4068087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$7A917526-0932-49D9-99D8-8E71EE7B4C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573f9451c18cb73fe59719b8f8cf8f07593917b3","datavalue":{"value":{"entity-type":"item","numeric-id":4137091,"id":"Q4137091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$3E7D7371-1ED3-4571-9256-77261DB6D8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945ea1fb83b49de1f4cd6b14978535c2605399b5","datavalue":{"value":{"entity-type":"item","numeric-id":3802576,"id":"Q3802576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$78D57BA5-DDA3-4152-8ADF-9AB06695AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cd3f56a649e15ca19a60ae05ff6c5a2d087137e","datavalue":{"value":{"entity-type":"item","numeric-id":2709403,"id":"Q2709403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$3C7E1F8A-8BC9-4CDB-B81A-E573020CDEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293a6e029d7ed8da48b9387dd266b6b6d0aedfe9","datavalue":{"value":{"entity-type":"item","numeric-id":4942040,"id":"Q4942040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$31E5A5B4-816E-4BE2-BB15-165964F19991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcee0d68c23a8d7188485f77db522d8ae0dda50","datavalue":{"value":{"entity-type":"item","numeric-id":4259438,"id":"Q4259438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$9F862CAF-A1F2-4256-9F2C-DFF7295274AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f490040678cf52c2245ec5c5e459bf248c910e0","datavalue":{"value":{"entity-type":"item","numeric-id":1607305,"id":"Q1607305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$51F8574E-D005-4069-A071-AEE58D9F9840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7381a3195979a13413309cd84f951aa07b96f6","datavalue":{"value":{"entity-type":"item","numeric-id":4219053,"id":"Q4219053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$1177C76E-8CFD-4E5F-A5D0-4CFA2176194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838afae8de48692336e4c511c507f1399af07f89","datavalue":{"value":{"entity-type":"item","numeric-id":2784448,"id":"Q2784448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$5377F0C7-68B3-4FC6-98EE-AEEDB645C6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$52961C00-6781-48DA-8D7A-C1800C334C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb522e584f7c1ff517c8a6db381e344b26e72b4","datavalue":{"value":{"entity-type":"item","numeric-id":4934359,"id":"Q4934359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607291$4B28781A-5399-4305-8970-9AC63820714B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28970a95deb1f05c8c19ee25e02ea593ce49c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5941066,"id":"Q5941066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93c22a2012cdb33d72af918dd6ff0f696ebed49","datavalue":{"value":{"amount":"+0.8394221067428589","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":"Q1607291$42B03A85-5249-4A88-8630-E517593077D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c69d2ab4d158b10f0632fe9775005fc18262f43","datavalue":{"value":{"entity-type":"item","numeric-id":4381402,"id":"Q4381402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a58fc14c4975fcb568e6deec5a3894895fca1a","datavalue":{"value":{"amount":"+0.8369871973991394","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":"Q1607291$95BB4B8D-E952-4062-ADCC-D64D28494326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b1b8f43cd65e7f1657b9c1669ea55593a1d98e","datavalue":{"value":{"entity-type":"item","numeric-id":4520520,"id":"Q4520520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a58fc14c4975fcb568e6deec5a3894895fca1a","datavalue":{"value":{"amount":"+0.8369871973991394","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":"Q1607291$9D6EFC12-736A-4852-AF70-A904AD337A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9877971ee65a080304aa240d32be6f5f44b9468a","datavalue":{"value":{"entity-type":"item","numeric-id":3391740,"id":"Q3391740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea8c52ade17c70407e8025d97806e99dc6dbae2","datavalue":{"value":{"amount":"+0.8365668654441833","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":"Q1607291$62049310-4DC7-47BA-BA1D-F938BC905D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59778c00046126e38d7964fa688fee9466964c7","datavalue":{"value":{"entity-type":"item","numeric-id":3576077,"id":"Q3576077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1d9e419723adb6df0c9e866eb603b5edceb929","datavalue":{"value":{"amount":"+0.8249866962432861","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":"Q1607291$80CBB759-0FC8-451C-A685-7353999D0B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chaitin \\(\\Omega\\) numbers, Solovay machines, and G\u00f6del incompleteness.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Chaitin_%5C(%5COmega%5C)_numbers,_Solovay_machines,_and_G%C3%B6del_incompleteness."}}}}}