Gottfried Wilhelm Leibniz (1646–1716) was a German polymath, a towering figure in both philosophy and mathematics. He independently developed infinitesimal calculus and envisioned a universal language of thought. His work laid foundations for symbolic logic and the concept of binary computation.