{"entities":{"Q1581779":{"pageid":1592519,"ns":120,"title":"Item:Q1581779","lastrevid":67918146,"modified":"2026-04-12T20:13:15Z","type":"item","id":"Q1581779","labels":{"en":{"language":"en","value":"The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515083"}},"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":"Q1581779$06D5DE02-B1F8-4D92-A7DA-1A37EE92C4F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c0c1ac29a91ba2c8a5ef513ceccb6150657275f","datavalue":{"value":{"text":"The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1581779$48248635-7DE1-4074-A23B-CCD00DDFEC59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d33c41bec4e26a980bff11b928649d74f7f8233a","datavalue":{"value":"0948.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581779$B519ED10-E6C0-42F4-97CE-7229084E7A45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85bb1cc4a53916b7eb3a9786c5ab992e5d127b7","datavalue":{"value":{"entity-type":"item","numeric-id":163625,"id":"Q163625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581779$19631F3A-642F-45EA-A39A-CA52E9A1BE67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1acc78fde4808e17e9a5e0d0c84bfd1f8ff46a7","datavalue":{"value":{"time":"+2000-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1581779$2D240A33-7106-4178-9FB4-104446172553","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8858e7f4496ff81439e1613b29b8282b0322359","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Cattaneo, G.; Dalla Chiara, M. L.; Giuntini, R.}, Constructivism and operationalism in the foundations of quantum mechanics., 21-31 [Zbl 1057.81502]  \\textit{Myrvold, Wayne C.}, Computability in quantum mechanics., 33-46 [Zbl 1057.81511]  \\textit{Svozil, Karl}, A constructivist manifesto for the physical sciences -- constructive re-interpretation of physical undecidability, 65-88 [Zbl 0989.81509]  \\textit{Parikh, Rohit}, How far can we formalize language games?, 89-100 [Zbl 0966.03511]  \\textit{Calude, Cristian}, What is a random string?, 101-113 [Zbl 0960.68601]  \\textit{Calude, Cristian; Campbell, Douglas I.; Svozil, Karl; \u015etef\u01cenescu, Doru}, Strong determinism vs. computability, 115-131 [Zbl 0970.03021]  \\textit{Makowsky, Janos A.}, Capturing relativized complexity classes with Lindstr\u00f6m quantifiers, 133-140 [Zbl 0967.03507]  \\textit{van Dalen, Dirk}, Why constructive mathematics?, 141-157 [Zbl 0966.03523]  \\textit{Krauss, Peter H.}, Hypothetical extensions of constructive mathematics, 159-174 [Zbl 0966.03522]  \\textit{Tich\u00fd, Pavel}, Constructions as the subject matter of mathematics, 175-185 [Zbl 0966.03510]  \\textit{Martin-L\u00f6f, Per}, Verificationism then and now, 187-196 [Zbl 0966.03513]  \\textit{Wol\u00e9nski, Jan}, Logic and mathematics, 197-210 [Zbl 0967.03002]  \\textit{\u010cuda, Karel}, A connection between Leibniz' infinitely small quantities and the analytical hierarchy, 211-218 [Zbl 0970.03043]  \\textit{Tait, William W.}, Extensional equality in the classical theory of types, 219-234 [Zbl 0966.03516]  \\textit{Sigmund, Karl}, Hans Hahn and the foundational debate, 235-245 [Zbl 0973.01029]  \\textit{Oeser, Erhard}, Crisis and return of intuition in Hans Hahn's philosophy of mathematics., 247-258 [Zbl 1057.00502]  \\textit{Reichel, Hans-Christian}, How can or should the recent developments in mathematics influence the philosophy of mathematics?, 259-268 [Zbl 0991.00001]  \\textit{Holton, Gerald}, On the Vienna circle in exile: An eyewitness report, 269-292 [Zbl 0973.01033]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581779$3ACFF1B5-F3F9-4394-B470-42D653CBBD70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581779$E53D84BE-7C9D-441E-8653-7763272053EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581779$A9B7253F-5C75-46BE-A91F-E39A6CD4DD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b95a06452f72ef953b65a52ad1b5d4658cc4c90c","datavalue":{"value":"81-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581779$8EDB57EF-AC75-45A1-92B7-93A80C592E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"502c6764a528f60081e8271f2abc18e5b3b1e9f2","datavalue":{"value":"01-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581779$F34CEC0F-CE89-4536-82E3-10BE5ED96F5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38ed1d6f20039eb76406d10405dd3022a83b6c6d","datavalue":{"value":"1515083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581779$7E572A34-90DB-45AE-AE33-C13B8878B69D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581779$C03AF682-C1FF-4251-9B5D-C61849525E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581779$AB5CBD14-6F28-4286-AC53-03E8DE2E37D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249d31c41f0db0012d3c023169e7cdf3517e2b47","datavalue":{"value":"Constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581779$FF1316F8-F174-4A0B-A298-65B1742E38E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581779$87F85D17-3283-4259-8A80-26E3E476A3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c7e032c917f95bb51738915419d2f90496c72","datavalue":{"value":"Vienna (Austria)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581779$E130AB6A-F7F9-48D8-8130-63B4ABACF93B","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":"Q1581779$379015A8-3A23-483E-BA0B-64D134BCF63E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2913eb882b62eb389295cdf3fc5505bebf47ab","datavalue":{"value":{"entity-type":"item","numeric-id":611306,"id":"Q611306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c1555cfcc88014358168d3e227954a795ba501","datavalue":{"value":{"amount":"+0.7891368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$A4425989-9410-4DAB-82EC-D1AED9013866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6af93f90aba8c982e41ae1c952b758d1a60100","datavalue":{"value":{"entity-type":"item","numeric-id":1125622,"id":"Q1125622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ca072bf71d8a7c13925f0c3c7617edd535614f","datavalue":{"value":{"amount":"+0.7752253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$EF8611CC-1B61-4803-827A-7A689BA0419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e329f3526c36d10df7d44fbec82da425dde215","datavalue":{"value":{"entity-type":"item","numeric-id":1434853,"id":"Q1434853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20309e014d6cfbf11940804b54476c0dcaf582f0","datavalue":{"value":{"amount":"+0.7735428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$3EB8BAAE-0C4C-4349-B574-97D5A38586B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b1a8de9acbffabf7a51da68f8158026fbd3834","datavalue":{"value":{"entity-type":"item","numeric-id":4793038,"id":"Q4793038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5403e53ce9e23538c5622ee2bfa9e923e99abe60","datavalue":{"value":{"amount":"+0.7721877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$3ED54C90-CB5A-4FF8-AD8E-58D5CCE42FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956ae1c47dca3f89bb8a790281747cdb645b02c0","datavalue":{"value":{"entity-type":"item","numeric-id":3728873,"id":"Q3728873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e75464951f9174b070d38d0ecc3400f6d679f99","datavalue":{"value":{"amount":"+0.77215594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$2902E27C-522C-42BC-ACC4-2ECC6F37BA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fd545ad39cb12c65715e620d40d6946b5257c7","datavalue":{"value":{"entity-type":"item","numeric-id":4913583,"id":"Q4913583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a415dd47ce2587d842c1a16169427cad0c7191","datavalue":{"value":{"amount":"+0.76812416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$80B18F7F-662C-429C-913F-2C84D51B5515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b6ccba0a20f1f01993b466a76c9ce88e859251","datavalue":{"value":{"entity-type":"item","numeric-id":3783261,"id":"Q3783261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aacd811b09712e5adc0ecdf9512926b12e2df10","datavalue":{"value":{"amount":"+0.764222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$5C68E5C7-A1FF-4F1C-823D-44953B8B9A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997f5de2fdb0624a9176c40ea1a57a0bcaeb7637","datavalue":{"value":{"entity-type":"item","numeric-id":5809947,"id":"Q5809947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c456daa48a7536ce7527a8ebc832e3dd0e6f68e","datavalue":{"value":{"amount":"+0.7631414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$92427778-F5D0-4FB1-B54E-799E5BF37155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b998045183bc172f6d875b8cb42acad892a33921","datavalue":{"value":{"entity-type":"item","numeric-id":4889580,"id":"Q4889580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f992472b76af71668e1ef77be102b4f0535bd563","datavalue":{"value":{"amount":"+0.7610862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1581779$305E280A-DD01-4F78-8C97-29CA0A1D339D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_foundational_debate._Complexity_and_constructivity_in_mathematics_and_physics._Proceedings_of_the_conference_on_the_foundational_debate:_constructivity_and_complexity_in_logic,_mathematics_and_physics,_Vienna,_Austria,_September_1994"}}}}}