Der Streit um das Unendliche in der Mathematik. I, II. (Q1453167)

Schilderung des historischen Prozesses, wie Cantors Einführung des Aktual-Unendlichgroßen, erschüttert durch die Antinomien, anscheinend durch die Axiomatisierung neu gefestigt wurde, dann aber in ernstere Krisen geriet, zunächst durch den Streit um die nicht-prädikativen Verfahren und um das Auswahlprinzip, später durch die Angriffe des modernen Intuitionismus, um schließlich durch die (noch nicht abgeschlossene) mathematische Gegenoffensive des Formalismus neue kräftige Hilfe zu gewinnen.