{"entities":{"Q2580333":{"pageid":2591076,"ns":120,"title":"Item:Q2580333","lastrevid":79041290,"modified":"2026-05-06T13:00:44Z","type":"item","id":"Q2580333","labels":{"en":{"language":"en","value":"Einf\u00fchrung in die Philosophie der Mathematik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2500093"}},"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":"Q2580333$6B1D9E55-24D7-4D42-8B0B-ADB0DA07AD68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb549798830944432a764da8f0d65ba253df121b","datavalue":{"value":{"text":"Einf\u00fchrung in die Philosophie der Mathematik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580333$7E407FD3-E050-4872-B8E5-BCB2934F0A1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53d6525163a84a23939cc5acdf484c6e34a0cc4d","datavalue":{"value":"68.0020.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580333$CA052E82-EE78-406B-A672-6187ECB954AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-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":"Q2580333$764DC4DD-A0A2-4E74-80B7-271C3D9742F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5197f99568db67afec8366baebcdc4e841c81f24","datavalue":{"value":"In diesem Buche wird zuerst die durch die Entstehung der nichteuklidischen Geometrie bewirkte Krisis der Kantschen ``reinen Anschauung'' besprochen. Danach folgen Betrachtungen \u00fcber Geometrie und Erfahrung. Die beiden Auffassungen, da\u00df die geometrischen Axiome empirischen Ursprungs sind, bzw. da\u00df sie Konventionen sind, werden erw\u00e4hnt. Danach geht Verf. zur Arithmetik \u00fcber und bespricht die Inkommensurabilit\u00e4tstheorie der Griechen und die Kettentheorie Dedekinds. Den wichtigsten Teil des Buches bilden aber die darauf folgenden Kapitel, in welchen die Hauptrichtungen der modernen Grundlagenforschung dargestellt werden, n\u00e4mlich der Logizismus, der Intuitionismus und die Beweistheorie. Auch die Paradoxien werden sorgf\u00e4ltig behandelt. Er unterscheidet die logischen und die semantischen Paradoxien und bespricht die Aufl\u00f6sung jener mittels der Russellschen Typentheorie sowie dieser mittels der Semantik Tarskis. Ein Kapitel handelt von der psychologischen Seite der Mathematik, ihrer ``Significia'', und zum Schlusse stellt Verf. einige vergleichende Betrachtungen an zwischen den wichtigsten Auffassungen in der Philosophie der Mathematik.  Um das Buch m\u00f6glichst allgemein verst\u00e4ndlich zu machen, geht Verf. nicht auf die Mengenlehre ein. Trotzdem gelingt es ihm, alle wesentlichen Fragen der Grundlagenforschung zu behandeln. Die Darstellung ist klar und objektiv. Das Buch ist sehr lesenswert.  Wenn S. 207 gesagt wird, da\u00df der \u00dcbergang von der verzweigten zur einfachen Typentheorie das Reduzibilit\u00e4tsaxiom \u00fcberfl\u00fcssig macht, so meint Ref., da\u00df dies illusorisch ist, weil die F\u00f6rderung, da\u00df die Typen nicht verzweigt sind, das Reduzibilit\u00e4tsaxiom implizite enth\u00e4lt. Das Problem der nicht-pr\u00e4dikativen Definitionen, die einst von Poincar\u00e9 so stark kritisiert wurden, wird dadurch nicht gel\u00f6st, sondern blo\u00df ignoriert. Anders w\u00e4re die Sache, k\u00f6nnte man die Widerspruchsfreiheit der einfachen Typentheorie auch im Falle unendlich vieler Individuen des urspr\u00fcnglichen Typs beweisen. (1. Aufl. 1940; F. d. M. 66, 23 (JFM 66.0023.*).)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580333$41FAE8D4-EE5F-46D9-9908-9B5E9DBB78EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b03e691540441fa431d763ad37310ffbc199381a","datavalue":{"value":"2500093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580333$892DD991-77BC-435E-BE5D-ABCBE4AED8B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc05a8a5ab252d41111028eef89a158f511b94d","datavalue":{"value":{"entity-type":"item","numeric-id":770675,"id":"Q770675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580333$4598158D-7418-460C-A064-6FF4C7A73307","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":"Q2580333$04F1200A-AD24-40DD-B99F-8AE9138D65A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Einf\u00fchrung in die Philosophie der Mathematik.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Einf%C3%BChrung_in_die_Philosophie_der_Mathematik."}}}}}