{"entities":{"Q2579575":{"pageid":2590318,"ns":120,"title":"Item:Q2579575","lastrevid":44399796,"modified":"2025-11-22T16:37:58Z","type":"item","id":"Q2579575","labels":{"en":{"language":"en","value":"Sur les questions m\u00e9thodologiques actuelles de la th\u00e9orie hilbertienne de la d\u00e9monstration."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502121"}},"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":"Q2579575$89B17CA0-E837-4232-B7B9-B6FF915AC5AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"301548f70794712ee8a86c7f359a5c7bbe280798","datavalue":{"value":{"text":"Sur les questions m\u00e9thodologiques actuelles de la th\u00e9orie hilbertienne de la d\u00e9monstration.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579575$310A6935-7D7B-499F-82C3-8CB272DA6C16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb8db45fc2dc776a430200b3cf6acf3ae98da22e","datavalue":{"value":"67.0037.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579575$C21B8319-1DC7-4323-9390-19E042065682","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2579575$64A77F4E-F51B-4CE0-B827-2DEEA92DB782","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8096e67711027ef25caea991260bf930a11fcf25","datavalue":{"value":"Bekanntlich hat die Beweistheorie eine Krise durchgemacht, welche durch die Entdeckung verursacht wurde, da\u00df bereits zum Beweis der Widerspruchsfreiheit der Arithmetik wesentlich st\u00e4rkere Hilfsmittel n\u00f6tig sind als die Hilbertsche ``finite Einstellung''. Da\u00df dieser Finitismus mit dem Brouwerschen Intuitionismus nicht gleichwertig ist, folgt aus dem G\u00f6delschen Satz, da\u00df die Aussagen der klassischen Arithmetik so gedeutet werden k\u00f6nnen, da\u00df sie intuitionistisch beweisbar werden. Bernays erw\u00e4hnt auch nebenbei die rekursive Arithmetik; diese ist noch rein finitistisch. Weiter gibt er Beispiele von finiten und nicht-finiten Betrachtungen. Er geht genauer auf die \u00dcberlegungen im Gentzenschen Beweis f\u00fcr die Widerspruchsfreiheit der Arithmetik ein, indem er erkl\u00e4rt, in welcher Art diese \u00fcber die urspr\u00fcngliche finite Einstellung hinausgehen. Da solche st\u00e4rkere Beweismittel n\u00f6tig sind, meint er, da\u00df man die Forderung der Evidenz und Sicherheit nicht zu eng fassen mu\u00df.  In der nachfolgenden Diskussion gab Bernays ein Beispiel f\u00fcr den Unterschied zwischen einem finitistischen und einem intuitionistischen Beweis. Im zweiten kamen Implikationen mit einer Absurdit\u00e4t als Vorderglied vor. Wegen des letzten Umstandes bemerkte Wavre, da\u00df er diesen Beweis nicht als intuitionistisch richtig ansehen k\u00f6nne. Danach gaben Burckhardt und Finsler eine Verteidigung des nichtformalen Denkens und der absolutistisch-mengentheoretischen Auffassung Finslers. Ref., der auch an der Diskussion teilnahm, meinte, da\u00df exaktes Denken nur in formaler Weise m\u00f6glich sei. Bernays bemerkte, da\u00df die Cantorsche Mengenlehre intuitiv sei und deshalb nicht mit der Finslerschen identisch ist. Zum Schlusse sagte der Pr\u00e4sident Gonseth, da\u00df die Arbeiten von Bernays wohl formalistisch w\u00e4ren, da\u00df er aber andererseits bei der Aufstellung jedes Formalismus stets intuitive Direktiven vor Augen gehabt h\u00e4tte.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579575$1BCC4336-4882-4BA7-A23B-4D6AC300AFC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd21e8e040a0c350344f119f83d1cee09796aab6","datavalue":{"value":"2502121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579575$25DD87BA-44C9-4FC2-9631-F4360B7DE4DF","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":"Q2579575$CB9A8D25-621F-45A0-B645-36A8DB6D9BB9","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":"Q2579575$90F76482-67E3-492D-85E3-7DAB1E99B5ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579575"}}}}}