Gottfried Wilhelm Leibniz was a German philosopher and mathematician who co-invented calculus and contributed to the development of formal logic.