W haśle Calculemus! Leibniz zawarł projekt przyszłej nauki. Konstrukcją zaś swego kalkulatora uczynił historyczny krok w tym kierunku. Stąd wiodła droga do obmyślonej genialnie przez Turinga (po prawej) uniwersalnej maszyny do rozwiązywania problemów. Dziś materializuje się ona w komputerach cyfrowych. Myśl Leibniza dopełnił Gödel (po lewej) swym przełomowym odkryciem: jak mają współdziałać maszyny i twórcze umysły, żeby w tej interakcji wspólnie osiągać coraz większe i większe moce obliczeniowe, nieodzowne dla rozwoju cywilizacji.

Wokół tych spraw obracają się liczne wątki podejmowane w serwisie www.calculemus.org -- wspieranym przez Fundację na rzecz Informatyki, Logiki i Matematyki.