who introduced the concept of binary arithmetic