Leopold Kronecker (1823 – 1891)

Der Mathematiker Leopold Kronecker gilt als Vorläufer der intuitionistischen Richtung in der Mathematik und der Logik.

Kronecker erkannte nur dann die Existenz eines mathematischen Objektes an, wenn ein Konstruktionsverfahren für dieses angegeben werden kann. Er lehnt daher den Begriff des aktual Unendlichen ab.

Kronecker war ein entschiedener Gegner der von Cantor begründeten transfiniten Mengenlehre.