{"entities":{"Q2611331":{"pageid":2622074,"ns":120,"title":"Item:Q2611331","lastrevid":44478333,"modified":"2025-11-23T06:00:31Z","type":"item","id":"Q2611331","labels":{"en":{"language":"en","value":"A logical analysis of mathematical structure."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2531287"}},"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":"Q2611331$C178B19C-2ED0-49CD-A864-FF9629D7EE9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c61273a61a6f7c31fceff523455e5104e758a95","datavalue":{"value":{"text":"A logical analysis of mathematical structure.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2611331$196B1E6B-692A-4E76-8686-9C05E0C3AF62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d0a4e4d4dd706139ab0a54320385d8a0c7dd2c1","datavalue":{"value":"61.0050.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611331$9F52528A-23F7-43A8-B33D-B0113223A3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-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":"Q2611331$288FB724-B978-4128-888D-28B03C372938","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"febe5f761ebdc2f26185300e7ce1cbf27280692a","datavalue":{"value":"Verf. umrei\u00dft hier einen wichtigen, bisher vernachl\u00e4ssigten Aufgabenkreis der Beweistheorie. Gew\u00f6hnlich begn\u00fcgt man sich bei der Analyse mathematischer Beweise damit, da\u00df sich das allgemeine Deduktionsverfahren auf zwei oder drei primitive Schlu\u00dfweisen zur\u00fcckf\u00fchren l\u00e4\u00dft; denn dies ist das f\u00fcr Widerspruchsfreiheits- und \u00e4hnliche Untersuchungen Wesentliche. Verf. regt nun an, daneben eine Theorie der mathematischen Beweise aufzustellen, deren Aufgabe es w\u00e4re, die systematische Suche nach einem Beweis f\u00fcr einen gegebenen Satz zu erleichtern. Die logische Analyse h\u00e4tte hier zun\u00e4chst einmal neben den primitiven auch solche komplizierteren Schlu\u00dfmethoden herauszusch\u00e4len und zu systematisieren, die eine h\u00e4ufige Verwendung finden, sowie die M\u00f6glichkeit der Zur\u00fcckf\u00fchrung eines Satzes auf mehrere einfachere S\u00e4tze zu untersuchen. Ferner m\u00fc\u00dften praktische Anweisungen ausgearbeitet werden, wie man f\u00fcr einen zu beweisenden Satz schrittweise r\u00fcckw\u00e4rts gehend eine Beweiskette herstellen kann. Verf. gibt folgende Beispiele solcher Anweisungen: (a) Ist eine Behauptung auf Grund einer bestimmten Voraussetzung zu beweisen und kommt ein Begriff nur in der Voraussetzung und nicht in der Behauptung vor, oder umgekehrt, so eliminiere man ihn auf Grund seiner Definition. (b) Ist eine Gleichung zu beweisen, so unternehme man eine schrittweise Strukturangleichung beider Seiten der Gleichung. (c) Soll eine Behauptung der Form ``\\(p \\supset q\\)'' bewiesen werden, so suche man unter den schon bekannten Theoremen implikativer Form solche heraus, die das gleiche Implikat \\(q\\) haben, und versuche darunter eines zu finden, dessen Implikans aus \\(p\\) folgt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2611331$9FEE9D2D-4354-4E51-A069-58393599658F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed862b50398d724e3a9b52e2b58a084ef227cd4a","datavalue":{"value":"2531287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611331$1DDB7DDA-A0EB-43EE-A586-BA1B5D157A7B","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":"Q2611331$4EEDE4CC-953A-4E43-84F3-DF555069EA3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff273696cf145c845f3a4b793d5bb0167aefefa","datavalue":{"value":{"entity-type":"item","numeric-id":6481445,"id":"Q6481445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611331$E4B70ED8-9959-4AF7-ACE1-9CE27FDD341D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2611331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2611331"}}}}}