Виробник: Наука
Тематика: Суспільство і філософія
Передбачив принципи сучасної комбінаторики. Зробив вагомий внесок у логіку і філософію. Через кодування намагався створити універсальну числову дескриптивну платформу для всіх наук — прообраз сучасних формальних систем. Створив першу механічну лічильну машину, здатну виконувати додавання, віднімання, множення й ділення.