{"entities":{"Q809063":{"pageid":810911,"ns":120,"title":"Item:Q809063","lastrevid":64534149,"modified":"2026-04-11T20:32:00Z","type":"item","id":"Q809063","labels":{"en":{"language":"en","value":"On an alleged refutation of Hilbert's Program using G\u00f6del's first incompleteness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210097"}},"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":"Q809063$89E1AFEA-66CB-4121-BB8F-367A95293E43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a67daf7d6922e33384a59cb4077c7e586ec2ac47","datavalue":{"value":{"text":"On an alleged refutation of Hilbert's Program using G\u00f6del's first incompleteness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809063$A916A74B-4508-47DB-807A-FFB0E2BEBC3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d00a20653d9bb5e0052d5659f706af45d8c9293","datavalue":{"value":"0732.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$12B47DA9-B359-4A1B-90C6-DB08BD14AB70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"024df9653f4b7de75b7b552859284c313c12d8c8","datavalue":{"value":"10.1007/BF00263316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$DE5E7D1C-EB58-4D25-B500-69CBA0A7F39E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809063$B7922DFF-657F-4846-81C1-8ED47031DD1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q809063$40C3FA04-0E2E-4C0C-8AE1-00A472F587C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3fa046e0a26cca350e05b046043b397b1bcc7416","datavalue":{"value":"From his own ``instrumentalistic'' point of view the author criticizes arguments of \\textit{C. Smory\u0144ski} [Self-reference and modal logic (1985; Zbl 0596.03001); CWI Q. 1, No.4, 3-59 (1988; Zbl 0665.03001)] claiming that already G\u00f6del's First Incompleteness Theorem was a definite disproof of Hilbert's Program. The author's more formal arguments are convincing, his more philosophical ones rather debatable. Finally, he adds some quite speculative ideas on how also G\u00f6del's Second Incompleteness Theorem may not be an argument against Hilbert's Program.    Reviewer's Remark: Hilbert as a working mathematician offered his foundational program as a kind of long range research strategy. Therefore it seems quite preferable to look at his distinct formulations cum grano salis and not to take them as statements of a professional philosopher; this would open the way to interpret his program more freely and to avoid unnecessary debates about something like a ``true understanding'' of his program as well as on (ir)refutable refutations of it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809063$00788294-85EF-4EBD-AE9D-381362B9001A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$EF278C93-4AF9-4A71-889F-E5698491BB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$1EFE2C33-90F9-43DC-9AA0-DFD8ED206349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$BD36E0E5-036F-4D35-BB87-0BCB642D5381","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769f19b3630fcf361916f062916dfb0ba408e846","datavalue":{"value":"4210097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$30464256-EF1A-477A-968C-524120055C36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q809063$4016A16C-47E2-4ED1-B617-7950A4F24BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25e83fffd328122e8cb36e2db226083fa84bee89","datavalue":{"value":"finitistic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q809063$595D0C32-B502-4D43-918B-FE4C66E02D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654e929b81aaf7079d145d44d9041ead38b9b95d","datavalue":{"value":"G\u00f6del's First Incompleteness Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q809063$051DFACA-514A-4E14-9A5B-E8E2E1584D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db1c09ce7f19489d36dc4db1f67718b77b7cd42","datavalue":{"value":"Hilbert's Program","type":"string"},"datatype":"string"},"type":"statement","id":"Q809063$68DB8F6F-2E1C-4219-970D-15F1A0004859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b45d0a195319b8c06846d0e8780576e589e4ac7","datavalue":{"value":"G\u00f6del's Second Incompleteness Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q809063$AE583F74-1C5D-4750-A49E-995DF1C6BD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed86c06097ba5101fbfa2718a5e0bcdd3dcc7192","datavalue":{"value":{"entity-type":"item","numeric-id":1134173,"id":"Q1134173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809063$4F1DFE74-1BEE-406D-8411-D5BEC5EE6304","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809063$753DD512-C0C1-498C-B2B4-0EF000445122","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e4513e5a6fa1c8d3dce691a5bb3df6e74230a393","datavalue":{"value":"Q56139363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$00FA9774-5F1D-4A4E-A70C-F126B344A40D","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":"Q809063$D087A6F8-F57F-42B0-B4BD-4C3A937F6250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46df288cce511bd66d5006ab32cd8a0523686e5b","datavalue":{"value":"https://doi.org/10.1007/bf00263316","type":"string"},"datatype":"url"},"type":"statement","id":"Q809063$5B363108-F26D-4B26-9024-7A529F786003","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5baafe546294c5e83b9bb51e0d50519ded5aa898","datavalue":{"value":"W2072151524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809063$63177338-81D9-4E2A-8C32-8C7AB1C84FF6","rank":"normal"}],"P1643":[{"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":"c3cbf2e17be6e7995b6f57262438c8ad0468f29d","datavalue":{"value":{"amount":"+0.8621045351028442","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":"Q809063$D3AA7BA0-0031-4DF6-93B1-C8B26E13670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5a2be6338d35ad543a48e6127fbda804fcb7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3398983,"id":"Q3398983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014aa21fe7368c76c3167d6f6e2fd4f6b3c788da","datavalue":{"value":{"amount":"+0.8164275288581848","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":"Q809063$CEF17344-53B7-4544-AC2D-12D35B328505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18551308a2747e4f5bcd072286ab8a810a16fa18","datavalue":{"value":{"entity-type":"item","numeric-id":2736243,"id":"Q2736243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5830c87c42c91334757400978c82e8e73aa7aa77","datavalue":{"value":{"amount":"+0.8142403364181519","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":"Q809063$B18F3E05-76A0-4BA6-8666-015B749250E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9418803d7a046db2b8db2ddf152b13c02ffa1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366deb691fe6348e08486b19f56412be61bf11a3","datavalue":{"value":{"amount":"+0.7904139757156372","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":"Q809063$BCF8C7BE-5DB8-44A5-9E6F-A0E9AFE2049F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7181e4c058520f7dc8db91e5561a09b7f292ae86","datavalue":{"value":{"entity-type":"item","numeric-id":3558527,"id":"Q3558527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b71a154c83514fa63471b44c984ea9e7a80d737","datavalue":{"value":{"amount":"+0.7856047749519348","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":"Q809063$42703175-B709-4BB7-9A1A-79AF4DE91A2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an alleged refutation of Hilbert's Program using G\u00f6del's first incompleteness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_alleged_refutation_of_Hilbert%27s_Program_using_G%C3%B6del%27s_first_incompleteness_theorem"}}}}}