{"entities":{"Q1464098":{"pageid":1474838,"ns":120,"title":"Item:Q1464098","lastrevid":70545744,"modified":"2026-04-13T15:22:57Z","type":"item","id":"Q1464098","labels":{"en":{"language":"en","value":"Neubegr\u00fcndung der Mathematik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2604485"}},"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":"Q1464098$7C222B28-509A-4C65-9E36-66BB929CC1CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f7f6953b3c2be5f449067438bcb6dd24b79429a","datavalue":{"value":{"text":"Neubegr\u00fcndung der Mathematik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1464098$2822E768-6BE4-4482-B2A1-72B6B7350D1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd83c4b43219a408faf9da18db02863704128e5c","datavalue":{"value":"48.1188.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1464098$883CECDE-31F0-4E33-BE2C-43F7024EFC5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdfb0af742901c65b9f68a97fd0a50cfdb3238cf","datavalue":{"value":"10.1007/BF02940589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1464098$906A51FF-4B8C-4377-99CE-3688CFC668F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1464098$FD16BFC8-1425-4BF2-9435-9546620CB368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c78db76ef31aaf15e1381fe5a0a5a64cf5094e9","datavalue":{"value":{"time":"+1922-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":"Q1464098$D51755CD-A2ED-464A-86A0-854661EBA6A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a220064788f0627f152447fa2c57b52ced211a2e","datavalue":{"value":"Ausgehend von einem \u00dcberblick \u00fcber den gegenw\u00e4rtigen Erkenntnisstand in der Grundlegung der Arithmetik und einer polemischen Auseinandersetzung mit der von Weyl und Brouwer an der Analysis ge\u00fcbten Kritik, fa\u00dft zun\u00e4chst Hilbert seine Auffassung dahin zusammen, da\u00df ein befriedigender Abschlu\u00df der Untersuchungen \u00fcber die Grundlagen der Mathematik nur durch den Nachweis der Widerspruchsfreiheit f\u00fcr die Axiome der Arithmetik erzielt werden kann.  Bei diesem Nachweis soll der Allgemeinbegriff einer Zahlenmenge nicht vorausgesetzt sein. \u00dcberhaupt soll das abstrakte Operieren mit allgemeinen Begriffsumf\u00e4ngen und -Inhalten, dessen Unzul\u00e4nglichkeit an den Paradoxien der Mengenlehre zutage getreten ist, grunds\u00e4tzlich vermieden werden.  Gem\u00e4\u00df dieser Forderung mu\u00df sich der Nachweis der Widerspruchsfreiheit im Rahmen jenes engeren, elementaren Schlie\u00dfens bewegen, welches die Finitisten, wie z. B. Kronecker, als das einzig korrekte gelten lassen.  Gelingt ein solcher finiter Beweis der Widerspruchsfreiheit, so sind damit die \u00fcblichen Schlu\u00dfweisen der Arithmetik gerechtfertigt, indem wir erkennen, da\u00df ihre Anwendung stets zu richtigen, d.h. mit dem konkret Erweislichen im Einklang stehenden Ergebnissen f\u00fchrt.  Nach der Aufstellung dieses methodischen Programms und der Erl\u00e4uterung der finiten Art des Schlie\u00dfens an dem Beispiel der anschaulich behandelten Zahlentheorie wendet sich Hilbert dazu, den Ansatz zur L\u00f6sung der gestellten Aufgaben zu schildern.  Es kommt darauf an, die Behauptung der Widerspruchsfreiheit der Arithmetik, welche die M\u00f6glichkeit eines gewissen unendlichen Systems mit gewissen Verkn\u00fcpfungs-Eigenschaften besagt, in eine Behauptung finiten Charakters zu transformieren.  Dazu verhilft der Umstand, da\u00df man die inhaltlichen Beweise der Arithmetik, mit Benutzung der Bezeichnungen des Logik-Kalk\u00fcls, in Formeln wiedergeben kann. Abstrahiert man hier von der Bedeutung der logischen und arithmetischen Zeichen, so hat man an Stelle eines Beweises eine Formelfolge vor sich, und an die Stelle der Schl\u00fcsse, welche die einzelnen S\u00e4tze des Beweises miteinander logisch verbinden, treten formale Regeln f\u00fcr die Aneinanderreihung von Formeln.  Auf Grund dieser \u00dcbersetzung entspricht einem arithmetischen Beweise eine Figur von gewissen \u00e4u\u00dferlich feststellbaren Eigenschaften, und der Nachweis der Widerspruchsfreiheit wird zu einem finiten Problem, n\u00e4mlich zu zeigen, da\u00df man nicht zwei Beweisfiguren angeben kann, deren Endformeln, inhaltlich gedeutet, zwei widersprechende S\u00e4tze darstellen.  Hiernach besteht nun die Aufgabe einmal darin, die Arithmetik zu formalisieren, und ferner darin, f\u00fcr den aufgestellten Formalismus die Widerspruchsfreiheit (in dem angegebenen Sinne) zu erweisen.  Der formale Aufbau wird in den Grundz\u00fcgen vorgef\u00fchrt. Der Beweis der Widerspruchsfreiheit wird nur f\u00fcr einen anfangs heuristisch eingef\u00fchrten engeren Formalismus erbracht. In dieser Gestalt hat der Beweis nur die methodische Bedeutung, da\u00df an ihm ersichtlich wird, wie \u00fcberhaupt grunds\u00e4tzlich ein Beweis f\u00fcr Widerspruchsfreiheit im Sinne der formalen Beweistheorie gef\u00fchrt werden kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1464098$89552B6B-3E99-497B-AE67-6DB4DCBE92D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcdd50e062709770086b33d17b1641993bb43abc","datavalue":{"value":"2604485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1464098$B7C23B9A-9677-487E-909E-26AD92FF94FA","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":"Q1464098$1EC9F8BC-78B8-496C-B936-9FBAD4A7AD8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d73f01973163fb8f266e2ad67afcfd1c0ad08a0","datavalue":{"value":"https://doi.org/10.1007/bf02940589","type":"string"},"datatype":"url"},"type":"statement","id":"Q1464098$E9B0891B-D26A-4439-9426-261936DBFCF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e6656bf7b555feccce05c455d977c5cd66d2559","datavalue":{"value":"W4240740245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1464098$AA3FEE5E-FF66-4263-8DEE-9445D21EDFD4","rank":"normal"}],"P16":[{"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":"Q1464098$0488A6B0-1F80-481F-AA8B-AFB84D17DB9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Neubegr\u00fcndung der Mathematik.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Neubegr%C3%BCndung_der_Mathematik."}}}}}