{"entities":{"Q2593882":{"pageid":2604625,"ns":120,"title":"Item:Q2593882","lastrevid":78927041,"modified":"2026-05-06T12:45:32Z","type":"item","id":"Q2593882","labels":{"en":{"language":"en","value":"Les m\u00e9thodes axiomatiques modernes et les fondements des math\u00e9matiques."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513097"}},"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":"Q2593882$49687973-AB2C-4F4D-9114-A2522C83EF74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddedcede3ebe38eb253984b2b653b514b686d8fb","datavalue":{"value":{"text":"Les m\u00e9thodes axiomatiques modernes et les fondements des math\u00e9matiques.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2593882$48658F64-C044-499D-9222-38CF66CBB66C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db484edf2f698002a9ac1626c709ea076a1107b","datavalue":{"value":"65.1097.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593882$85F277B4-37CA-41A2-8161-D80534F8EE3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e96e18048a2d286da4076ad2ebedee55d582a4f8","datavalue":{"value":{"entity-type":"item","numeric-id":561906,"id":"Q561906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593882$4FB309D9-F3F9-4FD4-A4D3-043CEC9FAEBE","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":"Q2593882$1FCF58CF-22D4-4D6D-A6FC-D4DF13386101","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d04ce6717b9e17a796b4dd356ade53d136cab2a0","datavalue":{"value":"Das ``griechische Wunder'', d. h. die deduktive Begr\u00fcndung, gab der Mathe\\-matik und allen reinen Wissenschaften f\u00fcr 20 Jahrhunderte den Auftrieb. Doch blieben hierbei die Grundbegriffe eine Art von idealisierten Erfahrungsbegriffen, \u00fcber die man Axiome aufstellt, die selbst als Extrapolationen der Erfahrung erscheinen. Ansto\u00df zu der Axiomatik gaben die Anomalien der Analysis. Ihre Fruchtbarkeit beweist sie vor allem in der modernen Algebra und in der Topologie. In Hilberts Grundlagen zeigt sich die Irrelevanz der Natur der Grundbegriffe ; die mathematische Wahrheit hat hypothetischen Charakter, das einzige Substrat bilden Elemente und Mengen. Die aus den bekannten Paradoxien sich ergebenden Differenzen in den L\u00f6\\-sungs- und Fundamentierungsversuchen f\u00fchren im wesentlichen zu einer Einigung im Sinne der von Hilbert angebahnten formalistischen Auffassung. Hilbert entgeht dem Dilemma des Unendlichen -- jede Formel ist eine Aussage \u00fcber unendlich viele Elemente --, indem er bei den mathematischen Aussagen von ihrem Sinn ab\\-strahiert und rein die Verbindungen der Zeichen betrachtet. Neben den Argumenten gibt es 14 Zeichen der Verbindung (8 f\u00fcr elementare, die 6 \u00fcbrigen f\u00fcr komplexe Verbindungen). Etwa 50 Bildungsregeln sind die Schemata wahrer Propositionen, sie sind meist formale Transpositionen der Regeln der Logik. Dazu kommen 5 als ``wahr'' vorausgesetzte Propositionen und zwei Regeln der Deduktion. Wenn auch eine Demonstration in der Kombination der zur Verf\u00fcgung stehenden wahren Pro\\-positionen besteht, so hat doch die Initiative des Mathematikers noch freies Spiel. Neben diesen zur Formaliserung der existierenden Mathematik geeigneten Regeln lassen sich auch andere formale Systeme aufstellen. Die hier kurz skizzierte Methode soll in einer demn\u00e4chst erscheinenden Arbeit des Verf. ``Esquisse d'un d\u00e9veloppement formel de la science math\u00e9matique'' ausf\u00fchrlicher dargestellt werden. Entgegen der empiristischen Stellungnahme zu dem Problem der Widerspruchsfreiheit, die sich bei auftauchenden Unstimmigkeiten mit Modifikationen der Grundlagen ad hoc begn\u00fcgt, ist Hilberts Zielsetzung viel weiter reichend: er will in einer anderen de\\-duktiven Wissenschaft, der Metamathematik, die Widerspruchsfreiheit beweisen. F\u00fcr diese k\u00f6nnte \u00fcbrigens von neuem die Forderung der Formalisierung erhoben wer\\-den und so fort in infinitum, zur Metamathematik k\u00e4me eine Metametamathematik usw. Die Verbindung von Formalisierung und Metamathematik sieht Verf. nicht als wesensnotwendig an, die Verdienste jener erkennt er voll an, dieser, insbesondere ihrem philosophischen Wert, steht er etwas skeptischer gegen\u00fcber.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2593882$AC1D7216-B3A4-4D55-9A28-028EDD301A3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6fd3fd2c9201053689f199225b879f6f9bb961e","datavalue":{"value":"2513097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593882$3F4D2FCE-A1B2-48EF-BE91-01F8D029073F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bde7635f22575ffd2518b928108d7750605f2117","datavalue":{"value":{"entity-type":"item","numeric-id":1227043,"id":"Q1227043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593882$77A66F82-E265-4CDA-A360-C155A39723B9","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":"Q2593882$385FAD2F-4EE0-4560-8B71-3B57D1AC68CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Les m\u00e9thodes axiomatiques modernes et les fondements des math\u00e9matiques.","badges":[]}}}}}