{"entities":{"Q1293008":{"pageid":1303758,"ns":120,"title":"Item:Q1293008","lastrevid":67501785,"modified":"2026-04-12T18:26:11Z","type":"item","id":"Q1293008","labels":{"en":{"language":"en","value":"Hilbert's formalism and arithmetization of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1322778"}},"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":"Q1293008$BEC36AE4-759B-44F9-9DF1-CF7C6347B795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"008a88b5e51f649feb5057abdb2d0e3ae5b0c0f6","datavalue":{"value":{"text":"Hilbert's formalism and arithmetization of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293008$62087470-063F-47FD-9141-1AF80B29F319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c282c75d57007b5dfeb2f3ecbd40e8e1ec40c491","datavalue":{"value":"0933.01014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293008$178152C1-E95A-4EF5-8CF8-69BB8A9C8508","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df91b7f1738fc45f37d53224d6f169efae3d5bed","datavalue":{"value":"10.1023/A:1004919107087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293008$6F09CA3C-3635-4218-B42C-43FA98E681A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293008$9167827E-C6C3-4F36-9EB9-0F76818AF94F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396a489414c9e9e8aedfbc8af9c03c0dcd267f27","datavalue":{"value":{"time":"+2000-03-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":"Q1293008$2EFFCC74-DFD5-49E9-811E-253C2059F574","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0faec91e0738e99f16b787fb5db3f1ea7a34a5c","datavalue":{"value":"The main concern is Hilbert's understanding of axiomatics, especially as deployed in his Grundlagen der Geometrie (1899), and in later sources such as a lecture course on foundations in 1904-1905 (not `a long lecture of 1905' of p. 3). The author shows that in some ways Hilbert was opposed to kinds of formalism in mathematics, and should have mentioned that Hilbert never used the word ``Formalismus'' to characterise his position; it was imposed by Brouwer, as a criticism. The author brings out by examples the model-theoretic aspects of Hilbert's philosophy. Various items of primary and historical literature in German are cited in the footnotes and references -- with a mass of spelling mistakes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293008$9EB04B78-21CD-4E3F-A521-FF050AE45412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293008$5B3E027A-E453-482C-9E38-2D56A32C6FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293008$778E2640-153B-422B-BCE5-E27B80961139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293008$58042A0D-2F43-425D-B559-0071C433ED5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7b5b8cb862de2de76118c9a02a937280811a20b","datavalue":{"value":"1322778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293008$AE0EFDBE-4D00-40BD-9FAC-5D23B02B4C63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3728530071c929731573c775b44312fc38dba15","datavalue":{"value":"D. Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293008$836C0DB0-BE32-4C5C-BDCB-BD2AEC715367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293008$44AC3A37-8C60-4FDA-B016-0F6F071978DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf0ab4d53960be9956cb0886cc01a8dabc06cb35","datavalue":{"value":{"entity-type":"item","numeric-id":1149427,"id":"Q1149427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293008$DCE862B4-4C30-48B2-91EE-4ACF413E4114","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2197f05185c1779b4f394abb70498fb0720750ef","datavalue":{"value":{"entity-type":"item","numeric-id":587142,"id":"Q587142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293008$EC1A4251-3974-464B-9FAB-F8160661A2B3","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":"Q1293008$AF5BDED9-0DF0-4480-ABFE-F2BAD4A5CA7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24b3862fd9ae2567a3107971a6377d0aa35d286b","datavalue":{"value":"https://doi.org/10.1023/a:1004919107087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293008$09C48C6C-51B6-4833-9551-7EA20D916133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"122f01b03c3009d47af7b60da47166d439866aed","datavalue":{"value":"W1591170770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293008$CF972534-E1C7-482B-8368-A6E014DED46B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012e683c913b86e7f9f3694a2af3786110359df4","datavalue":{"value":{"entity-type":"item","numeric-id":5856192,"id":"Q5856192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea1d86abe83043608de6f72af17e983062bdd52","datavalue":{"value":{"amount":"+0.7983132004737854","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":"Q1293008$9A80DF01-8EE2-473E-A741-534C774E958F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd77d7f3fcf3eb88957109b76ff660ff76ca02a8","datavalue":{"value":{"entity-type":"item","numeric-id":2945294,"id":"Q2945294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166dadb4f444b4545e789ed1372950ab026b2e4d","datavalue":{"value":{"amount":"+0.7831072211265564","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":"Q1293008$1719DD65-793A-451B-97D8-65E285123EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a478e45c908957e570a0db86ac5f3ebef79af4","datavalue":{"value":{"entity-type":"item","numeric-id":5694561,"id":"Q5694561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6f48f4256b65b3eae09e64e2232114882c46ec","datavalue":{"value":{"amount":"+0.7828350067138672","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":"Q1293008$0954568E-10F6-46C9-85D0-E0B7CC3EBCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350788b563f5f461c02415e9db15942876a6eff9","datavalue":{"value":{"entity-type":"item","numeric-id":1293009,"id":"Q1293009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12635d6a8c7c83f1bf6fc02c77b8afed89bf11e9","datavalue":{"value":{"amount":"+0.7811567187309265","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":"Q1293008$BD207932-83B3-4A54-8BA4-4961AC3B0CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5082b1cf88b20c02231bff6a09974b140b1464","datavalue":{"value":{"entity-type":"item","numeric-id":2042732,"id":"Q2042732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84b487f1e0f31a1c92576ecd72c7ad293d9f478","datavalue":{"value":{"amount":"+0.7778312563896179","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":"Q1293008$D4634105-8CDB-4995-B3AA-CACE312F0E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert's formalism and arithmetization of mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert%27s_formalism_and_arithmetization_of_mathematics"}}}}}