{"entities":{"Q2624161":{"pageid":2634904,"ns":120,"title":"Item:Q2624161","lastrevid":44513481,"modified":"2025-11-23T11:11:28Z","type":"item","id":"Q2624161","labels":{"en":{"language":"en","value":"Zur intuitionistischen Arithmetik und Zahlentheorie."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2545693"}},"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":"Q2624161$E55A26FA-E6E2-4048-AFE0-F82CC42F2BBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"665961f6aa7eeb5a6aeecea756ee0f7956613afb","datavalue":{"value":{"text":"Zur intuitionistischen Arithmetik und Zahlentheorie.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2624161$8FA2F19B-65F9-4450-A093-E2480B87EF79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d90c2cc5587d5cbd2e42c6be6a959f830c21f026","datavalue":{"value":"59.0865.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624161$D1429A8C-A637-424F-8B2A-56D2309ED615","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2624161$73DE5BE5-06BA-406B-96D3-9993F029043D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d293a4ed318d60943b4db5829a773fd5bde29ea6","datavalue":{"value":"\u00dcbersetzt man die Absurdit\u00e4t \\(\\neg \\) durch die Negation \\(\\sim \\), und l\u00e4\u00dft man sonst den Grundbegriffen des \\textit{Heyting}schen Aussagenkalk\u00fcls \\(H\\) die gleich bezeichneten des klassischen \\(A\\) entsprechen, so erscheint \\(H\\) als Teil von \\(A\\). Wie von \\textit{Glivenko} gezeigt worden ist, ist aber bei anderer \u00dcbersetzung umgekehrt \\(A\\) ein Teil von \\(H\\), n\u00e4mlich wenn die klassischen Begriffe  \\[ \\sim p,\\quad p\\rightarrow q,\\quad p\\vee q,\\quad p\\cdot q \\]  durch die intuitionistischen  \\[ \\neg p,\\quad \\neg (p\\wedge \\neg q),\\quad \\neg (\\neg p\\wedge \\neg q),\\quad p\\wedge q \\]  \u00fcbersetzt werden. In vorliegender Abhandlung beweist Verf., da\u00df \u00e4hnliches auch f\u00fcr die Arithmetik gilt, z. B. in dem Umfang, wie sie durch die Axiome von \\textit{Herbrand} (vgl. 1931; JFM 57.0056.*) gegeben ist. Er zeigt, da\u00df man die klassischen Begriffe intuitionistisch so interpretieren kann, da\u00df alle aus den klassischen Axiomen beweisbaren S\u00e4tze auch f\u00fcr den Intuitionismus gelten. Dabei wird das \\textit{Heyting}sche System erweitert durch Hinzunahme der rekursiven Definition von Funktionen, die ja auch intuitionistisch einwandfrei ist. Das erweiterte \\textit{Heyting}sche System wird mit \\(H'\\) bezeichnet. Jeder Formel des \\textit{Herbrand}schen Systems wird diejenige Formel in \\(H'\\) zugeordnet, die entsteht, wenn die Operationen des Aussagenkalk\u00fcls in der eben angegebenen Weise intuitionistisch interpretiert werden, 0 durch 1, + durch seq' ersetzt werden und jede durch Rekursion definierte Funktion \\(f_i\\) durch die gleich bezeichnete in \\(H'\\). Dann beweist Verf. den Satz: Wenn eine Formel \\(A\\) im \\textit{Herbrand}schen System beweisbar ist, so ihre \u00dcbersetzung \\(A'\\) in \\(H'\\).  Der Beweis gelingt dadurch, da\u00df sich zuerst mittels eines Induktionsschlusses die Richtigkeit zweier Hilfss\u00e4tze zeigen l\u00e4\u00dft, n\u00e4mlich erstens, da\u00df jede Formel der Gestalt \\(\\neg \\neg A'\\supset A'\\) in \\(H'\\) beweisbar ist, und zweitens, da\u00df immer \\(A'\\supset B'\\,\\cdot \\supset \\subset \\cdot \\neg (A'\\wedge \\neg B')\\) in \\(H'\\) gilt. Danach beweist Verf., da\u00df einerseits f\u00fcr jedes Axiom \\(A\\) des \\textit{Herbrand}schen Systems die \u00dcbersetzung \\(A'\\) in \\(H'\\) beweisbar ist, und andererseits, da\u00df bei Anwendung der Schlu\u00dfregeln des \\textit{Herbrand}schen Systems aus Formeln, deren \u00dcbersetzungen in \\(H'\\) beweisbar sind, wieder solche Formeln entstehen. Daraus folgt offenbar die Richtigkeit der obigen Behauptung, deren Inhalt auch so ausgedr\u00fcckt werden kann, da\u00df die intuitionistische Arithmetik nur scheinbar enger ist als die klassische; in Wirklichkeit enth\u00e4lt sie diese nur mit einer abweichenden Interpretation. Verf. erkl\u00e4rt diese Tatsache dadurch, da\u00df das intuitionistische Verbot der Negation von Alls\u00e4tzen in seiner Wirkung wieder aufgehoben wird durch die Anwendbarkeit des Pr\u00e4dikates der Absurdit\u00e4t auf All s\u00e4tze.  Dem Ref. scheint dies Ergebnis \\textit{G\u00f6del}s sehr bemerkenswert zu sein; denn es scheint ja dann wenig Grund vorzuliegen, sich mit den Gegens\u00e4tzen zwischen klassischer und intuitionistischer Mathematik zu besch\u00e4ftigen. Man wird allerdings einwenden, da\u00df der Intuitionismus doch wesentliche Einschr\u00e4nkungen bewirkt in der Analysis und Mengenlehre; aber es ist gewi\u00df auch hier richtig, was \\textit{G\u00f6del} sagt, da\u00df diese nicht durch die Ablehnung des Tertium non datur, sondern durch die der impr\u00e4dikativen Definition bedingt sind, und die Kritik der impr\u00e4dikativen Definition r\u00fchrt nicht erst von \\textit{Brouwer} her.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2624161$895DA54C-70D4-4FE0-A3F9-8EB68A3DBE7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2845379d3c1d32c8ec6a9cd7818f024abe427083","datavalue":{"value":"2545693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624161$8F9C9366-0A46-47AD-A91B-6F4076087137","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":"Q2624161$C6C423E6-60C9-4B10-9A1D-0B58215B34B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9daf5faedb3b1d24cbec2131eb34c16c3c7ba5","datavalue":{"value":{"entity-type":"item","numeric-id":6481200,"id":"Q6481200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624161$752B7105-1B4F-4A38-AFC8-B6CE9B5B3D29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2624161","badges":[]}}}}}