{"entities":{"Q2593881":{"pageid":2604624,"ns":120,"title":"Item:Q2593881","lastrevid":78927032,"modified":"2026-05-06T12:45:32Z","type":"item","id":"Q2593881","labels":{"en":{"language":"en","value":"Philosophie math\u00e9matique. Avec cinq d\u00e9clarations de MM. A. Church, W. Ackermann, A. Heyting, P. Bernays et L. Chwi\\-stek."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513095"}},"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":"Q2593881$A82123D1-25A6-4A16-A54F-E6C13CF838A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c63c74e3ccc90269dd4983c56d3477a42987f21c","datavalue":{"value":{"text":"Philosophie math\u00e9matique. Avec cinq d\u00e9clarations de MM. A. Church, W. Ackermann, A. Heyting, P. Bernays et L. Chwi\\-stek.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2593881$8DE46340-CB5C-48AE-93E4-1C6D69E1FBBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3fd1b0ad3120b60973b931248672431b71f2ce1","datavalue":{"value":"65.1096.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593881$1615CD13-9D19-4D04-A431-A8A5D59C5448","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f9d207e338be23b97050de3aec59b49c167a857","datavalue":{"value":{"entity-type":"item","numeric-id":562916,"id":"Q562916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593881$DF4E9E2F-75A8-4F78-B044-B131D8B7010C","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":"Q2593881$2BF2F777-5ED2-4B4D-9BF4-F62352A6A93B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcdb904ca848d50f09f5642f7a39dbc502b1259f","datavalue":{"value":"Ein Bericht, dessen Keimzelle die Frage ist, was in den Jahren 1937 und 1938 f\u00fcr die Philosophie der Mathematik geleistet worden ist. Drei Teile. Der dritte ist von dem ersten und zweiten so unabh\u00e4ngig, da\u00df er auch f\u00fcr sich h\u00e4tte publiziert werden k\u00f6nnen. Die beiden ersten Teile sind von \\textit{F. Gonseth} verfa\u00dft, in einer Sprache, die abgestimmt ist auf ein nicht an mathematisches Denken gew\u00f6hntes philoso\\-phisches Publikum. Weitgehende Konzessionen an nicht mathematisch pr\u00e4zisierte philosophische Fragen. -- \u00dcberblick \u00fcber Teil I und II: I. Les grands th\u00e8mes de la philosophie math\u00e9matique. c. 1: La dialectique de la connaissance. c. 2: La m\u00e9thode de la pens\u00e9e math\u00e9matique: (1) Le probl\u00e8me de l'\u00e9vidence, (2) Le probl\u00e8me du fondement, (3) Le probl\u00e8me de la m\u00e9thode. II. Les courants actuels: (1) Le formalisme hilbertien, (2) La pens\u00e9e exacte en Allemagne, (3) Le logicisme polonais, (4) Le logicisme am\u00e9ricain, (5) Le mouvement de l'Unit\u00e9 de la Science, (6) L'in\\-tuitionisme hollandais et Mannoury, (7) L'idon\u00e9isme (der durch gewisse Postulate von F.Enriques bestimmte Standort des Verf.), (8) La philosophie scientifique en France. Alles sehr kurz und in den durch die R\u00fccksicht auf das philosophische Publikum bestimmten, also beschr\u00e4nkten Genauigkeitsgrenzen.  Von einer ganz anderen Art ist der dritte Teil: Quelques d\u00e9clarations authenti\\-ques: (1) \\textit{A. Church}, The present situation in the foundation of mathematics, (2) \\textit{A. Heyting}, Les fondements des math\u00e9matiques du point de vue intuitioniste, (3) \\textit{W. Ackermann}, Bemerkungen zu den logisch-mathematischen Grundlagen\\-problemen, (4) \\textit{P. Bernays}, Bemerkungen zur Grundlagenfrage, (5) \\textit{L. Chwistek}, Sur les fondements des sciences exactes. Hier wird in der Sprache der Mathematik zu Mathematikern gesprochen. -- Als besonders erleuchtend erscheinen dem Ref. die Beitr\u00e4ge von Church, Ackermann, Bernays. \\textit{Church} hebt hervor a) die Abh\u00e4ngig\\-keit aller ernst zu nehmenden metamathematischen oder philosophischen Diskus\\-sionen von hinreichend umfassenden, p\u00fcnktlich formalisierten Systemen der Logik und Mathematik, b) die abseits vom Hauptwege der metamathematischen Forschungen erzielte Umformung der Zermelo-Basis in einen Formalismus, der mit dem Formalis\\-mus der auf die vereinfachte Typentheorie beschr\u00e4nkten und durch die gleichzeitige Eliminierung des Reduzibilit\u00e4tsaxioms entlasteten \\textit{Principia Mathematica} effektiv verglichen werden kann und diesen an Tragweite sogar zu \u00fcbertreffen scheint, c) die Bem\u00fchungen um einen nicht typentheoretisch, sondern auf eine wesentlich befriedigendere Art revidierten Frege-Kalk\u00fcl von einer ausreichenden Leistungs\\-f\u00e4higkeit. Dieser Kalk\u00fcl m\u00fc\u00dfte fu\u00dfen auf Intuitionen, durch die zugleich die Ein\\-wendungen zum Verschwinden gebracht werden, die auch gegen die rein zweckhaft bestimmte Zermelo-Basis mit Recht erhoben werden k\u00f6nnen. Ref. f\u00fcgt hinzu, da\u00df \\textit{W. Ackermann} soeben die Fundamente eines solchen Kalk\u00fcls vorgelegt hat (Ein System der typenfreien Logik I, Forsch. Logik Grundl. exakt. Wiss., Nr. 7, 1941; F. d. M. 67). -- Der Beitrag von \\textit{Ackermann} ber\u00fchrt sich in bezug auf diese drei Hauptpunkte \u00fcberraschend mit dem von Church. Als vierter Hauptpunkt kommt f\u00fcr ihn hinzu die Betonung der h\u00f6chst erfreulichen Abkl\u00e4rung der in den Anf\u00e4ngen au\u00dferordentlich gespannten Beziehungen zwischen Formalismus und Intuitionismus und ihrer wechselseitigen Durchdringung zu produktiver Zusammenarbeit. -Hier\\-durch r\u00fcckt dieser Beitrag an den von \\textit{Bernay}s heran. B. hebt diesen wichtigen Punkt in seiner Art mit derselben Eindringlichkeit hervor. Das Hauptst\u00fcck des B.-schen Beitrages ist eine erleuchtende Konfrontierung der semantischen (B.: der arithmetisierten oder mengentheoretischen) und der im Hilbertschen Sinne beweis\\-theoretischen Interpretation der Logik und Mathematik. Man k\u00f6nnte nachtr\u00e4glich w\u00fcnschen, da\u00df diese Konfrontierung als eine Art von programmatischer Vorrede den ``Grundlagen der Mathematik'' h\u00e4tte vorangestellt werden sollen. -- Da\u00df die Warschauer Schule mit ihrer scharfen Profilierung nicht zum Wort gekommen ist, ist zu bedauern.  Die vorliegende Ver\u00f6ffentlichung wird abgeschlossen durch eine Bibliographie, die rund 130 Nummern umfa\u00dft.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2593881$14C7DD30-5906-4A9E-9BB6-7CFBA5266D06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"219d917b13cf08a318aa7c59a06b44aff177c5d4","datavalue":{"value":"2513095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593881$4CF61E32-7F5A-4175-A777-D43212D29428","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":"Q2593881$CD4BC4D8-2A42-43CA-A753-39B4F9DEDED9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Philosophie math\u00e9matique. Avec cinq d\u00e9clarations de MM. A. Church, W. Ackermann, A. Heyting, P. Bernays et L. Chwi\\-stek.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Philosophie_math%C3%A9matique._Avec_cinq_d%C3%A9clarations_de_MM._A._Church,_W._Ackermann,_A._Heyting,_P._Bernays_et_L._Chwi%5C-stek."}}}}}