{"entities":{"Q752675":{"pageid":754524,"ns":120,"title":"Item:Q752675","lastrevid":42673214,"modified":"2025-07-08T08:44:51Z","type":"item","id":"Q752675","labels":{"en":{"language":"en","value":"The happy formalist"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179310"}},"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":"Q752675$524351CD-A82E-4319-A209-7BC69B7E6DF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70f27e7f23ddfa436e08baa7d22ad00d3d265ea8","datavalue":{"value":{"text":"The happy formalist","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752675$9BE2419B-6968-4E49-8463-90450CF38809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52f54b885c385d4e124750c5de351ead76fc3e17","datavalue":{"value":"0716.01018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752675$F577FA19-A932-473D-B448-464CFD3AE2CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c376828e318100abb1c187c658880f71188f664","datavalue":{"value":"10.1007/BF03024066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752675$F2D3A92D-BADD-4752-B604-38E84DE529BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$20A8AF9D-C93D-4651-BC86-B1C3D707DA9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752675$0BA323F7-E1F6-47B8-B567-5C94A81C01C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c9dcd34bb9942196369301f851d1b4f35cbd24c4","datavalue":{"value":"The author sees a renaissance and a genuinely new approach in the philosophy of mathematics. He considered himself a formalist, but often did not recognize his own beliefs in the characterizations of formalism given by many writers hard on it. He starts with a cursory summary of the principal philosophies of mathematics: platonism, intuitionism, logicism, quasi-empiricism. Discussing the critics of formalism he points out that he draws a distinction between ``imbedded'' and ``modelled''. A model is only a reflection of reality. When he says that a particular area of mathematics can be imbedded in a formal system, he means that there is a system such that the theorems of that system are exactly the theorems of the given area. Here the formal system consists of a formal language, a collection of statements (the axioms of the system) and a system of inference. The formalist thesis is simply that all of pure mathematics can be imbedded in formal systems. From this point of view such topics are discussed as mathematical practice, epistemology, aesthetics, logic, pedagogy, as well as games, incompleteness theorem, neoformalism and formalism in the large. Let us cite. ``Mathematical practice is not mathematics (no more than cutting up pigs is biology, or literary criticism is poetry).'' ``In the eyes of a formalist, all the various philosophies are compatible. Formalism wants to say what mathematics is. Platonism wants to tell us when it is true. Intuitionism wants to tell us when it is good. Logicism wants to tell us where it comes from, and quasi-empiricism wants to tell us what it means to do it. The trouble begins when each of these (except formalism) claims exclusivity.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$833DA728-5EFC-4173-90B8-4C0303AE83C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752675$7850C796-E429-4319-AA0A-F723B5F939A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752675$57EEB632-67CA-46D0-930B-41D0154B61E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c8d8e922d542f6d8f6d08a40f5d1c592aa2fd7","datavalue":{"value":"4179310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752675$1A2A536A-FA88-4E11-A780-FB5030B2DF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eba39bc1e803428796d60646c8aa06f32cd636b","datavalue":{"value":"platonism","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$4CFC54DD-F51C-4EE1-9638-4002750EEF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$F67B190C-01A0-4B63-B233-3F535F484D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f7a073452ca9e015eb8e3001df43b03dd5df8","datavalue":{"value":"logicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$07FB16B6-AD06-4366-B91C-06177B06C578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"120699344fdf925f4fd2e0de4ced993e5380cc3e","datavalue":{"value":"quasi-empiricism","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$5D56C65D-EFA8-48C7-B313-24E600369E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ecc9f1005e37a8c5ce014de28a44bb644cb03a","datavalue":{"value":"reality","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$9FBEB5FA-3E65-4FFC-9E65-7910B37A5120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4223e41d9f3a1b369ef3f5287e14cfcc5e356d3d","datavalue":{"value":"pure mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$76493940-2CD0-4D22-B0CE-5EB98242D2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dbff0d4f85c64354000eea509240638d007805f","datavalue":{"value":"epistemology","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$15B56F8C-8602-4A99-ADDD-34DB070F2EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c1bab3104bb7a5f454f06a91bf65c84e61c1bf","datavalue":{"value":"aesthetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$C80B49FD-3BC8-4911-8C7A-D5FF3CD21FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"889acb839b1f51899cf9cab7d6e7c521f827247a","datavalue":{"value":"pedagogy","type":"string"},"datatype":"string"},"type":"statement","id":"Q752675$C0DEA651-D711-4BE1-A443-DDC0EDE5E646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1b22709973100aa8866bca063cb6ece1741a415","datavalue":{"value":{"entity-type":"item","numeric-id":1088660,"id":"Q1088660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$CC980944-8191-4F33-885B-F23F737BD589","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":"Q752675$9BBF6616-ADE1-44B9-B100-65B9EC55E005","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed76fb826674154100cb639fa6d84dadf53cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3340832,"id":"Q3340832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$1F1F408F-C3A2-4F37-8B77-B80B30B19DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21685544772fcb1b1695644f4d7b8dbab0a39bd3","datavalue":{"value":{"entity-type":"item","numeric-id":5791195,"id":"Q5791195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$B5655587-4258-4B81-9B0B-93C77A244C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49ec57c7a6b61dd20b402575a95828bc7d4ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2649307,"id":"Q2649307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$ED6B97BE-215C-49A2-ADA9-F095DB7C5BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8a4b09fc4ab9b48d7054eccb9edfb2a9f860d4","datavalue":{"value":{"entity-type":"item","numeric-id":3783979,"id":"Q3783979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$5A6134B8-94EE-45C9-B89A-42172C40B231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$60E34A35-B622-435B-AE23-E7FF6694AA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acde54fbd511d44c78c9800fd7663054662153f","datavalue":{"value":{"entity-type":"item","numeric-id":3748220,"id":"Q3748220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$6BC61DD4-B2F0-4AD8-89DC-C5B05DF5040B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b94314eeb62e3afebe526620af4a76d5c62ed","datavalue":{"value":{"entity-type":"item","numeric-id":1200112,"id":"Q1200112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$1D08F1D7-C224-46A8-82CA-C8AC7B333B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaa1e2ebba8e0799a9a7542065e250ecde8e039","datavalue":{"value":{"entity-type":"item","numeric-id":3976588,"id":"Q3976588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$A59BE5F9-373A-4D7E-9010-74168FB8C38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a102e24ea8828b86283d1c947b28b6532bcf8c","datavalue":{"value":{"entity-type":"item","numeric-id":1093624,"id":"Q1093624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$91E56C98-0B9D-4236-8DA3-B05B1200E773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b22ab2830ef96baa3e342e8e6fdb08f4cde3fec","datavalue":{"value":{"entity-type":"item","numeric-id":5815609,"id":"Q5815609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752675$EF9C267E-BC53-48EB-A0A6-EFC98272D213","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1ccb33b994e04897e24dce0aaca0bc3fadc2f8","datavalue":{"value":{"entity-type":"item","numeric-id":2904378,"id":"Q2904378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9faa34e7d66283a870e8ae73d6e6471cfbce33","datavalue":{"value":{"amount":"+0.80267197","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":"Q752675$74D090F8-1615-454E-83B8-B88738DD8920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c615bb7b456d81d563a66a5a7c8f99ea2d7b50f","datavalue":{"value":{"entity-type":"item","numeric-id":427227,"id":"Q427227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12bff5a9d2236bb74f1aa7b922e2928240212d7","datavalue":{"value":{"amount":"+0.7514358","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":"Q752675$5AB15C90-93B5-4399-97B8-25AF574F5933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f0dfe04cf0dd75d0ec8d9d022ef6bcf568c5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1344442,"id":"Q1344442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b986de611a72da1ca44d6b8df4579d279a79993","datavalue":{"value":{"amount":"+0.75072235","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":"Q752675$32155E3B-5334-4254-B708-D3846AEA75D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0f1a6516a55862f2b583e249b2e589e2ae979b","datavalue":{"value":{"entity-type":"item","numeric-id":4247030,"id":"Q4247030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1402f5efc58867265a87994ec6dc48538dce7abc","datavalue":{"value":{"amount":"+0.7495892","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":"Q752675$719C26B1-80F8-4AAC-88A1-B346830EE0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794769b12657da492a15f9ef40e2ebdda191c517","datavalue":{"value":{"entity-type":"item","numeric-id":4325790,"id":"Q4325790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff492d32422fa8d4256cb385b55685c6bf3ac15","datavalue":{"value":{"amount":"+0.74020255","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":"Q752675$8EAAB648-6CCA-4A06-B9BD-2D90CBDB51C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a2f79b334699a5e70bb766972d59c55df950d1","datavalue":{"value":{"entity-type":"item","numeric-id":1317509,"id":"Q1317509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff492d32422fa8d4256cb385b55685c6bf3ac15","datavalue":{"value":{"amount":"+0.74020255","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":"Q752675$1E5DC5BD-07B0-4B9F-8B15-F993BBCE8498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:752675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:752675"}}}}}