Calculus of equivalent statements.
Die höchst interessanten und vom Verfasser in der Educational Times zuerst unter dem Namen ``symbolical language angefangenen Untersuchungen stehen in Verbindung mit den Bestrebungen, logische Operationen in mathematischer Bezeichnung und durch mathematische Berechnung wiederzugeben. Die Untersuchungen sind zwar von dem Verfasser ganz selbständig geführt, -- er sagt selbst, dass er Boole's mathematical analysis of logic und desselben Verfassers laws of thought nicht gekannt hat, -- verbinden sich aber mit Boole's mathematischer Logik auf's Leichteste. In Deutschland sind die Versuche noch viel zu wenig bekannt. Wundt's neues logisches Werk, in dem sie gebührend Erwähnung finden, wird hoffentlich dazu beitragen, sie bei uns einem weiteren Kreise von Gelehrten zuzuführen. Der Verfasser versucht in diesem grundlegenden Aufsatze zunächst die Feststellung einer geeigneten Bezeichnung für Bejahung, Verneinung, Einschliessung, Position, Negation etc.; sodann wendet er die gefundenen Formeln, Definitionen und Sätze auf zwei mathematische Probleme an, nämlich erstens auf die Bestimmung der neuen Grenzen der Integration, wenn man die Ordnung der Integrarion in einem vielfachen Integral ändert, und zweitens auf Fragen, die Wahrscheinlichkeit betreffend. Er löst 1) die Aufgabe, die Grenzen der Integration zu finden, wenn die Ordnung des Integrals \[ \int_{-a}^{2a}{du} \int_{-u}^{2u}{dx} \int_{-x}^{2x}{dy} \int_{-2x}^{\frac{y^2}{2x}}{dz} \varphi (u,x,y,z) \] umgekehrt wird. Das umgeformte Integral wird: \[ \int_{0}^{z_2}{dz} \int_{y_4}^{y_5}{dy} \int_{x_2}^{x_4}{dx} \int_{u_4}^{u_2}{du} \varphi (u,x,y,z). \] 2) Hierauf berechnet der Verfasser die Wahrscheinlichkeit, dass die Wurzeln der Gleichung \[ x\theta^2 -y\theta +z=0 \] reell sind, wenn die Werthe von \(x,y,z\) zwischen den Grenzen \(a\) und 0 liegen und alle Werthe für \(x,y,z\) zwischen diesen Grenzen gleich wahrscheinlich sind. Das Resultat ergiebt: \[ \frac{5}{36} +\frac{1}{6} \log_e 2. \]
This page was built for publication: Calculus of equivalent statements.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1552936)
