{"entities":{"Q581402":{"pageid":583169,"ns":120,"title":"Item:Q581402","lastrevid":62929941,"modified":"2026-04-11T09:03:05Z","type":"item","id":"Q581402","labels":{"en":{"language":"en","value":"A direct proof of G\u00f6del's incompleteness theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019058"}},"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":"Q581402$7AFA66D7-7AF8-4587-B65A-D9361F4C3AA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46bfa6cd64b2f82153a6526f6f02bbf3d06958e8","datavalue":{"value":{"text":"A direct proof of G\u00f6del's incompleteness theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581402$84B19057-0E24-46B3-907A-FD97618A39BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57eda915e44772232083154f19b53345b9fc1eb9","datavalue":{"value":"0627.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581402$8E10F9D5-995D-4CBE-8907-E234C2CF23D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"578e2a4171bf050690e0a4ff4a4b9225a7aa982a","datavalue":{"value":{"entity-type":"item","numeric-id":581401,"id":"Q581401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581402$3DC87D02-97A9-4C4A-AB60-548EAC849646","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"454c7e32e9f47c901a39b198a4e1e48e753d20b8","datavalue":{"value":{"entity-type":"item","numeric-id":172471,"id":"Q172471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581402$C9C43AAD-06B3-4F2E-8D7A-C4E7F95E7A01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q581402$D78C2298-B9D0-4B28-BBDD-CE8450BEEFC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06d0143dd4ff1687f0feb2b86224e38885f17b60","datavalue":{"value":"https://eudml.org/doc/38673","type":"string"},"datatype":"url"},"type":"statement","id":"Q581402$AEC22131-5295-47A7-889E-F844F6C982EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df2331f2dca4eab64665937d1122cb421d43970f","datavalue":{"value":"This paper deals with a proof of G\u00f6del Incompleteness Theorem which does not use directly self reference.    The reviewer is not enthusiastic of this proof for the following reasons: 1) The proof uses the fact that recursive functions are representable in PA, and, if this is assumed, everything becomes easy. 2) In the author's proof of the Second Incompleteness Theorem, an unprovable formula is found, which is shown to be true iff PA is consistent. Since intensional aspects are relevant in this theorem, a discussion on the naturality of the author's consistency statement would have been useful.","type":"string"},"datatype":"string"},"type":"statement","id":"Q581402$4052780D-B51C-40B6-B6DC-9D01463B605E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581402$BC96987A-3F94-442A-B77E-DF8A9F49363F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f33d5431910dd9f9d0449e5f3fbac3f1ac8f69cc","datavalue":{"value":"4019058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581402$78FF5CEE-8A16-48F8-BA47-CB7616608D06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q581402$BEB3FF08-07B2-465C-8917-0E1D30F1D428","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":"Q581402$436B30D3-38C5-4528-91ED-EDB233723C76","rank":"normal"}],"P1643":[{"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":"8bb6d96e2c3f70a3aac08800fe996228d9599faa","datavalue":{"value":{"amount":"+0.8163124322891235","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":"Q581402$C8451367-62BF-4BDB-9215-A67A43FF1671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca0c4356a0fe549ba005efc4f8021a9250620f6","datavalue":{"value":{"entity-type":"item","numeric-id":3621607,"id":"Q3621607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59dda778080d2250f92067fb1fc8788774a3877d","datavalue":{"value":{"amount":"+0.8031042814254761","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":"Q581402$F99AB7ED-4523-435C-B108-0506A3B50787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdcdef4c5039a393a5aaa497f1fb9f71b14dfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf36551d3ca837991fbef77a206a332e714d9e3","datavalue":{"value":{"amount":"+0.8007143139839172","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":"Q581402$8ED28CDA-EE25-47C1-B69B-0B9CFDDCB318","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":"ccf36551d3ca837991fbef77a206a332e714d9e3","datavalue":{"value":{"amount":"+0.8007143139839172","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":"Q581402$8A86BCB6-7B9F-4E2A-8B99-FFB5E2947CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae4fbc3c986149ea097c9430258ac2b05875e05","datavalue":{"value":{"entity-type":"item","numeric-id":4532190,"id":"Q4532190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24cbcf3e451987a7b1915f21bda148d9272cb335","datavalue":{"value":{"amount":"+0.7994425296783447","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":"Q581402$C12BC547-8C3A-46A9-938F-6BDBF3492FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A direct proof of G\u00f6del's incompleteness theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_direct_proof_of_G%C3%B6del%27s_incompleteness_theorems"}}}}}