Даследаванні Дэкарта ў галіне матэматыкі фармалізацыі працэсу пазнання разам з вынайдзенай Г. Лейбніцам дваічнай сістэмай злічэння пакладзены ў аснову тэорыі сучаснай вылічальнай тэхнікі і інфарматыкі.