{"entities":{"Q1200218":{"pageid":1210967,"ns":120,"title":"Item:Q1200218","lastrevid":47116636,"modified":"2025-12-31T17:51:06Z","type":"item","id":"Q1200218","labels":{"en":{"language":"en","value":"Information-theoretic incompleteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96914"}},"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":"Q1200218$25B00D72-71F1-4AA4-89E7-54FF1CBF2A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50accf517fb141350dad88b3b0e5ebf5007dd52b","datavalue":{"value":{"text":"Information-theoretic incompleteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200218$CC7F56B6-3E3B-430A-9186-1C961E33A304","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd5850ac733a9a1eac77e0adfffccb17d28e3664","datavalue":{"value":"0776.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200218$49752F33-388D-44B3-9D94-D332F3162275","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ca0fbb7d9afc99c53506f683348b953149e2aae","datavalue":{"value":"10.1016/0096-3003(92)90099-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200218$D9B9D708-3CC4-4557-8FA4-10EAF48BFC99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$FF8B230C-8D69-4212-8CCB-B22E55ABF2CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1200218$A1EAD7DD-6DA5-4773-AAF5-B968F31B2F26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a80e3548dc3001ea778f3bdf3d96fc8fdcb63039","datavalue":{"value":"In this interesting note the author continues his many investigations of the incompleteness of basic topological systems. Several fundamental incompleteness theorems in his book on algorithmic information theory [Algorithmic information theory (1987; Zbl 0655.68003)] are reformulated based upon an improved definition of the complexity of a formal axiomatic system. The value added comes from measuring the complexity of a formal system in terms of the program-size complexity of enumerating its infinite set of theorems rather than in terms of the program-size complexity of the finite strings of axioms. Included is an incompleteness theorem for diophantine equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200218$4B6A0869-05B1-4034-ABBD-8355D1FCC7CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200218$210EBEEC-B9B2-44B2-A826-1A0AE4988BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200218$57257B59-3CD1-404F-9006-D8795472E1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200218$E273193F-B7C3-4FD6-9EDB-F3E8990816B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a1a044736e810a756b75e48a4454388b8d3add7","datavalue":{"value":"96914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200218$1B233E61-E339-4026-B555-51EEBCF81995","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849b3521e93792ea25e101240e43862452813cd4","datavalue":{"value":"algorithmic entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200218$1D5586A5-04D2-4DDB-A805-A1DC1043329C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496fb62b5fbbae0889439900bccaa24ccd7b815b","datavalue":{"value":"randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200218$6211D0BD-7F93-4958-9623-80D5C0EC4C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fc0ddca131d04479f62f180f156a20fe4e0eb74","datavalue":{"value":"complexity of a formal axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200218$BCDC4347-6368-46F6-993B-9EEA8CED4045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b72e6a3b5d95e4711f0f18aea86d208b14ab4127","datavalue":{"value":"incompleteness theorem for diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200218$D0F777C0-7568-4EC5-A059-80B8A26426C2","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":"Q1200218$287FB062-6311-4C86-9F2F-4A7CFB43837C","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":"Q1200218$E9BCC2C8-ED2A-476B-9055-F5272B92CB42","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":"Q1200218$1828C1A9-EDFC-4429-A2EB-2964A2166989","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef6c7f368fe60b873d4d962bde61970472d1f31","datavalue":{"value":{"entity-type":"item","numeric-id":4331759,"id":"Q4331759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$FD927D64-6AAB-4062-A804-67BD33363A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf3935e31f6be78e5602b59529545b103b0a4b1","datavalue":{"value":{"entity-type":"item","numeric-id":1242451,"id":"Q1242451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$010D4241-A3CD-4E4B-AAEF-615C8C6D63D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c505b8a452afb6bd145c8e41db160f3580ea1e38","datavalue":{"value":{"entity-type":"item","numeric-id":3995518,"id":"Q3995518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$35EFBEE4-200E-4D06-8F1A-28577FA63DEB","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":"Q1200218$C837C9EB-25DD-414B-99C1-63B89A67A53E","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":"Q1200218$528489EB-8E27-4295-BD19-CFF636A6EEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b467f9793d429294838b85c8faf6cdf9da59e27","datavalue":{"value":{"entity-type":"item","numeric-id":1105595,"id":"Q1105595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$95E3CA31-6B24-4806-8904-85B2EB5F6F7C","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":"Q1200218$93D0529F-202D-415A-83CB-91DE127AA667","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":"Q1200218$85F8DA6E-3CE5-4F1C-A5BF-1AC87419A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40331991cad1617f3e207c877b3fa7125da78954","datavalue":{"value":{"entity-type":"item","numeric-id":4342261,"id":"Q4342261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$07C5A1D6-1524-4E2F-8580-8946A2248506","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":"Q1200218$F19202C5-839A-4204-95CC-EEE849420CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0ea7a3c485113985a8ddac90d6e1e8df399b2c","datavalue":{"value":{"entity-type":"item","numeric-id":3135847,"id":"Q3135847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$3BB68092-7438-4D3B-BE55-E801275876A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b456fb79fc915712735b16c81d19cda85b65b9","datavalue":{"value":{"entity-type":"item","numeric-id":3986352,"id":"Q3986352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$4EC5443C-D372-4EB2-A5AA-07AD9565C65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7850c7728bbd7cdba69ebbd50415ee62a38d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3734384,"id":"Q3734384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$E87F900D-1E10-492B-81E5-21AEA676320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c510e58ec3ea315c6880f4411830bc2dfe459a1d","datavalue":{"value":{"entity-type":"item","numeric-id":4003732,"id":"Q4003732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200218$B0EAE95A-AFED-483D-BE28-E26518AE9CC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"508323a10e0dca0aa1ff5c7373dd90e25129b6c1","datavalue":{"value":"https://doi.org/10.1016/0096-3003(92)90099-m","type":"string"},"datatype":"url"},"type":"statement","id":"Q1200218$AC7DD6AD-2FD3-4171-A15D-F2BDB9F07956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed119dd23f7bdfdf99d364a55eea7f2ea0da89c0","datavalue":{"value":"W1969403659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200218$33B5074D-5461-41CC-8F6E-9B22EC2A49D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141303f1ff2a97e66ee0020705feb23070afcd1b","datavalue":{"value":{"entity-type":"item","numeric-id":4606020,"id":"Q4606020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0102e8ff66237dee65622c6de6ed3e1b8926f034","datavalue":{"value":{"amount":"+0.7992841005325317","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":"Q1200218$7176F8F3-3C6E-4563-80F9-08445162ACDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e4a22e41ad10578149abe1fdff48737951f97c","datavalue":{"value":{"entity-type":"item","numeric-id":3802576,"id":"Q3802576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868d2d675323c636c577d739db7e86a177a49cbd","datavalue":{"value":{"amount":"+0.7834254503250122","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":"Q1200218$536986F4-A4E6-4C29-B566-61258353E3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588e927a8436e2767345ee30c3490127794cf096","datavalue":{"value":{"entity-type":"item","numeric-id":1811810,"id":"Q1811810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74882186da1b53d899af0212d2234dda636b8cb","datavalue":{"value":{"amount":"+0.7833256721496582","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":"Q1200218$0CE4BBF9-4263-4D0F-98EE-F04C9FBAC9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7691087b3488cff8fe84ca75e2a654715160f722","datavalue":{"value":{"entity-type":"item","numeric-id":3995518,"id":"Q3995518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f0cc92f7a04802e2852ff05f41c31727d23753","datavalue":{"value":{"amount":"+0.7828308343887329","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":"Q1200218$3BBCB9E5-625A-45C7-9466-0C24FFE019C5","rank":"normal"},{"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":"0ec463eee5635e89ec0562c47a29fd55c5b77504","datavalue":{"value":{"amount":"+0.7704341411590576","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":"Q1200218$89BFF118-2E89-4F9E-9B07-65F45B1AD1E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1200218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1200218"}}}}}