{"entities":{"Q1277329":{"pageid":1288079,"ns":120,"title":"Item:Q1277329","lastrevid":46631508,"modified":"2025-12-25T07:21:26Z","type":"item","id":"Q1277329","labels":{"en":{"language":"en","value":"On interpreting Chaitin's incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1248202"}},"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":"Q1277329$43F0B4AE-AF77-403C-863B-F1267C23A79D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0fda0ff0658c1924cb916d21d9ba53f396c26c1","datavalue":{"value":{"text":"On interpreting Chaitin's incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277329$643FFF24-F06F-4543-8569-7A0008C8A5C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3d70f8e98f08eed87f82ecc31aa87c5d9cb2e08","datavalue":{"value":"0921.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277329$E42C29CC-D25C-41C9-BF2B-E521BDF9A5EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d070cc590a4f49ab1ddc8dc223a0b323026e2c4a","datavalue":{"value":"10.1023/A:1004305315546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277329$3D1C5261-1ACE-4ADB-9721-210DE7BCF725","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$2030F870-0303-405E-8587-B81CF10A11A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ec2443ff209285a956ca794883324a907a1d35a","datavalue":{"value":{"time":"+1999-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277329$C0BDFE2E-3006-48ED-B0BE-BA56E23B95FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8222e3a12e5b1a8b96be9d62c0859e4784068381","datavalue":{"value":"The author undertakes a detailed explication of the usual interpretation of Chaitin's incompleteness theorem of algorithmic information theory, viz., for each formalized theory of arithmetic there exists a bounded constant \\(c\\) such that the theory cannot prove any particular number has Kolmogorov complexity exceeding \\(c\\). The usual interpretation claims that the constant is determined by the complexity of the theory and measures the strength of the theory. It is argued, by means of counterexamples, that the usual interpretation is false, in general. The usual interpretation results from a confusion of syntactical form and semantical content. Indeed, (1) the usual measure of strength of a theory depends on accidental features of G\u00f6del numberings and codings of Turing machines and (2) Chaitin's techniques cannot provide the basic minimal constant, in general. Interesting special cases where the constant is computable would have implications for quantum communications theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$1B2670AF-59CE-490B-B9B2-51841F20EAC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277329$3ABBB5F1-C263-4CAE-B79C-D92260B8C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277329$41617EB5-6574-489E-BBF3-DEF9E255877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277329$DA5E886C-C2A3-46B5-B61F-BF76C43BE94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277329$EFA157F2-7A36-42C2-B6AD-AB110DCF00FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"453cd9702b7fb18df2572ebc84dec74b3adff212","datavalue":{"value":"1248202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277329$607C2635-32D3-4BAB-B813-8A837D41C279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81d0cb82111182306eaa37c7dcea3c2437c2208","datavalue":{"value":"Chaitin's incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$B4DD2CDF-32E8-4181-AC1F-BB9B04AAD56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9baf9b21255bc7c4f08f1de2606000e9b9a9e18","datavalue":{"value":"algorithmic information theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$FF3A3CDB-BF54-4A9B-A3E5-57BCC0253B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$3E9F3FF9-11E1-4486-B227-217F0F27C5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf4efb207cc8086699741f0875a672f4598f7a3","datavalue":{"value":"strength of a theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$86AAC96D-DF1C-45C7-8063-A6C2E91222DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682758c6950f40d2a8ce6717da7bc620bb4d515e","datavalue":{"value":"G\u00f6del numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$10466EA4-F0D7-46AD-ACCF-43EBCEAE12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b450dee1412f4c47ff92e66ad85d4b8a2073424b","datavalue":{"value":"codings of Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$30AC67D3-682C-42A5-B6DA-C80B43934D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6124e9199253a425f98c441d4e607e1c09614c","datavalue":{"value":"quantum communications theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277329$1E1FA18C-BD0B-4891-9B78-CFBC12280175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b7c301f4b02aff1be5220f52a5fad9d3047f8c","datavalue":{"value":{"entity-type":"item","numeric-id":162815,"id":"Q162815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$DD279FD4-93BD-4CE1-8FF6-8D51EA784559","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$EA256C37-FAE1-4756-9230-C88DF9A6CBDB","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":"Q1277329$28F7C1E1-82BB-488F-B98B-02248D9A94E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f2a91f73e977fa33df8e44bb9f283acb979a41","datavalue":{"value":{"entity-type":"item","numeric-id":5541281,"id":"Q5541281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$AD9BCA18-E438-42EC-9790-1C75CE0F2C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82510085048b7da99596b08173af84cfee5e936a","datavalue":{"value":{"entity-type":"item","numeric-id":3998431,"id":"Q3998431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$8F26C9F5-8262-4FBA-8B9C-9E83862CB097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca853c7c2b94bb2410b876f9b834b5e42be3762f","datavalue":{"value":{"entity-type":"item","numeric-id":4768625,"id":"Q4768625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$EFA7B6B5-B539-4168-BBCC-9CABD0018775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f416081c3eaaf4dde329560f81e41ba25dd362","datavalue":{"value":{"entity-type":"item","numeric-id":4775470,"id":"Q4775470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$3925125F-09BD-46BF-9B71-6A222835A2E9","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":"Q1277329$805B8EF4-88BB-4703-90D1-F705F2BBE55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c857c735d0024f3b5dd6b29104a553131550f","datavalue":{"value":{"entity-type":"item","numeric-id":1811810,"id":"Q1811810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$0FB3EF74-7CA6-4E34-AF98-39CAE1E2C4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$99C948AA-C1BB-4E16-B4BB-77B625FB4FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$5CC8FC9F-1D03-446E-9E96-F95180EFF2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0365418a624c8d4afcaddb8f25b1c4de6c1379a","datavalue":{"value":{"entity-type":"item","numeric-id":3197800,"id":"Q3197800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$BCB935F6-741B-44E5-97EB-37982C7CA7AD","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":"Q1277329$E6BB9E4A-497A-4860-A81D-91AF02A4E362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186861780eab49220bbfbae7666b266f31ff3c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3260572,"id":"Q3260572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$7F7561C1-CE67-4D65-A9EF-27E038F6E885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$1ACF9B29-A342-4FA6-B13C-D08E00E46570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b80686cc503dcc63c150667abdb50b9acfe18e","datavalue":{"value":{"entity-type":"item","numeric-id":3996819,"id":"Q3996819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$25865661-1F0A-4A43-8129-3F96AD46E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$CFEDC82A-FA47-49B8-A4C7-277B008EB30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1c5b9ba68636470fc686b94c43744a5dded42b","datavalue":{"value":{"entity-type":"item","numeric-id":4227577,"id":"Q4227577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$41423970-4F70-4919-AD14-F460302FAF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acde54fbd511d44c78c9800fd7663054662153f","datavalue":{"value":{"entity-type":"item","numeric-id":3748220,"id":"Q3748220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277329$B0A9A66F-5239-4295-BD1B-10CACBBC6D8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94e4a7d402be113cc6a960ad915f69f0554a5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2386137,"id":"Q2386137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9464f3897eb7c227b5b7b0f056bfcd59815f35ae","datavalue":{"value":{"amount":"+0.8000850677490234","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":"Q1277329$78419BCD-A4C1-4433-B074-317C5D8750D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0a84c030c3c3fe4a475fc726c5a3f9b4121c99","datavalue":{"value":{"entity-type":"item","numeric-id":4942681,"id":"Q4942681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd0e65fdbb6233c042ff81adbf01d30920d4fc5","datavalue":{"value":{"amount":"+0.7993937730789185","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":"Q1277329$6F9C85F8-22EE-4C6B-A73B-3C4E1810DED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e7c47dee3bafe33f0834e52be5588d6f0c0a28","datavalue":{"value":{"entity-type":"item","numeric-id":3511460,"id":"Q3511460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef609a4e448062f0c40c13ac47cb00540ad4db63","datavalue":{"value":{"amount":"+0.7953800559043884","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":"Q1277329$D43477D8-AA8D-4023-96C0-81E883957D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b53c531ff0eed05ee96047668cb6e2391b6a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3197800,"id":"Q3197800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c935a8a03f31eec3c84485bbda749a04b03d7d3","datavalue":{"value":{"amount":"+0.775925874710083","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":"Q1277329$B46D2D9B-2B48-4CC9-8A20-0849866E8377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1277329","badges":[]}}}}}