Beitrag zur Algebra der Logik. (Q1481874)

Im ersten Teile der Arbeit wird ein neues Axiomensystem für den Gebietekalkul gegeben, das ich aber nicht besonders zweckmäßig finden kann, da es seinen Ausgang nicht von den drei bekannten Operationen nimmt, sondern von zwei ziemlich entlegenen, die sich dann als \(\overline a+\overline b\) und \(\overline a\overline b\) herausstellen. Im zweiten Teile wird unter der Voraussetzung \(a=\!\!\!(\!\!\!\!=\!\!\!=b\) zunächst die Gesamtheit aller Zwischengebiete von \(a\) und \(b\) mit \((a,b)\) bezeichnet und eine Addition, Multiplikation und Negation solcher ``Positiven'', wie der Verf. sie nennt, definiert. Da die logische Subtraktion und Division nicht immer möglich ist, wird der Bereich erweitert, indem das ``Rational'' \((a,b)\) ist, auch dann in den Bereich aufgenommen wird, wenn nicht \(a=\!\!\!(\!\!\!\!=\!\!\!=b\) ist. Nun wird \((a,b)+(c,d)\) definiert als ein neues Rational \((\xi,\eta)\) wo \(\xi\) und \(\eta\) Funktionen von \(a,b,c,d\) sind, die zunächst ganz allgemein mit unbestimmten Koeffizienten angesetzt werden. Die Forderung der Kommutativität liefert Gleichungen zwischen den Koeffizienten, wobei der Verf. zwei Gleichungen zuviel aufstellt \((C_1=C_3,C_{01}=C_{03})\) und daher fälschlich nur eine Lösung der Aufgabe erhält. Dann werden weitere Koeffizienten daraus bestimmt, daß für \(a=\!\!\!(\!\!\!\!=\!\!\!=b, c=\!\!\!(\!\!\!\!=\!\!\!=d\) die Rationalen Positive (s. u.) sein sollen. Hier werden aber die meisten Leser den Nachweis vermissen, daßunter diesen speziellen Voraussetzungen noch die Methode der unbestimmten Koeffizienten anwendbar bleibt. Aus einigen andern Postulaten wird dann \(\xi\) und \(\eta\) vollständig als Funktion von \(a,b,c,d\) bestimmt. In gleicher Weise wird dann die Multiplikation und Negation definiert und gezeigt, daß jetzt die Subtraktion und Division, ja sogar die Auflösung jeder Gleichung stets möglich ist. Bei der Definition der Subsumption hätte einfacher von der Formel \((a=\!\!\!(\!\!\!\!=\!\!\!=b=(a\bar b=0)\) ausgegangen werden können. Unter den Druckfehlern ist ein besonders störender: S. 144 Z. 6 und 7 von unten muß\ es beide Male \(a\) statt 0 heißen.