#calculus ratiocinator

Leibniz và Calculemus: giấc mơ biến tư duy thành phép tính

Leibniz mơ một ngôn ngữ ký hiệu cho mọi khái niệm và một phép tính cho suy luận, để tranh cãi được giải bằng câu "hãy cùng tính". Giấc mơ ấy mở đường cho logic