Probleme der mathematischen Logik

Zusammenfassung

In der „Coss“ von Christoff Rudolff, dem „durch Michel Stifel gebesserten und sehr vermehrten“ Rechenbuch (1553), findet sich folgende Aufgabe:

Ich hab ein zahl ist minder denn 10. Wenn ich sye multiplizir mit 3 erwechst ein produkt / ist 7 mal soviel vber 10 als meyne zal ist vnter 10.

Als ich noch als Knabe nur die Lehrsätze der gewöhnlichen Logik kannte und die Mathematik mir fremd war, entstand mir, ich weiß nicht, durch welche Eingebung, der Gedanke, man könne eine Analysis der Begriffe erfinden, mit deren Hilfe durch Kombination die Wahrheiten ausgedrückt und gleichsam mittels Zahlen berechnet werden könnten. Es ist ergötzlich, sich jetzt daran zu erinnern, durch welche, wenn auch kindliche Gründe, ich zur Ahnung einer so großen Sache gekommen bin.

Leibniz [X 2,S.201]