{"entities":{"Q2598617":{"pageid":2609360,"ns":120,"title":"Item:Q2598617","lastrevid":44443368,"modified":"2025-11-22T23:24:09Z","type":"item","id":"Q2598617","labels":{"en":{"language":"en","value":"Nochmals: Perelman-G\u00f6del. Zus\u00e4tze und Berichtigungen zu Kurt Grellings Bemerkungen in Theoria III, S. 297 ff."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2517768"}},"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":"Q2598617$8B93825A-2291-40AD-AD80-56154290DCC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"422f67135c5cda168a3ba80e4383592eaa4d5a7a","datavalue":{"value":{"text":"Nochmals: Perelman-G\u00f6del. Zus\u00e4tze und Berichtigungen zu Kurt Grellings Bemerkungen in Theoria III, S. 297 ff.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2598617$2B4438D6-8693-4882-88FF-6C5B2487C51B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14718b117a61b09c13d3085717a1c40a184e805a","datavalue":{"value":"64.0930.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598617$1B8F4136-63C8-440B-AA28-1DB0DED13D97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d72c4aca1b1b88f5e5248df458da67626a105f","datavalue":{"value":{"entity-type":"item","numeric-id":562804,"id":"Q562804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598617$E2E4FEF7-FC3C-4783-B256-A85D3A0D9D65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a724190e228a348c5335d77831f25795618ecb7d","datavalue":{"value":{"entity-type":"item","numeric-id":2598616,"id":"Q2598616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598617$06676FD3-0CC0-4CBC-8169-0762AE049235","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2598617$A24934F6-EC8E-4AE4-9DF7-B38AF6E3D41D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e99d5d8201bdb25b0f1db42aab279020ee9db83","datavalue":{"value":"Berichtigung einiger Ungenauigkeiten einer fr\u00fcheren Arbeit (Theoria, G\u00f6teborg, 3 (1937), 297-306; JFM 63.0824.*), besonders von solchen, die f\u00fcr die Beurteilung von Priorit\u00e4tsfragen von Bedeutung sind. Da man von einer Berichtigung wenigstens erwartet, da\u00df sie keine neuen Irrt\u00fcmer einf\u00fchrt, sieht Ref. sich veranla\u00dft, die folgenden sachlichen Fehler aufzuz\u00e4hlen. (1) Verf. behauptet, \\textit{K. G\u00f6del} habe (Mh. Math. Physik 38 (1931), 173-198; JFM 57.0054.*) nicht einen Satz konstruiert, der seine eigene Unbeweisbarkeit (im System \\(P\\) der \\textit{Principia Mathematica}) behauptet, sondern ``einen etwas weniger besagenden''. (2) Verf. behauptet, da\u00df das scheinbare Gelingen der Konstruktion eines in \\(P\\) unentscheidbaren Satzes mit Hilfe des \\textit{Perelman}schen Gedankenganges (Acad. Belgique, Bull. Cl. Sci. (5) 22 (1936), 730-736; JFM 62.0030.*), ohne Voraussetzung der \\(\\omega\\)-Widerspruchsfreiheit von \\(P\\) und ohne Heranziehung des \\textit{Rosser}schen Kunstgriffes (J. Symbolic Logic 1 (1936), 87-91; JFM 62.1058.*) dem Umstand zuzuschreiben ist, da\u00df die Formalisierbarkeit der Aussage ``die aus der \\(n\\)-ten Klassenformel durch Einsetzung der \\(n\\)-ten Zahlzeichen entstehende Formel ist beweisbar'' im System \\(P\\) irrt\u00fcmlich angenommen wurde. Es ist ja bekannt, da\u00df jene Formalisierbarkeit zu Recht besteht; vielmehr setzt \\textit{Perelman}s Gedankengang die inhaltliche Richtigkeit von in \\(P\\) beweisbaren S\u00e4tzen voraus; diese Voraussetzung geht bei einer exakten Durchf\u00fchrung in die \\(\\omega\\)-Widerspruchsfreiheit \u00fcber. (3) Verf. behauptet, da\u00df der von \\textit{G. Gentzen} in seinem Widerspruchsfreiheitsbeweis (Math. Ann. 112 (1936), 493-565; JFM 62.0044.*) verwendete transfinite Induktionsschlu\u00df nicht im System \\(P\\) formalisierbar sei.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2598617$92A4ECB8-0091-40B7-97C6-9D043620B64C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28f43cd19dc34997fd2b7ebc6076f28b85231ea2","datavalue":{"value":"2517768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598617$B5F54F9E-3153-4D9F-A9BC-D68CF920FDED","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":"Q2598617$B27C12B5-5D06-405C-9C44-2941DB42DC3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2598617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2598617"}}}}}