{"entities":{"Q2585745":{"pageid":2596488,"ns":120,"title":"Item:Q2585745","lastrevid":44413500,"modified":"2025-11-22T18:48:37Z","type":"item","id":"Q2585745","labels":{"en":{"language":"en","value":"Zur Widerspruchsfreiheit der Zahlentheorie."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505428"}},"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":"Q2585745$489CD5F1-13BC-4ED0-94DE-DFC51BD55C06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9d23da3235b92afe30e310d7854b9076b8c25ab","datavalue":{"value":{"text":"Zur Widerspruchsfreiheit der Zahlentheorie.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2585745$F584704F-F25A-4A03-8AA8-4C407A305404","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"750fbbef29337563c2281c3d9cfa52a5ee7449fc","datavalue":{"value":"66.0031.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585745$33916E4C-3A4C-4EA7-A289-A01858FCED4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4318a380492f867fd597f4dd227049709a84f720","datavalue":{"value":"10.1007/BF01450016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585745$77839C40-CCB9-4EDC-AF9B-2FCECC49A0CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5502aa3c3b8120e8086041446437cac5268d573","datavalue":{"value":{"entity-type":"item","numeric-id":767005,"id":"Q767005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585745$179E6FFF-BB6B-4189-A11D-1F876A932A3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585745$CDDAC1F7-42E0-4D69-905C-3BEBC9427560","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2585745$95B595DC-4181-49B7-B3DF-0B7DE5151A21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"408bba680ddae594a3b19debf2b03985afd62c48","datavalue":{"value":"https://eudml.org/doc/160047","type":"string"},"datatype":"url"},"type":"statement","id":"Q2585745$D06B1746-F3C8-4188-8370-92B9BC8ADD43","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f490c6da6d87d808a0f27f2ee699855d19c38615","datavalue":{"value":"Nach dem Vorgang von \\textit{Gentzen} (Math. Ann., Berlin, 112 (1936), 493-565; F.~d.~M. 62\\(_{\\text{I}}\\), 44) gibt Verf. einen neuen Widerspruchsfreiheitsbeweis f\u00fcr die Zahlentheorie. Der Kalk\u00fcl verwendet freie und gebundene Zahlvariable, den Term 0, die Funktionszeichen \\(\\delta\\), \\('\\), \\(+\\), \\(\\cdot\\), die logischen Konstanten \\(=\\), \\(-\\), \\(\\to\\) und das Hilbertsche \\(\\varepsilon\\)-Symbol. Simultan werden die Begriffe \\textit{Term} (speziell \\(\\varepsilon\\)-Term: \\(\\varepsilon_x\\) \\(\\mathfrak{A}(x)\\)) und \\textit{Formel} eingef\u00fchrt. Beweisbar sind alle Formeln (ohne freie Variablen), die aus 20 (darunter vier kritischen, das \\(\\varepsilon\\)-Symbol enthaltenden) Axiomen mit Hilfe des Schlu\u00dfschemas erhalten werden k\u00f6nnen.  Die Beweisidee entstammt fr\u00fcheren Untersuchungen des Verf. (dargestellt z. B. in \\textit{Hilbert-Bernays}, Grundlagen der Mathematik II (1939); F.~d.~M. 65, 21). Eine \\textit{Gesamtersetzung} (G. E.) ersetzt in einem Beweis alle \\(\\varepsilon\\)-Terme durch ihre Grundtypen (die aus ihnen durch Ersetzung aller maximalen echten Termbestandteile durch verschiedene freie Variablen entstehen) und ordnet diesen rekursive Funktionen mit entsprechender Argumentzahl (argumentfreien ein Zahlzeichen \\(0' \\cdots ')\\) zu. Eine G. E. f\u00fchrt unter Beibehaltung des Beweischarakters alle das \\(\\varepsilon\\)-Symbol enthaltenden Formeln in \\(\\varepsilon\\)-freie \u00fcber, die sich in finiter Weise als falsch oder richtig erweisen. Gelingt es, ausgehend von einer normierten G. E. durch sukzessive Verbesserungen (festgelegter Art) eine solche G. E. zu finden, die alle im Beweis vorkommenden kritischen Axiome in richtige Formeln \u00fcberf\u00fchrt, so ist die Endformel richtig, also von \\(0 \\neq 0\\) verschieden. Mit Hilfe von transfiniter Induktion wird bewiesen, da\u00df das Verbesserungsverfahren in endlich vielen Schritten zum Ziele f\u00fchrt.  In der zweiten H\u00e4lfte der Arbeit gibt Verf. -- und dies ist ein Fortschritt gegen\u00fcber Gentzen -- eine explizite Schranke f\u00fcr die Anzahl der soeben genannten Verbesserungen der G. E. bei vorgegebenem Beweis. Diese h\u00e4ngt ab von der Zahl der Grundtypen, dem maximalen Grad der Terme (Grad eines Terms \\(=\\) Anzahl der Funktionszeichen, mit deren Hilfe er aus \\(\\varepsilon\\)-Termen und aus dem Term 0 aufgebaut ist) und der Anzahl der \\(\\varepsilon\\)-Terme im Beweis. Die Abh\u00e4ngigkeitsfunktion ist insofern rekursiv, als sich der Wert f\u00fcr ein vorgegebenes Argumentsystem in endlich vielen Schritten berechnen l\u00e4\u00dft. Es handelt sich dabei (wegen der G\u00f6delschen Ergebnisse) nicht um gew\u00f6hnliche Rekursionen, sondern urn solche h\u00f6herer Stufe. Unter einer zahlentheoretischen rekursiven Funktion \\(n\\)-ter Stufe versteht Verf. dabei eine Funktion, deren Berechnung f\u00fcr ein gegebenes Argument \\(a\\) sich auf ihre Berechnung f\u00fcr endlich viele Argumente \\(a_i\\) reduziert, so da\u00df \\(a_i \\underset{n}  {<} a\\), wobei \\(\\underset{n}  {<}\\) eine (von \\(n\\) abh\u00e4ngige) Ordnung der Menge der nat\u00fcrlichen Zahlen nach einem Ordnungstyp der zweiten Zahlklasse darstellt (\\(\\underset{0}  {<}\\) ist die gew\u00f6hnliche Ordnung).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2585745$2B2B9A6C-625B-4177-B15E-88A6E1C03D15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbbea33bd3885dd1e11c24f99ff27dc7b698a1c7","datavalue":{"value":"2505428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585745$ABD62069-A1C3-4390-B651-D5F35B80E0B2","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":"Q2585745$80708A86-58FE-4D07-8F4D-7DC4C053B781","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585745$22D9ED11-0FF7-47E8-B740-D8E1775E0417","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"251c27703c09b866383669e7fe5afde7abb1a837","datavalue":{"value":"W2035851396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585745$15690469-EC3A-461C-AF81-BD4FA09B42B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2585745","badges":[]}}}}}