{"entities":{"Q2856483":{"pageid":2867203,"ns":120,"title":"Item:Q2856483","lastrevid":51854672,"modified":"2026-01-20T09:35:05Z","type":"item","id":"Q2856483","labels":{"en":{"language":"en","value":"The impact of G\u00f6del's incompleteness theorems on mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220596"}},"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":"Q2856483$F51ACE5E-DDF5-4264-A6EF-9CA311E9801A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53a7334ce31fe629b5a003a362e76afc2a746d01","datavalue":{"value":"1288.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$50579648-C59E-4A4A-887B-BE20DFB92AA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13d892113b757c853e0bc4f886dd8886203ae619","datavalue":{"value":{"time":"+2013-10-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":"Q2856483$FE95AD83-9821-4F6C-82BC-7FB3A2C68355","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$7036732E-78E7-4D9A-BDF5-7B9A24269D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$94AD2545-D80A-41A3-8529-3231B665C7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$23512131-B3C4-4DF8-860A-39F9C1BA6FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$73FFD3DD-3D24-401D-A459-ADB675BC8A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8fac778e97ae6432b3528aab99d155b26775440","datavalue":{"value":"01A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$8CA1143F-98E0-4355-8409-856A86E9D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$3263FF9D-7983-4AE7-BC4E-B9B5D7FE4119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$812EC1FB-7AC5-4F42-A61C-A8362A634D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$F227B5E3-7AA4-4E95-9640-18534F5EE329","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"873b60bd73e75021cceb325739c05c6d4a2f50f5","datavalue":{"value":"6220596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856483$A2794653-954E-4B66-9031-A8A0F38CBD85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856483$1E68333A-09F3-448D-ACAB-DF73E814AE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856483$E342EA09-9B1E-4670-A73F-9FC573814307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3b185abbdf93f8264177de5854236f53b70134","datavalue":{"value":"logical number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856483$C211C137-6356-4CF9-B289-07AE6B475989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856483$76157A15-0776-4958-9079-C954F8BDBCF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30de2c0162199f698bb55ab738e0fc8c2acc5ae9","datavalue":{"value":{"entity-type":"item","numeric-id":787960,"id":"Q787960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856483$E6B45623-7F70-446B-99E3-51AB605AA9D6","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":"Q2856483$3D6FA7B3-75F4-4F8A-9FD9-8062D895407C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d7aae5e881778db81e8532adbf9c65193dd5481","datavalue":{"value":{"text":"The impact of G\u00f6del's incompleteness theorems on mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856483$25761A1B-F95C-4919-9F65-3A648BFFD0DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f879b440782f8efd7fe67c682a1508643d44d04e","datavalue":{"value":"This 25-pages book chapter discusses the mathematical effects of G\u00f6del's incompleteness theorems. Not less than 10 pages of it constitute the Appendix: Modularity, Fermat's Last Theorem, and PA (Peano's arithmetic). The rest (main body) consists of 10 sections: 1. G\u00f6del's contemporaries in logic, 2. The mathematical evolution of the ideas, 3. How the number theorists react to the G\u00f6del phenomenon, 4. Group theory, 5. Geometry and dynamical systems, 6. Set theory, 7. Logical form, 8. Ramsey independence, 9. Topological moderee, and finally 10. Conclusion. So, this chapter is historical, philosophical and mathematical in nature, discussing wide areas where G\u00f6del's incompleteness phenomenon may show up. We read in the Conclusion that:NEWLINENEWLINE``As far as incompleteness is concerned, its remote presence has little effect on current mathematics. Some of the techniques that originated in G\u00f6del's early work (and in the work of his contemporaries) remain central in logic and occasionally in work connecting logic and the rest of mathematics. The long-known connections between Diophantine equations, or combinatorics, and consistency statements in set theory seem to have little to do with major structural issues in arithmetic. That PA is entirely natural in the context of finite combinatorics can hardly be denied, but no one has succeeded in crossing the gap between finite combinatorics and arithmetic (especially arithmetic geometry). As far as the geometry of sufficiently general Riemannian manifolds is concerned, techniques descended from G\u00f6del have proved illuminating (Soare, 2004), without the results being sold as `natural independence'.''NEWLINENEWLINEFor the entire collection see [Zbl 1253.00009].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856483$79946E92-056A-457E-8974-E1063057AD59","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856483$B68196CC-7511-4807-B5EA-68AF306A9C5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7989c94267268009303657ce573fef05ae55638","datavalue":{"value":{"entity-type":"item","numeric-id":4490111,"id":"Q4490111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4779c1cee90a7285fd4c7c1052c0605522d536","datavalue":{"value":{"amount":"+0.7209305167198181","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":"Q2856483$D46D8C24-83A9-4D3E-9B5A-C8E32BDE5C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0980b71e99f7a03e8b9e8a5dc9f466b44f97e1bb","datavalue":{"value":{"entity-type":"item","numeric-id":3794179,"id":"Q3794179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d9db75430236da9da039f242fd89a74ea8b6e6","datavalue":{"value":{"amount":"+0.7095586657524109","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":"Q2856483$AB2645DC-DAB2-4C2F-B5C0-F61FA058FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12309f35be1c400b1b439d20be06450da21fb368","datavalue":{"value":{"entity-type":"item","numeric-id":3082390,"id":"Q3082390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7fef030e92eae4266ce4b23379beef4f9b3488","datavalue":{"value":{"amount":"+0.7063090205192566","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":"Q2856483$77D1F0E6-A41C-459F-8F84-7429516EBC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d02af9cd091550cc818e7299a9f01ad0a27b0","datavalue":{"value":{"entity-type":"item","numeric-id":1567047,"id":"Q1567047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863177c3e150ae6a585aeed2f448b15235da47c6","datavalue":{"value":{"amount":"+0.7031561732292175","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":"Q2856483$019568A4-7FFC-46FE-88E3-56CB0934D4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f7f92814cb7a9953463fd6d2242e6db1ddf618","datavalue":{"value":{"entity-type":"item","numeric-id":5076380,"id":"Q5076380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863177c3e150ae6a585aeed2f448b15235da47c6","datavalue":{"value":{"amount":"+0.7031561732292175","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":"Q2856483$B37D71DE-7246-48F6-B755-D156D5ACF68C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856483"}}}}}