In der Folgezeit erzielten einige Denker durchaus Fortschritte in der Frage, wie sich in der materiellen Welt eine Abfolge unendlich vieler Vorgänge ereignen könne. Ihre Erklärungen waren stets mit der Idee von 'Infinitesimalen' (Newtons Ausdruck: 'Fluxionen') verflochten – räumlichen oder zeitlichen Abständen, die den Inbegriff der Kleinheit verkörpern. Doch als man die Existenz dieser kleinen Größen streng zu begründen suchte, tauchten unzählige Schwierigkeiten auf. Schließlich fanden die Mathematiker des 19. Jahrhunderts einen kunstgerechten Ersatz: die Theorie der Grenzwerte. Ihr Sieg war so umfassend, daß einige Mathematiker von der Verbannung der Infinitesimalen sprachen. Aber im Jahre 1966 führte Abraham Robinson die geisterhaften Wesen mit seiner sogenannten 'Nichtstandard-Analysis' wieder ein. Seither sind noch mehrere andere Methoden entwickelt worden, die von ihnen Gebrauch machen."

Williams und Miller stießen bei der Untersuchung der Zenonschen Paradoxien darauf, und fanden sie attraktiv, "weil sie eine mikroskopisch scharfe Sicht auf die Details der Bewegung versprachen." Das Werkzeug,von Edward Nelson geschaffen, stand schon bereit: eine Spielart der Nichtstandard-Analysis, die 'Interne Mengenlehre' (IST, Internal SetTheory, [weitere information]). "Nelsons Methode erzeugt überraschende Deutungen scheinbar vertrauter mathematischer Strukturen. In ihrer Seltsamkeit ähneln die Ergebnisse gewissen Zügen der Quantentheorie [Ist die Zahl auch da, wenn man nicht hinschaut ? ;-)] und der Allgemeinen Relativitätstheorie [Schwarze Zahlen ! ;-)]."

Die IST erweitert nun z.B. _nicht_ (was ansonsten typisch ist) den Zahlenbereich der reellen Zahlen, sondern stellt durch Hinzufügen dreier Axiome zu den rund zehn logischen Grundvoraussetzungen sicher, daß der bereits vorhanden Zahlenbereich Zahlen enthält, die sich zwanglos als Infinitesimale interpretieren lassen. Diese Ergänzung führt das neue Prädikat 'Standard' ein und gibt an, wie man herausfindet, welche unsere alten Bekannten im Zahlenbreich Standard sind und welche Nichtstandard. Die Infinitesimalen (sowie einige andere Zahlen) fallen dabei in die Kategorie Nichtstandard. Nelson bezeichnete bei den reellen Zahlen 3 Arten von Zahlen als Nichtstandard: Die infinitesimalen Nichtstandard-Zahlen sind kleiner als jede positive Standard-Zahl, aber größer als Null. Gemischte Nichtstandard-Zahlen entstehen, indem man infinitesimale Beträge zu Standard-Zahlen addiert oder davon subtrahiert. Jede Standard-Zahl ist von solchen gemischten Nichtstandard-Nachbarn umgeben. Unbeschränkte Nichtstandard-Zahlen sind die Kehrwerte von infinitesimalen Nichtstandard-Zahlen. Jede unbeschränkte Zahl ist größer als jede Standard-Zahl, wird aber wie eine endliche Zahl behandelt.

Demzufolge ist eine Infinitesimale größer als Null, aber kleiner als jede noch so kleine Zahl, die man sich hingeschrieben vorstellen kann. "Daß solche Infinitesimale überhaupt existieren, ist nicht unmittelbar offensichtlich; aber die begriffliche Gültigkeit der IST hat sich also ebenso robust erwiesen wie die anderer mathematischer Systeme, denen wir aus guten Gründen vertrauen. Dennoch sind Infinitesimale schwer zu fassen, da zwei konkrete Zahlen (solche die im Prinzip einer Messung zugänglich sind) sich nicht durch einen infinitesimalen Betrag unterscheiden können. Der Beweis durch Widerspruch ist leicht: Die arithmetische Differenz von zwei konkreten Zahlen muß konkret sein ( und somit Standard). Wäre sie nämlich infinitesimal, so würde dies die Definition einer Infinitesimalen als einer Größe, die kleiner ist als jede Standard-Zahl, verletzen. Aus dieser Tatsache folgt, daß beide Endpunkte eines infinitesimalen Intervalls nicht durch konkrete Zahlen bezeichnet werden können. Dadurch läßt sich ein solches Intervall niemals durch ein Meßverfahren einfangen: Infinitesimale bleiben der Beobachtung für immer unzugänglich."

