{"entities":{"Q2590244":{"pageid":2600987,"ns":120,"title":"Item:Q2590244","lastrevid":44415270,"modified":"2025-11-22T19:05:07Z","type":"item","id":"Q2590244","labels":{"en":{"language":"en","value":"Grundlagen der Mathematik. Bd. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2509685"}},"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":"Q2590244$4B2AEA47-4552-4933-8D3A-E6F6EDA49B4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b9a2d45f66173a8d79d39870250b0bade93c097","datavalue":{"value":{"text":"Grundlagen der Mathematik. Bd. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590244$CFF9A7C1-179C-4527-8E0F-6CFC47BC7B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"217c5a3ee79c701dd61ad14032e342ea210eb26f","datavalue":{"value":"65.0021.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590244$1210932F-735F-455F-944F-5202045B2BD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fed8ca073f45cde5abb27ff60298e404c1d310fe","datavalue":{"value":{"entity-type":"item","numeric-id":563288,"id":"Q563288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590244$D531347F-5CCE-45AB-A043-679E8FC21301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2590244$F0EAE056-58A9-4C36-8A0F-FB47F8DABEA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb76954ecbb395fcaf2269a056009820550e19a2","datavalue":{"value":"Der jetzt erschienene zweite Band der ``Grundlagen der Mathematik'' f\u00fchrt die im ersten Band (1934; F. d. M. \\(60_{\\text{I}}\\), 17) begonnene Darstellung der Hilbertschen Beweistheorie bis zu ihrem heutigen Ergebnisstand, d. h. bis zum Beweis der Widerspruchsfreiheit f\u00fcr den vollen zahlentheoretischen Formalismus.  In \\S\\,1 wird zun\u00e4chst das Hilbertsche \\(\\varepsilon\\)-Symbol, auf das schon in \\S\\,8 des ersten Bandes in Verbindung mit dem Russellschen ``derjenige, welcher'' eingegangen wurde, unmittelbar durch Axiome eingef\u00fchrt und seine Bedeutung f\u00fcr die Elimination der gebundenen Variablen n\u00e4her dargelegt. Weiter werden in \\S\\,1 und in der Hauptsache in \\S\\,2 die an das \\(\\varepsilon\\)-Symbol ankn\u00fcpfenden beweistheoretischen Ans\u00e4tze Hilberts und ihre (bisher nicht ver\u00f6ffentlichte) Durchf\u00fchrung dargestellt. Der damit als widerspruchsfrei erwiesene Formalismus schlie\u00dft noch nicht die vollst\u00e4ndige Induktion ein. Die Schwierigkeiten, die sich der Erweiterung der Methoden nach dieser Richtung hin entgegenstellen, werden eingehend geschildert. Mit Hilfe der einen der dargelegten Methoden ergibt sich dann ein einfacher Zugang zu dem Herbrandschen Theorem (\\S\\,3). Die Er\u00f6rterung der Anwendungen dieses Satzes gibt Gelegenheit zu einigen Ausf\u00fchrungen \u00fcber das Entscheidungsproblem, insbesondere \u00fcber erf\u00fcllungstheoretische Normalformen.  Das zweite Hauptthema bilden die Konsequenzen, die sich f\u00fcr die Beweistheorie aus der von G\u00f6del entdeckten deduktiven Unabgeschlossenheit eines jeden scharf abgegrenzten und hinl\u00e4nglich ausdrucksf\u00e4higen Formalismus ergeben. In \\S\\,4 wird eine Methode der Arithmetisierung der Metamathematik entwickelt, und in \\S\\,5 werden dann die beiden G\u00f6delschen Theoreme, in denen sich der oben geschilderte Tatbestand ausspricht, eingehend er\u00f6rtert, besonders auch hinsichtlich ihrer Beziehung zu gewissen semantischen Paradoxien. Die Art der Erweiterung, die infolge der G\u00f6delschen S\u00e4tze an den finiten Schlu\u00dfweisen der Metamathematik vorgenommen werden mu\u00df, wird n\u00e4her dargelegt. Die Betrachtung m\u00fcndet in der Besprechung des Gentzenschen Widerspruchsfreiheitsbeweises f\u00fcr das volle System der Arithmetik. Dieser Beweis wird allerdings nicht im einzelnen dargestellt, sondern es wird nur auf das methodisch Neuartige, die Verwendung einer speziellen Art der ``transfiniten Induktion'', eingegangen.  Vier Supplemente dienen teils dazu, die Ankn\u00fcpfung an den ersten Band \u00fcbersichtlicher zu gestalten, teils enthalten sie auch erg\u00e4nzende Betrachtungen zu den Ausf\u00fchrungen des ersten und zweiten Bandes. Zu den letzten geh\u00f6ren Ausf\u00fchrungen \u00fcber die Pr\u00e4zisierung des Begriffs der berechenbaren Funktion, \u00fcber die positive Aussagenlogik und endlich \u00fcber deduktive Formalismen f\u00fcr die Analysis, deren Widerspruchsfreiheitsbeweise ja noch in weiter Ferne liegen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590244$0F19A2A4-2C64-4AB5-A008-72D7E9C427C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72fcedc1d7f7e7d9d0087e9b62f34aae5e7ba8ae","datavalue":{"value":"2509685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590244$38156CF5-5329-48BD-9665-F2446CCEB87A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7bded477e59b3cb6b643bdf452478a61dadd136","datavalue":{"value":{"entity-type":"item","numeric-id":766898,"id":"Q766898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590244$3845E366-610E-406C-86DC-5082DA2814C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63f4e6b9ab2b2c08898c0c1fdb9359a9aae57735","datavalue":{"value":{"entity-type":"item","numeric-id":6480500,"id":"Q6480500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590244$052FB934-61A7-4F52-9BCB-D56AB549E21A","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":"Q2590244$4057E4F2-1BF1-4D4E-9F28-790A7C495237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590244","badges":[]}}}}}