O Leibniz, το 1674, τελειοποίησε τη μηχανή του Pascal ώστε να μπορεί να εκτελεί πολλαπλασιασμούς και διαιρέσεις. Στα αρχικά στάδια της καριέρας του, επινόησε το δυαδικό αριθμητικό σύστημα που αποτελεί μέχρι και σήμερα τη βάση για τις γλώσσες προγραμματισμού των υπολογιστών