Schön schön, aber was hat das mit den Zenonschen Paradoxien zu tun? "Nach der bisherigen Erörterung ist klar, daß die durch konkrete Zahlen bezeichneten Raum- oder Zeitpunkte nur isolierte Punkte sind. Eine tatsächliche Flugbahn und das zugehörige Zeitintervall sind hingegen dicht mit infinitesimalen Bereichen bepackt. Demnach können wir Zenons drittem Einwand nur insoweit recht geben, als die Pfeilspitze in jedem konkret markierten Zeitpunkt gleichsam stroboskopisch fixiert wird – doch während des unermeßlich viel größeren Rests der Gesamtspanne findet eine Art Bewegung statt; diese ist gegen Zenons Kritik gefeit, da sie nur innerhalb infinitesimaler Abschnitte auftritt, deren Unbeschreibbarkeit als eine Art Abschirmung (Filter) wirkt. Geschieht die Bewegung innerhalb eines solchen Einzelintervalls etwa als gleichförmiges Vorrücken – oder als momentaner Sprung von einem Ende zum anderen? Könnte sie eine Folge von Zwischenschritten enthalten oder gar einen Vorgang außerhalb von Raum und Zeit? Die Möglichkeiten sind unbegrenzt, und keine läßt sich bestätigen oder ausschließen, den einen infinitesimalen Abstand vermag niemand zu messen. (Das Verdienst dieses Gedankengangs gebührt Benedetti, Trendelenburg und Whitehead, deren frühe Erkenntnisse jetzt mit den Mitteln der IST formalisiert werden.)

Nun zu den beiden übrigen Paradoxien. In der IST gilt, daß jede unendliche Zahlenmenge eine Nichtstandard-Zahl enthält. Daher muß auch die unendliche Folge von Kontrollpunkten, mit denen Zenon im ersten Paradoxon die Bewegung festhält, eine gemischte Nichtstandard-Zahl enthalten. Wenn Zenons unendliche Zahlenfolge sich immer mehr der Zahl eins nähert, werden die Glieder der Folge schließlich innerhalb einer infinitesimalen Entfernung von eins liegen. Alle nachfolgenden Glieder werden zu der Nichtstandard-Ansammlung um eins gehören, und weder Zenon noch jemand anderer wird imstande sein, die Fortbewegung eines Gegenstandes in diesem unzugänglichen Terrain zu verfolgen. Um Zenons erstes Paradox zu widerlegen, müssenwir nur den erkenntnistheoretischen Grundsatz aufstellen, daß wir nicht für die Erklärung von Vorgängen zuständig sind, die wir nicht beobachten können. Zenons zweite Beweisführung, die zu zeigen sucht, daß ein Gegenstand nicht einmal beginnen könne sich zu bewegen, leidet unter denselben Mängeln."

Die IST liefert (dank eines mächtigen Resultats von IST) dieselben Ergebnisse (für eine Theorie der Bewegung) wie die herkömmliche Differential- und Integralrechnung, ist aber in gewisser Weise anschaulicher – und vor allem gefeit gegen Zenons Einwände :-). "Ein in IST bewiesener Lehrsatz besagt, daß eine endliche Menge existiert, die sämtliche Standard-Zahlen enthält. Der scheinbar logische Folgesatz, daß es nur eine endliche Anzahl von Standard-Zahlen gebe, gilt aber überraschenderweise nicht."
[Quelle: W.I.McLaughlin]