{"entities":{"Q2232007":{"pageid":2242750,"ns":120,"title":"Item:Q2232007","lastrevid":74314044,"modified":"2026-04-14T19:29:45Z","type":"item","id":"Q2232007","labels":{"en":{"language":"en","value":"Iteration of functions and contractibility of acyclic 2-complexes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7405618"}},"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":"Q2232007$D84FA1B9-D080-430B-A0FD-9543D157F898","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69d8d07c7e00d58eb9d52c60ee265d08f8e9b691","datavalue":{"value":{"text":"Iteration of functions and contractibility of acyclic 2-complexes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2232007$AA60BBC7-DF5C-4934-ABC0-7ED06FDAE002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ae1c732fd78aca4a1995b59e5676cff1342e725","datavalue":{"value":"1482.57021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232007$6B5FDCFB-918C-489A-BE6E-A3EE8C2F0235","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b38d136b18124840593e878b22c721bbe956448","datavalue":{"value":"10.5565/PUBLMAT6512110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232007$0B94F700-A2C1-4890-B7A9-DA9E507DD9CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed4f513c94031f8bf32d9d524c1126dddff8b76b","datavalue":{"value":{"entity-type":"item","numeric-id":195374,"id":"Q195374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$2F743F7F-2478-4BD9-B62D-A56114C2BB40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c116b72633e9f22e751f69959aabc2bb80e437d","datavalue":{"value":{"time":"+2021-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2232007$B995973D-2993-41EE-979D-1AA57AEDBEA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac9e9752d8ddfde2cb9ad7729b7588cc62f64d57","datavalue":{"value":"https://arxiv.org/abs/1910.00931","type":"string"},"datatype":"url"},"type":"statement","id":"Q2232007$3A8C913F-388F-4655-8ABA-2031B1C93536","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86957b5d450c74b84b90cac04333aa70d494f696","datavalue":{"value":"In this article, the author obtains an interesting connection between the theory of 2-dimensional complexes and the famous \\(3x+1\\) problem. Let \\( \\mathbb{N}\\) be the set of positive natural numbers and \\(f:\\mathbb{N} \\rightarrow \\mathbb{N}\\) be a function defined by \\(f(x)=3x+1\\) when \\(x\\) is odd, and \\(f(x)=x/2\\) when \\(x\\) is even. The Collatz conjecture states that every orbit of \\(f\\) contains \\(1.\\) A result of \\textit{S. A. Kurtz} and \\textit{J. Simon} [Lect. Notes Comput. Sci. 4484, 542--553 (2007; Zbl 1198.03043)] implies that there can be no algorithm to decide whether the Collatz conjecture is true or not. Let \\(\\mathcal{P}(f)=\\langle a_{i},i\\in \\mathbb{N} :a_{f(i)}^{-1}a_{i}a_{f(i)}=a_{i}^{2}\\rangle \\) and \\(P(f)\\) be the presentation 2-complex. The author proves that \\(P(f)\\) is contractible if and only if the Collatz conjecture holds. Since \\(P(f)\\) is aspherical and acyclic, there can be no algorithm to decide whether an infinite, recursively described, aspherical, acyclic presentation 2-complex is contractible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232007$4856FA5B-3840-4523-82F2-4A032E4A331A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232007$43C07F95-35EF-4177-BCE0-0ECD1EFB4D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232007$9EC38BBE-A3CD-4E26-BBDE-3D5EBE2A2CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232007$2DDF70A4-50B4-4634-95C2-FD8DC5BF1859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232007$654DE3BF-EB39-48A8-9140-ED637201FF93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c58a999882a4eae2eda2ab5814c97d9e42b4773","datavalue":{"value":"7405618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232007$F9FCAD61-9BD8-4D4A-BE20-31E0D48AD50A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ee7a5bc2a1d1c92f59d71164d6067d3c5c67de","datavalue":{"value":"\\(3x+1\\) problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232007$3083E50D-3950-41A8-B0BD-C3F34C81608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f35025ba46a9902dcfcc8c61c8c2306617b8f94e","datavalue":{"value":"2-complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232007$9C3CC4A9-1E9E-4CDB-B6C3-AAF2CEE237EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af64928f19b22151146a3cb2f6c0469d72892e9","datavalue":{"value":"Collatz function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232007$6E223B46-3705-40DF-B5D7-A6D127515E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e3fcc84d92c0d7097f8bd852a680cf5f6fd2ea","datavalue":{"value":"contractibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232007$ECBAFC99-5354-4B70-A4B5-19A3AD154BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2232007$D2A438F7-9101-42EA-ADC2-AC2E0B245C1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f86e6751fdabe7c8659816c405c4b970d9390a6","datavalue":{"value":{"entity-type":"item","numeric-id":193521,"id":"Q193521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$08CAF043-2A33-4A9A-B24D-BDE880B0798B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b0bad652fe2e081abbba7186d60488d556fad164","datavalue":{"value":{"entity-type":"item","numeric-id":998516,"id":"Q998516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$1E519B50-256A-465C-866A-659E5491636B","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":"Q2232007$D97D4FB0-5ED3-486C-B2F0-5F198589EB66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26429ad2470803f628ebed2e452031643c510c00","datavalue":{"value":{"entity-type":"item","numeric-id":3152673,"id":"Q3152673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$DC9E296D-7763-45E3-B3D3-3DCC6A03AAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6632cfb65b9357532810a836d4ece74f3f566683","datavalue":{"value":{"entity-type":"item","numeric-id":4103618,"id":"Q4103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$A80B0DEA-E52A-4F95-A301-1B69D0D53340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8063aab2456cd79fb9f58b583c44a7949600de2","datavalue":{"value":{"entity-type":"item","numeric-id":4819371,"id":"Q4819371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$F9CD1220-589D-4A83-88BF-774EEFE2D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39b5869d83034d553bc57e556881374a03bb7bc","datavalue":{"value":{"entity-type":"item","numeric-id":5803291,"id":"Q5803291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$1CFCD9C8-DD19-4626-8BAE-9A7778671E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ddc6a7424635a7f977430176908919f049d041","datavalue":{"value":{"entity-type":"item","numeric-id":5425466,"id":"Q5425466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$81796AF1-151D-4747-81C6-795C271C5986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3bc35973007f51b9b43245e69e94d1ab6d0584","datavalue":{"value":{"entity-type":"item","numeric-id":3066190,"id":"Q3066190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$F829305F-1674-4BA2-9D2B-9EAC85113F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232007$17037041-83EB-4EC8-B453-11FC16B16078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9d1a9596ddad723248b4c116b88b739ee294f2","datavalue":{"value":{"entity-type":"item","numeric-id":955043,"id":"Q955043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a661c1d6705798d7772bfe6bd25926aa3043fe","datavalue":{"value":{"amount":"+0.732753574848175","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":"Q2232007$83991878-D115-4EE5-8DB5-95478B65748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053b3e9d0c8cd44c328786735f8913fa396f7445","datavalue":{"value":{"entity-type":"item","numeric-id":5425466,"id":"Q5425466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3a27592a063c77ad1673373e52d2717a5213b5","datavalue":{"value":{"amount":"+0.7286715507507324","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":"Q2232007$1BB4B942-0718-4358-AB29-154D0885C68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe60cc642fe24cb896be90e882948ea048bc11d0","datavalue":{"value":{"entity-type":"item","numeric-id":2996237,"id":"Q2996237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee48143f8053cc8e79cb394b646fe087726c15d0","datavalue":{"value":{"amount":"+0.6911418437957764","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":"Q2232007$B836EE41-DDED-41D6-AB2C-098609C7A70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a287f2993ee7a65e260b6a72c189337e03638","datavalue":{"value":{"entity-type":"item","numeric-id":4292767,"id":"Q4292767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c584974569dc5eba6fe3fc6d87a9cae9837eb7","datavalue":{"value":{"amount":"+0.6909448504447937","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":"Q2232007$DA29D93B-FFB8-4C1F-8410-868238CC36B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731188f5bb66fc7140b3b8fda07880c216f4b29c","datavalue":{"value":{"entity-type":"item","numeric-id":4575928,"id":"Q4575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299fe6bab6f16fba3821f8124305e6522e3e687a","datavalue":{"value":{"amount":"+0.6883796453475952","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":"Q2232007$13B16A26-85B8-4D95-AA47-863F88360EC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iteration of functions and contractibility of acyclic 2-complexes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iteration_of_functions_and_contractibility_of_acyclic_2-complexes"}}}}}