{"entities":{"Q931311":{"pageid":933159,"ns":120,"title":"Item:Q931311","lastrevid":65434209,"modified":"2026-04-12T02:33:53Z","type":"item","id":"Q931311","labels":{"en":{"language":"en","value":"The halting probability Omega: irreducible complexity in pure mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292676"}},"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":"Q931311$750F7EF2-2B6B-409F-BE44-9587A8D4EDBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7c5c4ed2f087e8e2a6482988083c018b1b0a636","datavalue":{"value":{"text":"The halting probability Omega: irreducible complexity in pure mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931311$C2662C1F-FFE6-40D9-97E1-ADE84C12734E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8e50c2e7cad0922b8110a127f1f93c17059a87a","datavalue":{"value":"1164.00002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931311$904CC9AA-D6A7-40A6-AA56-6EED59FCB622","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da46c5bafbf550579abf32457f44418e4d1b47ca","datavalue":{"value":{"entity-type":"item","numeric-id":302411,"id":"Q302411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931311$C4D6433A-E259-4A25-9457-F087034C4514","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931311$61427B6D-CBFF-4753-976A-DDA3B91E896F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f6325ed64aca5ce077e2ae3d0284b79d1121b92","datavalue":{"value":"https://arxiv.org/abs/math/0611740","type":"string"},"datatype":"url"},"type":"statement","id":"Q931311$E3AAE9F7-B190-410B-9466-D0058B2F727B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a30285b8934a56a56fc8994c3cc119250d358f5","datavalue":{"value":"The author gives here a philosophically oriented and essentially non-technical, but not really covincing explanation of his understanding of mathematical incompleteness phenomena, centering around the (first) incompleteness theorem of G\u00f6del, the unsolvability of the halting problem, and his approach toward algorithmic information theory culminating in the idea to compress the core information of the halting behavior in his halting probability \\(\\Omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q931311$2A570BCD-6D43-434B-9314-AE325F984E2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931311$01CBDF77-8BDB-493A-A270-582F6E5AEC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931311$F82E13E7-9AAE-4159-94C0-972DC9C022D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931311$7283DD4C-4DA1-4432-B999-873E4BCD87E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3c4f21311ef9668bd02ca0df178b6b9d5d415e3","datavalue":{"value":"5292676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931311$3DC52E19-C9B4-4C4D-9E60-74D96C234CDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q931311$B380CD03-171E-4B0E-A134-896FFA4C3625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q931311$AEE327B7-0D85-4EF8-9D2B-F3B366FAAF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9baf9b21255bc7c4f08f1de2606000e9b9a9e18","datavalue":{"value":"algorithmic information theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q931311$06A4F516-31B8-4BD8-B75A-F99252B8C30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q931311$A568C5BA-F19B-4C0C-AAC5-D2979902DFEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a134ed8c0accff85bfb082484919ea7fa8429c48","datavalue":{"value":{"entity-type":"item","numeric-id":1226483,"id":"Q1226483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931311$876A0E33-8FC3-47B7-AAC7-CA248F430C96","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931311$F243E8D9-EE1A-451C-AEDE-BFC02C1EB2BE","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":"Q931311$61A7D547-1246-45EB-A9EF-06CB460844BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3f9da0f2910a302ec60d893a983e40c7d9d251b","datavalue":{"value":"W2071115194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931311$D3F8584A-414E-4CC9-9FE9-5CB865D2A772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c031c8b6b4bbc1accc3c93994bcef8fb303c98e","datavalue":{"value":"10.1007/S00032-006-0064-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931311$3B36BCF4-94C9-4FA2-88C6-CA09ECB3FF0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2223b1e890254760665aafdbd2c4ec82e89f0e04","datavalue":{"value":{"entity-type":"item","numeric-id":5756762,"id":"Q5756762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ec3f8e4286d595e11afb3b76a388a063c0cb2b","datavalue":{"value":{"amount":"+0.8495872020721436","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":"Q931311$D84512B6-B058-4819-8AFD-8D8C742DF135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797870d03d420916f6c9f8f3d8154ff549a2225d","datavalue":{"value":{"entity-type":"item","numeric-id":5756952,"id":"Q5756952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9327a04a60098dba1be7afb0cdaab053df3d0a6e","datavalue":{"value":{"amount":"+0.836729109287262","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":"Q931311$06A80C3F-398E-455B-85B2-A7C49BE5F4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3819bbe0db92d940552ef46802d8a29d3ad26e3","datavalue":{"value":{"entity-type":"item","numeric-id":5926254,"id":"Q5926254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c23d57cb085ad57d28d2cda63edf7c10dcaae8b","datavalue":{"value":{"amount":"+0.8190973997116089","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":"Q931311$4DD77E54-3B88-4538-8736-0D683CDF6C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7108247220f9a55db69ae9ed94f7c2f0db09de","datavalue":{"value":{"entity-type":"item","numeric-id":3152803,"id":"Q3152803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51889cdeda77c6669339bc6986af6ef8d3f03c7a","datavalue":{"value":{"amount":"+0.8171390891075134","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":"Q931311$D7F623FA-3078-45FE-9B3E-621A7967C07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4d05588e100d1108d7974e8fef4a2b02918bd8","datavalue":{"value":{"entity-type":"item","numeric-id":4942040,"id":"Q4942040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b2f2963d5188eb372260c0115ed0a5e93e440b","datavalue":{"value":{"amount":"+0.8138498067855835","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":"Q931311$8C3FB42F-A9A0-488F-9F5E-C2CEEDA6C27A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The halting probability Omega: irreducible complexity in pure mathematics","badges":[]}}}}}