{"entities":{"Q441154":{"pageid":442921,"ns":120,"title":"Item:Q441154","lastrevid":61894917,"modified":"2026-04-11T02:22:48Z","type":"item","id":"Q441154","labels":{"en":{"language":"en","value":"On the limit of the finite. The Hilbert programme in the context of formalism and finitism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6068649"}},"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":"Q441154$8BAFA1D1-9F73-4C9D-AF1D-158BDE4E113A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0487e2c129f58a1c67378037d87dc3d69af6db","datavalue":{"value":{"text":"On the limit of the finite. The Hilbert programme in the context of formalism and finitism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q441154$8418B419-B3B3-4F13-AD99-E27E622ACFCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"404078c9e44a8f7b45cf826508e0cdc907d53ba9","datavalue":{"value":"1267.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$32D4173E-B482-458F-B552-D3BCDB6BD063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b3459b1e982c4b7f91f7917ce0c5a6cb18361d3","datavalue":{"value":"10.1007/978-3-642-29654-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$A97DE60E-33CD-4EE2-9936-B440C5B2583D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f69681af9762fd3bfd49b756e148ec7aedb208d","datavalue":{"value":{"entity-type":"item","numeric-id":441153,"id":"Q441153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441154$11D90A47-94C3-4F35-9635-251A9B6AB996","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7057037f0677a020afdb39481bae51304890984b","datavalue":{"value":{"entity-type":"item","numeric-id":400733,"id":"Q400733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441154$CDD848DC-030D-4BC1-9ACF-FF06B432BA4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016b15aaaef402d4fe8fcd9eec2eb2abc6e8e42a","datavalue":{"value":{"time":"+2012-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q441154$B478E52C-7580-4B22-A1C0-766980456EB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa798daacc0a6d79d6bf69e8eaedaa49b3ed0757","datavalue":{"value":"This is both a philosophical and technical survey of finitism. In spite of this competent and thorough presentation, I still find it difficult to understand its attractiveness to mathematicians and logicians, but this book certainly makes all the issues surrounding finitism look interesting. Here is a brief listing of the book's contents.   1. Philosophical and historical background. Part I: The Hilbert programme. 2. Specification and aims. 3. Axiomatic roots. 4. Logicism and intuitionism. 5. Formalism. 6. Finitism. 7. The method of ideal elements. 8. Instrumentalism. Part II. On the execution of the Hilbert programme. 9. Consistency proofs of simpler axiom systems. 10. Ackermann's consistency proof. 11. Intuitionistic and classical number theory: HA and PA. 12. Gentzen's consistency proofs. Part III: The significance of the Hilbert programme. 13. Poincar\u00e9's concerns. 14. On G\u00f6del's theorems. 15. On Kreisel's concerns. 16. Resum\u00e9. Bibliography.","type":"string"},"datatype":"string"},"type":"statement","id":"Q441154$7435E765-EFE3-483B-8CF9-705667EC715B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441154$FF7AA9B3-CE3A-44F5-AC0C-46EF96BAA06D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$0E28AAED-9802-4397-A65C-8C294E39F88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$88DF5956-16BB-451A-90F4-B04EC0527892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$C457EFF0-209A-4304-8D0A-4E6298980911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$E1BD5964-762A-4A17-A1E5-830EEDB7A1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$8C09B9EE-64CF-4D93-BF45-41DA7C6A2325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$8EBA9AE1-AC20-4671-BE39-8F263C1C7C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$C09BEF9C-BD27-49BB-A926-7E7442BE2898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9b948045e99f5cfbc8389f0a1e77b1e88112287","datavalue":{"value":"6068649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$CAA59B5E-B29D-4946-8CA7-88CD0CB2DD59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0bdd078633eec083f77d77f9e6de7a8a55abb02","datavalue":{"value":"formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q441154$ABE99F69-7BA2-4D14-823E-1F76504DBAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q441154$B98D49F1-5D65-4FBF-98FF-DFB6643B5DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6bb3269f564e59bc6511c746db577f9f425698","datavalue":{"value":"Hilbert's programme","type":"string"},"datatype":"string"},"type":"statement","id":"Q441154$2ADF03DB-D919-4F89-A5FF-8091C3A2F1B0","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":"Q441154$4816D1BC-4387-48D4-B45B-1AE83FCBBC3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03543bb9e53b7695d20ccc931bbdf18134e0704e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29654-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q441154$8E1607EB-B2F3-451E-8AB1-7F6EDB0AF145","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb9db13146c4c1e9b2e5384b3872fd7ace73d2a1","datavalue":{"value":"W1609207936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441154$4BD36A35-C30A-4317-A6EF-180F82F74111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ca1d300568d252ccf5380ad860ff0a32fc0c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5212084,"id":"Q5212084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f264ffaa7b509525ee9077aa2b2d0f98f83a0e4","datavalue":{"value":{"amount":"+0.8561399579048157","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":"Q441154$8E9707CB-DD61-4BF0-9031-A472B6324E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6427bbed5440ac149f64e0da2946e9279a3cba","datavalue":{"value":{"entity-type":"item","numeric-id":1100453,"id":"Q1100453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08462769ab37712ea8c2c4b7f08af162a262f90d","datavalue":{"value":{"amount":"+0.8470641374588013","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":"Q441154$BBDD8484-01D7-406D-BC9F-8FE32F845AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e7e761f95733a326465102a2cfa1743bc2a47e","datavalue":{"value":{"entity-type":"item","numeric-id":4847764,"id":"Q4847764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ba14d577af49073ad30849f69d97455f6db260","datavalue":{"value":{"amount":"+0.8389931321144104","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":"Q441154$54EF5383-B94F-448B-82C9-C029B32DB486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bd94b4dee3f0beb675a427fcc8f6a2506a41af","datavalue":{"value":{"entity-type":"item","numeric-id":5869554,"id":"Q5869554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ba14d577af49073ad30849f69d97455f6db260","datavalue":{"value":{"amount":"+0.8389931321144104","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":"Q441154$4F1D0CD3-DE72-4B76-BC53-2D20168E021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf51f4856ed63cc63239a8a8cca5d93b8c792f2","datavalue":{"value":{"entity-type":"item","numeric-id":4227556,"id":"Q4227556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ae9b6fd2894b1d75e9d1b4c860efcc8a0ba0d1","datavalue":{"value":{"amount":"+0.8253776431083679","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":"Q441154$F7D0D933-7070-4121-9360-341219DACC4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the limit of the finite. The Hilbert programme in the context of formalism and finitism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_limit_of_the_finite._The_Hilbert_programme_in_the_context_of_formalism_and_finitism"}}}}}