{"entities":{"Q4211222":{"pageid":6240823,"ns":120,"title":"Item:Q4211222","lastrevid":108381929,"modified":"2026-11-06T04:47:50Z","type":"item","id":"Q4211222","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1199707"}},"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":"Q4211222$AB842B91-CAE2-43C1-A8C8-1D566AE230F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45012db7d5aa6fad826fd254c2e3e14a29b34d4a","datavalue":{"value":"0901.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211222$0ADEAD90-C7B5-41BB-BB8C-575D262A9F37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e5c12c1b08adfb5da3ae1e38ae2cdd5884f9c96","datavalue":{"value":{"time":"+1998-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4211222$041D0DA6-BA81-4E0C-8398-BFDB2D3B0EBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211222$F4023050-4FA7-40C8-A1B3-C013A292DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211222$A4E3F7A4-F8E2-436B-8F06-1F55CADD735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211222$5B7177A7-16DB-4467-839E-395AB65DFE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eca42d77da3fb0f1b07caa8dbb234a35613a8094","datavalue":{"value":"00B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211222$674D1024-30C2-47F9-B20F-23FC2E1793BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211222$E4902917-E3F1-4AE3-B94A-DA17A3354C47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7780af618cde8b5833aaa09629c6c5fbf4f87a25","datavalue":{"value":"1199707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4211222$D1A82FF7-F0BC-49E2-9BC0-996671D6F909","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$37F409BE-A788-4D58-BFCE-B00D555DB95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$BC5BE6D3-925E-48E6-AF04-3E0EA5B79C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42905ee77046a7fe3c2ca86ac1f1080c08ddd1e3","datavalue":{"value":"Brouwer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$851F83FF-829B-47F0-8808-FC0CCE0EDD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b9d18cfdd6300d86211760603da3ade7c58dc7","datavalue":{"value":"Weyl","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$056182BD-88CC-4E24-A268-AED200977405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6ab46f4097933b69e6c8cee46daee2173dcc62","datavalue":{"value":"Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$946B8667-EB5B-47C9-A603-DD78AF50BEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39afa182f881f10a34fa61ed9a215260cdb45919","datavalue":{"value":"Bernays","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$CD0135B6-0D97-4706-9647-C971FD3696A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$0D1DAE58-4D08-4AA4-9BFD-8F05A6243BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4282b5b6410186b7da0f96710e20658f12aa55f","datavalue":{"value":"G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$1D1824F8-E4D7-41A3-AB77-5936CBC877F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c7346eecf86cf0b2f0250308b6bcd7ee10fe8ce","datavalue":{"value":"Kreisel","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$A2B72EE2-45B6-4E10-9DFD-B3FF645E3C23","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":"Q4211222$4D7329DA-A259-4ACD-95AE-562BE757C414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6d6dfdba9f7b237ffcb6a548c371d50ff917f6","datavalue":{"value":{"entity-type":"item","numeric-id":3515911,"id":"Q3515911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69bfee12be07587132b2bbd51f5be178c4c4a87","datavalue":{"value":{"amount":"+0.8247232437133789","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":"Q4211222$E472E015-AB37-481A-BC00-1FB532C489A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af76522cbba5b32fe0033ba9a634f3d458ede898","datavalue":{"value":{"entity-type":"item","numeric-id":4338832,"id":"Q4338832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec4a13750b01ead61150589aaab9d1e72f7ab27","datavalue":{"value":{"amount":"+0.8034381866455078","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":"Q4211222$F7B9200B-E321-4041-A839-29B7A936EF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac030296c4d8cab5693849f9762db946d2a37f04","datavalue":{"value":{"entity-type":"item","numeric-id":4388951,"id":"Q4388951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bf98b9b14c1c7424c777ea8c89a62803c5e681","datavalue":{"value":{"amount":"+0.8010507822036743","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":"Q4211222$25A7B95D-03E8-423F-ABA0-3D956A3B88A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9a1e5260b2d9f54a6ed3efca4503d80d652eb8","datavalue":{"value":{"entity-type":"item","numeric-id":3535940,"id":"Q3535940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3854472326493f2ff4e8bc904f7de4660d3c51fa","datavalue":{"value":{"amount":"+0.7951691150665283","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":"Q4211222$BEE4432E-64FE-4AF1-B1E8-AACEAA52F93E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efe7d065377c72c96963b0feca093053994c262d","datavalue":{"value":"D\u00e9scription par l'\u00e9diteur: ``Le pr\u00e9sent recueil contient la traduction de trente articles dus \u00e0 Brouwer, Weyl, Hilbert, Bernays, Gentzen, G\u00f6del et Kreisel, dont la publication s'est \u00e9chelonn\u00e9e de 1908 \u00e0 1958. Ces textes se rapportent \u00e0 ce qu'on appelle ``les fondements des math\u00e9matiques''. Ils consignent en particulier les fameuses discussions entre intuitionistes et formalistes sur la port\u00e9e de la constructivit\u00e9 en tant que crit\u00e8re \u00e9ventuel de v\u00e9rit\u00e9 et d'existence en math\u00e9matiques.'' Table des mati\u00e8res. \\textit{Jean Largeault}: ``Pr\u00e9face du traducteur'' (7-14); I. \\textit{L. E. J. Brouwer}: ``Qu'on ne peut pas se fier aux principes logiques'' [``De Onbetrouwbaarheid der logische Principes'', Tijdschr. v. Wijsbegeerte 1908, 152-158 (1908); Engl. transl. in: L. E. J. Brouwer, Collected works. Vol. 1, 107-111 (1975; Zbl 0311.01021)] (15-23); II. \\textit{L. E. J. Brouwer}: ``La nature de la g\u00e9om\u00e9trie'' [Dutch original: Amsterdam: J. Clausen (1909; JFM 40.0520.01)] (25-37); III. \\textit{L. E. J. Brouwer}: ``Intuitionisme et formalisme'' [Dutch original: Amsterdam: J. Clausen (1912; JFM 43.0111.01)] (39-53); IV. \\textit{H. Weyl}: ``Sur la crise contemporaine des fondements des math\u00e9matiques'' [German original: Math. Z. 10, 39-79 (1921; JFM 48.0047.14)] (55-105); V. \\textit{D. Hilbert}: ``Nouvelle fondation des math\u00e9matiques. Premi\u00e8re communication [German original: Abh. Math. Semin. Univ. Hamb. 1, 157-177 (1922; JFM 48.1188.01)] (107-130); VI. \\textit{D. Hilbert}: ``Les fondements logiques des math\u00e9matiques'' [German original: Math. Ann. 88, 151-165 (1922; JFM 48.1120.01)] (131-144); VII. \\textit{D. Hilbert} ``Les fondements des math\u00e9matiques'' [German original: Abh. Math. Semin. Univ. Hamb. 6, 65-85 (1928; JFM 54.0055.02)] (145-163); VIII. \\textit{H. Weyl}: ``Remarques et discussion \u00e0 propos du second expos\u00e9 de Hilbert sur les fondements des math\u00e9matiques'' [German original: ibid. 6, 86-88 (1928; JFM 54.0056.01)] (165-169); IX. \\textit{P. Bernays}: ``Annexe \u00e0 la conf\u00e9rence de Hilbert sur les fondements des math\u00e9matiques [German original: ibid. 6, 89-92 (1928; JFM 54.0056.02)] (171-174); X. \\textit{D. Hilbert}: ``Probl\u00e8mes de fondation des math\u00e9matiques'' [German original: Math. Ann. 102, 1-9 (1929; JFM 55.0031.01)] (175-185); XI. \\textit{D. Hilbert}: ``Le fondement de l'arithm\u00e9tique \u00e9l\u00e9mentaire'' [German original: Math. Ann. 104, 485-494 (1931; Zbl 0001.26001)] (187-196); XII. \\textit{L. E. J. Brouwer}: ``Sur le r\u00f4le du tiers exclu dans les math\u00e9matiques, sp\u00e9cialement en th\u00e9orie des fonctions'' [German original: J. Reine Angew. Math. 154, 1-7 (1924; JFM 50.0146.02)] (197-205); XIII. \\textit{L. E. J. Brouwer}: ``D\u00e9monstration que toute fonction d\u00e9finie sur tout l'intervalle ferm\u00e9 unit\u00e9 est uniform\u00e9ment continue'' [Dutch original: Nederl. Akad. Wet. 33, 189-193 (1924; JFM 50.0147.01)] (207-217); XIV. \\textit{L. E. J. Brouwer}: ``Remarques sur la d\u00e9monstration de la continuit\u00e9 uniforme des fonctions totales'' [Dutch original: ibid. 33, 646-648 (1924; JFM 50.0147.02)] (219-221); XV. \\textit{L. E. J. Brouwer}: ``Dissociation intuitioniste de notions fondamentales des math\u00e9matiques'' [German original: Jahresber. Dtsch. Math.-Ver. 33, 251-256 (1925; JFM 51.0047.06)] (223-228); XVI. \\textit{L. E. J. Brouwer}: ``Sur les domaines de d\u00e9finition des fonctions'' [German original: Math. Ann. 97, 60-75 (1926; JFM 52.0239.01)] (229-237); XVII. \\textit{L. E. J. Brouwer}: ``Remarques intuitionistes sur le formalisme'' [German original: Sitzungsber., Preu\u00df. Akad. Wiss. 1928, 48-52 (1928; JFM 54.0053.01)] (239-251); XVIII. \\textit{L. E. J. Brouwer}: ``Math\u00e9matique, science, et langage'' [German original: Monatsh. Math. 36, 153-164 (1929; JFM 55.0028.04)] (253-269); XIX. \\textit{L. E. J. Brouwer}: ``La structure du continu'' [German original: Wien: Komitee zur Veranstaltung von Gastvortr\u00e4gen ausl\u00e4ndischer Gelehrter der exakten Wissenschaften (1930; JFM 56.0083.01)] (271-283); XX. \\textit{G. Gentzen}: ``La consistance de l'arithm\u00e9tique \u00e9l\u00e9mentaire'' [German original: Math. Ann. 112, 493-565 (1936; Zbl 0014.38801)] (285-357); XXI. \\textit{G. Gentzen}: ``Nouvelle version de la d\u00e9monstration de consistance pour l'arithm\u00e9tique \u00e9l\u00e9mentaire'' [German original: Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge 4, 19-44 (1938; Zbl 0019.24103)] (359-394); XXII. \\textit{G. Gentzen}: ``Etat pr\u00e9sent des recherches sur le fondement des math\u00e9matiques'' [German original: ibid. 5-18 (1938; Zbl 0019.24102)] (395-414); XXIII. \\textit{L. E. J. Brouwer}: ``Principes directeurs de la math\u00e9matique intuitioniste'' [Dutch original: Nederl. Akad. Wet., Proc. 50, 339 (1947; Zbl 0035.14813)] (415-417); XXIV. \\textit{L. E. J. Brouwer}: ``Conscience, philosophie, et math\u00e9matique'' [English original: Proc. 10th Int. Congr. Philos., Amsterdam 1948, 1, Fasc. 2, 1235-1249 (1949)] (419-440); XXV. \\textit{L. E. J. Brouwer}: ``Propri\u00e9t\u00e9s essentiellement n\u00e9gatives'' [Dutch original: Nederl. Akad. Wet., Proc. 51, 963-964 (1948; Zbl 0041.35207)] (441-444); XXVI. \\textit{L. E. J. Brouwer}: ``Base historique, principes et m\u00e9thodes de l'intuitionisme'' [English original: South Afr. J. Sci. 1952, 139-146 (1952)] (445-458); XXVII. \\textit{L. E. J. Brouwer}: ``L'effet de l'intuitionisme sur l'alg\u00e8bre classique de la logique'' [English original: Proc. R. Ir. Acad., Sect. A 57, 113-116 (1955; Zbl 0066.01101)] (459-463); XXVIII. \\textit{G. Kreisel}: ``Le programme de Hilbert'' [English original: Dialectica 12, 346-372 (1958; Zbl 0090.01004)] (465-500); XXIX. \\textit{K. G\u00f6del}: ``Sur une extension du point de vue finitiste non-encore utilis\u00e9e \u00e0 ce jour'' [German original: ibid. 12, 280-287 (1958; Zbl 0090.01003)] (501-507); XXX. \\textit{K. G\u00f6del}: ``Sur la nature du probl\u00e8me du continu de Cantor'' [English original: Am. Math. Mon. 54, 515-525 (1947), Correction ibid. 55, 151 (1948; Zbl 0038.03003)] (509-531); Appendice (533-541); Bibliographie (543-564).","type":"string"},"datatype":"string"},"type":"statement","id":"Q4211222$AEACCA99-CCAF-47F2-8681-A8890C98DFD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4211222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4211222"}}}}}