Ancora sull'infinitesimo attuale. (Q1531609)

Nach einer Uebersicht über die verschiedenen Definitionen des Unendlichkleinen, unter welchen der von Poisson aufgestellten der Vorzug gegeben wird, bespricht Herr Vivanti (siehe JFM 23.0061.04) den Unterschied zwischen dem potentialen (variablen) und dem actualen (constanten) Unendlichkleinen und legt den Cantor'schen Beweis für die Nichtexistenz des letzteren dar. Zu demselben Resultate führt den Verfasser eine Kritik der Versuche, die Existenz des actualen Unendlichkleinen auf den Gebieten der geometrischen Wahrscheinlichkeitstheorie und der Cantor'schen transfiniten Zahlen, oder mit philosophischen Gründen zu beweisen. Dabei wird auch der Zusammenhang dieser Frage mit dem Postulat des Archimedes erörtert unter Berücksichtigung der von Bettazzi und Veronese gegebenen Definitionen des Stetigen. Im ganzen gelangt der Verfasser zu dem Schlusse: Im Gebiete der realen Grössen werden wir durch nichts, auch nicht durch die Anforderungen der Infinitesimal-Rechnung, zur Annahme der Existenz actualer unendlich kleiner Grössen genötigt. Dagegen erscheinen als besonderes Gebiet solcher Grössen die von Stolz definirten Momente der Functionen. Herr Bettazzi (siehe JFM 23.0061.05) giebt eine von der des Herrn Vivanti abweichende Definition des Actual-Unendlichkleinen und sagt: Wenn die Existenz desselben durch die von Herrn Vivanti angegriffenen Argumente auch nicht bewiesen wird, so wird sie durch jene Angriffe doch auch nicht widerlegt. Nicht um den Beweis der Existenz, sondern um den der Nichtexistenz handelt es sich, und dieser kann, solange dem streitigen Begriff kein innerer Widerspruch nachgewiesen ist, nicht als geführt erachtet werden. Herr Vivanti (siehe JFM 23.0062.01) stellt schliesslich einige Missverständnisse richtig, zu welchen einzelne, zu kurz gefasste Stellen seines Aufsatzes Anlass gegeben hatten, weist auf die Bedeutung der behandelten Frage hin, die den Kernpunkt philosophischer Untersuchungen aller Zeiten gebildet habe, und betont den inneren Widerspruch, den Cantor zwischen dem Begriff actualer unendlichkleiner Strecken und der Stetigkeit einer endlichen Strecke nachgewiesen hat, welche sich aus jenen soll zusammensetzen lassen. Dieser Widerspruch entscheidet die Frage auch vom gegnerischen Standpunkte aus.